Register | Log in | FAQ      [?] 
Recent | Recommended | Search | Authors | Tags | Export

Group: SRG_at_UCD - library [487 articles]

Recent papers posted by members of the SRG_at_UCD group
  • A Survey on Context-Aware Systems
    (2004)
    by Matthias Baldauf, Schahram Dustdar
    posted to context-aware framework middleware by neelysj to the group SRG_at_UCD on 2007-10-04 17:03:54 as read along with 2 people dvoigt arath
  • A survey of software infrastructures and frameworks for ubiquitous computing
    Mob. Inf. Syst., Vol. 1, No. 1. (January 2005), pp. 41-80.
    by Christoph Endres, Andreas Butz, Asa Macwilliams
    posted to no-tag by neelysj to the group SRG_at_UCD on 2007-10-04 17:00:46 as read along with 2 people schocol jago
  • A survey of research on context-aware homes
    (2003), pp. 159-168.
    by Sven Meyer, Andry Rakotonirainy
    posted to automation context context-aware home sensors ubiquitous by neelysj to the group SRG_at_UCD on 2007-10-04 15:57:46 as ** along with 3 people idm tempcite Steffen_Sorensen
  • A Survey of Context-Aware Mobile Computing Research
    No. TR2000-381. (November 2000)
    by Guanling Chen, David Kotz
    posted to computing context-aware mobile survey by neelysj to the group SRG_at_UCD on 2007-10-04 15:56:02 as read
  • A Survey of Autonomic Computing Systems
    (2007)
    by Mohammad R Nami, Koen Bertels
    posted to autonomic computing self-management survey by neelysj to the group SRG_at_UCD on 2007-10-04 15:33:21 as read along with 2 people ingstrup thiagomanel
  • A survey of autonomic communications
    ACM Trans. Auton. Adapt. Syst., Vol. 1, No. 2. (December 2006), pp. 223-259.
    by Simon Dobson, Spyros Denazis, Antonio Fern&\#225;ndez, Dominique Ga&\#239;ti, Erol Gelenbe, Fabio Massacci, Paddy Nixon, Fabrice Saffre, Nikita Schmidt, Franco Zambonelli
    posted to autonomic communication design by neelysj to the group SRG_at_UCD on 2007-10-04 15:03:01 as read along with 2 people and 1 group mrkoot thiagomanel SNE
  • notes Hermes: A Distributed Event-Based Middleware Architecture
    (2002)
    by P Pietzuch, J Bacon
    posted to type subscribe publish middleware event based by neelysj to the group SRG_at_UCD on 2007-08-30 16:38:46 as ***** along with 3 people schweer alessandro-monguzzi sro
  • Relationally-Parametric Polymorphic Contracts
    (2007)
    by A Guha, J Matthews, RB Findler, S Krishnamurthi
    posted to polymorphism formal-methods dynamic-languages contracts by greenrd to the group SRG_at_UCD on 2007-08-11 11:50:57 as *
  • A Head-to-Head Comparison of de Bruijn Indices and Names
    (2006)
    by Stefan Berghofer, Christian Urban
    posted to metaprogramming by greenrd to the group SRG_at_UCD on 2007-05-17 17:58:49 as **
  • A Principled Approach to Version Control
    (2007)
    by Andreas Loh, Wouter Swierstra, Daan Leijen
    posted to revision-control formal-methods category-theory by greenrd to the group SRG_at_UCD on 2007-03-30 22:42:09 as read
  • Kademlia: A Peer-to-Peer Information System Based on the XOR Metric
    Lecture Notes in Computer Science : Peer-to-Peer Systems: First InternationalWorkshop, IPTPS 2002 Cambridge, MA, USA, March 7-8, 2002. Revised Papers (2002), pp. 53-65.
    by Petar Maymounkov, David Maziã¨res
    posted to overlay-networks by graham to the group SRG_at_UCD on 2007-03-27 14:14:58 as ** along with 5 people and 1 group BelliOS gexarchakos handsome davcer ahgharaibeh P2P
  • CYCLON: Inexpensive Membership Management for Unstructured P2P Overlays
    Journal of Network and Systems Management, Vol. 13, No. 2. (June 2005), pp. 197-217.
    by Spyros Voulgaris, Daniela Gavidia, Maarten Steen
    posted to gossiping by graham to the group SRG_at_UCD on 2007-03-27 12:25:04 as ** along with 3 people khpoo dowlingj pedagand
  • Evaluation of gossip to build scalable and reliable multicast protocols
    Performance Evaluation, Vol. 58, No. 2-3. (November 2004), pp. 189-214.
    by Soontaree Tanaraksiritavorn, Shivakant Mishra
    posted to gossiping by graham to the group SRG_at_UCD on 2007-03-14 16:02:53 as ** along with 1 person ksiek
  • Developing (Meta)Theory of lambda-calculus in the Theory of Contexts
    by Marino Miculan
    posted to contexts hoas by greenrd to the group SRG_at_UCD on 2007-03-14 13:37:59 as *****
  • Providing high availability using lazy replication
    ACM Trans. Comput. Syst., Vol. 10, No. 4. (November 1992), pp. 360-391.
    by Rivka Ladin, Barbara Liskov, Liuba Shrira, Sanjay Ghemawat
    posted to gossiping by graham to the group SRG_at_UCD on 2007-03-12 23:57:02 as ** along with 1 person dsilva
  • A comparison of formalizations of the meta-theory of a language with variable bindings in Isabelle
    No. 07. (2001)
    by A Momigliano, S Ambler, R Crole
    posted to hoas isabelle provers by greenrd to the group SRG_at_UCD on 2007-03-12 20:32:36 as read
  • Using category theory to design implicit conversions and generic operators
    (1980), pp. 211-258.
    by John C Reynolds
    posted to category-theory coercions by greenrd to the group SRG_at_UCD on 2007-02-23 12:58:47 as ** along with 1 person creswick
  • A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language
    (2007)
    by A Chlipala
    posted to coq dependent-types by greenrd to the group SRG_at_UCD on 2007-02-20 21:10:19 as ***
  • Adaptive gossip-based broadcast
    Dependable Systems and Networks, 2003. Proceedings. 2003 International Conference on (2003), pp. 47-56.
    by L Rodrigues, S Handurukande, J Pereira, R Guerraoui, AM Kermarrec
    posted to gossiping by graham to the group SRG_at_UCD on 2007-02-20 14:39:47 as *** along with 1 person root
  • Controlled Epidemicstyle Dissemination Middleware for Mobile Ad Hoc Networks
    by Mirco Musolesi, Cecilia Mascolo
    posted to gossiping by graham to the group SRG_at_UCD on 2007-02-19 19:51:25 as *** along with 1 person eldaly
  • Even higher order abstract syntax: typeclasses vs GADT
    (January 2007)
    by O Kiselyov
    posted to type-classes hoas gadts by greenrd to the group SRG_at_UCD on 2007-02-04 16:19:05 as read
  • Extensional equality in intensional type theory
    Logic in Computer Science, 1999. Proceedings. 14th Symposium on (1999), pp. 412-420.
    by T Altenkirch
    posted to equivalence extensionality type-theory by greenrd to the group SRG_at_UCD on 2006-12-29 19:56:20 as **** along with 2 people and 2 groups jimburton A_Olympia Philosophy_of_Information Blog_and_Wiki_Research
  • Comparing approaches to generic programming in Haskell
    (2006)
    by R Hinze, J Jeuring, A Löh
    posted to generic-programming haskell by greenrd to the group SRG_at_UCD on 2006-12-22 15:23:05 as ****
  • Fast broadcasting and gossiping in radio networks
    Journal of Algorithms, Vol. 43, No. 2. (May 2002), pp. 177-189.
    by Marek Chrobak, Leszek Gasieniec, Wojciech Rytter
    posted to gossiping by graham to the group SRG_at_UCD on 2006-12-21 14:08:50 as **
  • The +CAL Algorithm Language
    by L Lamport
    posted to pseudocode specification-languages by greenrd to the group SRG_at_UCD on 2006-12-21 00:10:18 as ****
  • Modeling epidemic spreading in mobile environments
    (2005), pp. 77-86.
    by James W Mickens, Brian D Noble
    posted to epidemic-models by graham to the group SRG_at_UCD on 2006-12-19 16:28:47 as ** along with 1 person salvoscellato
  • Ruler: Programming Type Rules
    Lecture Notes in Computer Science : Functional and Logic Programming (2006), pp. 30-46.
    by Atze Dijkstra, Doaitse S Swierstra
    posted to types by greenrd to the group SRG_at_UCD on 2006-12-11 23:38:22 as read
  • eskimo: experimenting with Skeletons in the Shared Address Model
    Parallel Processing Letters, Vol. 13, No. 3. (September 2003), pp. 449-460.
    by M Aldinucci
    posted to concurrency by greenrd to the group SRG_at_UCD on 2006-12-09 19:57:36 as ****
  • Type-safe cast: (functional pearl)
    (2000), pp. 58-67.
    by Stephanie Weirich
    posted to generic-programming haskell by greenrd to the group SRG_at_UCD on 2006-12-09 17:13:36 as read
  • A Syntactic Approach to Type Soundness
    Information and Computation, Vol. 115, No. 1. (1994), pp. 38-94.
    by Andrew K Wright, Matthias Felleisen
    posted to proofs types by greenrd to the group SRG_at_UCD on 2006-12-08 00:08:17 as **** along with 11 people and 1 group vkp tautologico bunge tov KarlKlose glaubersp mvermaat gkuan mcclurmc sclv nominolo Lambda the Ultimate
  • Type-level Computation Using Narrowing in Ωmega.
    (2006)
    by T Sheard
    posted to dependent-types provers by greenrd to the group SRG_at_UCD on 2006-12-05 16:23:00 as read
  • Position Paper: Thoughts on Programming with Proof Assistants
    (2006)
    by A Chlipala
    posted to proofs provers by greenrd to the group SRG_at_UCD on 2006-12-05 15:54:25 as read
  • Modular Type Classes
    (2007)
    by D Dreyer, R Harper, MMT Chakravarty
    posted to modules type-classes by greenrd to the group SRG_at_UCD on 2006-11-20 01:15:12 as **
  • Associated types with class
    (2005), pp. 1-13.
    by Manuel MT Chakravarty, Gabriele Keller, Simon P Jones, Simon Marlow
    posted to associated-types generic-programming haskell polymorphism type-classes by greenrd to the group SRG_at_UCD on 2006-11-05 10:22:24 as ** along with 10 people and 1 group samth zednenem bec voigt msakai bonotake spl gkuan americovargas jpbernardy NU-PRL
  • A Rationale for Semantically Enhanced Library Languages
    (2005)
    by B Stroustrup
    posted to language-design metaprogramming by greenrd to the group SRG_at_UCD on 2006-11-02 18:12:30 as ** along with 1 person alvi_cam
  • Convergence in language design: a case of lightning striking four times in the same place
    (2006)
    by Peter V Roy
    posted to distributed fault-tolerance language-design pedagogy by greenrd to the group SRG_at_UCD on 2006-10-28 17:38:18 as * along with 1 person hellige
  • Making Implicit Parameters Explicit
    (2005)
    by A Dijkstra, SD Swierstra
    posted to haskell implicit-context by greenrd to the group SRG_at_UCD on 2006-10-22 02:36:55 as read
  • Implicit parameters: dynamic scoping with static types
    (2000), pp. 108-118.
    by Jeffrey R Lewis, John Launchbury, Erik Meijer, Mark B Shields
    posted to aop haskell implicit-context types by greenrd to the group SRG_at_UCD on 2006-10-22 01:07:07 as read along with 1 person spl
  • Scrap more boilerplate: reflection, zips, and generalised casts
    Vol. 39, No. 9. (September 2004), pp. 244-255.
    by Ralf L&\#228;mmel, Simon P Jones
    posted to generic-programming haskell by greenrd to the group SRG_at_UCD on 2006-10-18 23:27:12 as read along with 4 people and 1 group samth yallop spl americovargas NU-PRL
  • Machine Obstructed Proof: How many months can it take to verify 30 assembly instructions?
    (2006)
    by N Benton
    posted to coq formal-methods proofs provers by greenrd to the group SRG_at_UCD on 2006-10-18 19:56:33 as read along with 1 person cappetschulat
  • Network visualization with Nam, the VINT network animator
    Computer, Vol. 33, No. 11. (2000), pp. 63-68.
    by D Estrin, M Handley, J Heidemann, S Mccanne, Ya Xu, H Yu
    posted to gossiping by graham to the group SRG_at_UCD on 2006-10-17 21:21:53 as ***
  • Inferring type isomorphisms generically
    by F Atanassow, J Jeuring
    posted to generic-programming haskell type-isomorphisms by greenrd to the group SRG_at_UCD on 2006-10-08 17:48:16 as ***** along with 1 person zednenem
  • What Do High-Level Memory Models Mean for Transactions?
    (2006)
    by D Grossman, J Manson, W Pugh
    posted to jmm memory-models stm by greenrd to the group SRG_at_UCD on 2006-10-03 12:48:20 as read
  • Software Transactions are to Concurrency as Garbage Collection is to Memory Management
    by D Grossman
    posted to stm by greenrd to the group SRG_at_UCD on 2006-09-28 11:11:43 as read along with 1 person pjdonald
  • Scrap your nameplate: (functional pearl)
    (2005), pp. 180-191.
    by James Cheney
    posted to generic-programming by greenrd to the group SRG_at_UCD on 2006-08-29 19:31:32 as ***** along with 3 people voigt msakai keigoi
  • Hybrid type checking
    Vol. 41, No. 1. (January 2006), pp. 245-256.
    by Cormac Flanagan
    posted to dependent-types esc formal-methods hybrid-type-checking by greenrd to the group SRG_at_UCD on 2006-08-29 19:09:34 as ** along with 3 people and 1 group dsilva bec janschaefer TU-KL-SoftwareTechnologyGroup
  • Scrap your boilerplate: a practical design pattern for generic programming
    Vol. 38, No. 3. (March 2003), pp. 26-37.
    by Ralf L&\#228;mmel, Simon P Jones
    posted to generic-programming haskell by greenrd to the group SRG_at_UCD on 2006-08-29 17:00:20 as read along with 3 people and 1 group samth yallop americovargas NU-PRL
  • Formalising a High-Performance Microkernel
    (2006)
    by K Elphinstone, G Klein, R Kolanski
    posted to formal-methods haskell operating-systems provers by greenrd to the group SRG_at_UCD on 2006-08-22 18:29:12 as read
  • On category theory as a (meta) ontology for information systems research
    (2001), pp. 59-69.
    by Michael Johnson, CNG Dampney
    posted to category-theory ontology by greenrd to the group SRG_at_UCD on 2006-08-18 00:34:45 as **** along with 2 people and 1 group mstone rgb pileWorks
  • A modal calculus for effect handling
    No. CMU-CS-03-149. (2003)
    by A Nanevski
    posted to monads by greenrd to the group SRG_at_UCD on 2006-08-11 16:14:24 as ** along with 1 person zednenem
    • Note: You may cite this page as: http://www.citeulike.org/group/504/library

    Result page: 1 2 3 4 5 6 7 8 9 10 Next RIS BibTeX
    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.