pedagand's tags

abstract-interpretation active-network adaptive algebra algebraic-types algebra-of-programming applicative architecture arrows asic atomcaml automatic-mutual-exclusion backup-system binary-translation bitc bit-level bittorrent book branch-prediction broadcasting byzantine-fault cache calculus calculus-of-construction caml category-theory certification chemical-abstract-machine churn clock-vector cluster code-generation code-propagation coherency coinduction combinator compiler computational-power computer-archeology computing concurrency concurrent-ml congestion-control consensus containment control-flow coproducts coq coq-programming cps cryptanalysis crypto cs_252r cyclon data-flow dataflow-analysis data-structure ddos debugging declarative dependent-types dht digital-fountain distributed distributed-computing distributed-systems dmt domain-specific-language dps dynamic-code-loading embedded equational-reasoning erasure-correcting-codes erlang event event-driven exceptions expression-problem failure-detector fair-sharing file-system 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 impure incentives information-flow internet interpreter io-automata isa isabelle itanium ivy java-bytecode kahn-network kernel lambda-calculus lambda-machine language language-clean language-epigram lattice lava lazy-language lectiure-asr lecture-asr lecture-dac lecture-pap lecture-pas lecture-sdr lecture-vts lisp live-objects llvm lock-free logic-programming lucid-synchrone lustre mace macro map-reduce mathematics memory-coherence meridian mesh meta-programming mips ml model-checking modulo-scheduling monads multicast multi-core multiset multi-threading mutual-exclusion natural-semantics networking network-location-service nfs open-problem opis optimization orc os ossification ott p2p parallel parallel-computing partial-order pastry performance-debugging physic pi-calculus pipeline polymorphic polymorphism precise-interrupts precomputation printf probability process-calculus programming-language project-p2p-theory project-schame proof protocol pure quicksilver r1000 raid randomization reactive-language reconfigurable-computing reference-pointer registers-renaming relational-language review router-software scheme security semantic-overlay semantics share-memory small-world sml smt social-network software-verification state-machines stealth stm streaming structured-gamma sybil-attack synchronous-language synchronous-system system-on-chip system-programming taint tangible-values testing threads time time-analysis time-memory trade-off transaction tree typed-assembly-language type-inference type-refinement types type-soundness uniform-reliable-broadcast 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.