pedagand's tags

abstract-interpretation active-network adaptive algebra algebraic-types architecture arrows asic atomcaml automatic-mutual-exclusion backup-system binary-translation bit-level bittorrent book branch-prediction byzantine-fault cache calculus calculus-of-construction caml category-theory chemical-abstract-machine churn code-generation code-propagation coinduction combinator compiler computational-power computer-archeology computing concurrency concurrent-ml congestion-control containment coproducts coq coq-programming cps cryptanalysis crypto cyclon data-flow dataflow-analysis data-structure ddos debugging declarative dht digital-fountain distributed distributed-computing dmt dps dynamic-code-loading embedded erasure-correcting-codes erlang event exceptions expression-problem fair-sharing finance floating-point-arithmetic formal-proof fpga free-rider functional-circuit functional-programming functional-reactive gamma-model garbage-collection generational-gc gossip graph-reduction graph-theory grid-computing hardware-design hash haskell higher-order hol hot-code-swapping ia-64 incentives information-flow internet interpreter io-automata isa isabelle itanium kahn-network kernel lambda-machine language lattice lava lazy-language lisp live-objects llvm lock-free logic-programming lucid-synchrone mace map-reduce mathematics meridian mesh meta-programming mips ml model-checking modulo-scheduling monads multicast multi-core multiset multi-threading network-location-service open-problem opis optimization os ossification ott p2p parallel parallel-computing partial-order pastry performance-debugging physic pi-calculus pipeline polymorphic polymorphism precise-interrupts precomputation printf programming-language proof protocol pure quicksilver r1000 reactive-language reconfigurable-computing registers-renaming review router-software security semantic-overlay small-world sml smt social-network software-verification state-machines stealth stm structured-gamma sybil-attack synchronous-language system-on-chip system-programming taint tangible-values threads time-analysis time-memory trade-off transaction tree type-inference type-refinement types type-soundness units-of-measure unparsing virtual-money vivaldi vliw vod wired worms xcp xorp zfc

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.