registrieren | anmelden | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

keigois library [264 articles]

Neue Artikel in keigois Bibliothek.
  • Region analysis and a π-calculus with groups
    J. Funct. Program., Vol. 12, No. 3. (May 2002), pp. 229-292.
    by Silvano D Zilio, Andrew D Gordon
    posted to region picalculus by keigoi on 2008-07-05 10:01:16 as **
  • Towards formally verifiable resource bounds for real-time embedded systems
    SIGBED Rev., Vol. 3, No. 4. (October 2006), pp. 27-36.
    by Kevin Hammond, Christian Ferdinand, Reinhold Heckmann
    posted to resourcebounds embedded by keigoi on 2008-07-05 10:00:48 as **
  • Automatic detection of immutable fields in Java
    (2000)
    by Sara Porat, Marina Biberstein, Larry Koved, Bilha Mendelson
    posted to java immutable by keigoi on 2008-07-05 07:42:56 as **
  • Domain partitioning for open reactive systems
    (2002), pp. 44-54.
    by Scott D Stoller
    posted to modelchecking by keigoi on 2008-07-05 07:30:46 as **
  • Compositional pointer and escape analysis for Java programs
    (1999), pp. 187-206.
    by John Whaley, Martin Rinard
    posted to java escapeanalysis by keigoi on 2008-07-05 05:35:27 as ** along with 1 person bunge
  • Bisimulation can't be traced
    J. ACM, Vol. 42, No. 1. (January 1995), pp. 232-268.
    by Bard Bloom, Sorin Istrail, Albert R Meyer
    posted to concurrency by keigoi on 2008-07-02 17:47:26 as ** along with 2 people msakai numba37
  • Multiparty asynchronous session types
    SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 273-284.
    by Kohei Honda, Nobuko Yoshida, Marco Carbone
    posted to session picalculus by keigoi on 2008-06-19 04:31:26 as **
  • Timed Automata: Semantics, Algorithms and Tools
    Lectures on Concurrency and Petri Nets (2004), pp. 87-124.
    by Johan Bengtsson, Wang Yi
    posted to timedautomata modelchecking by keigoi on 2008-06-17 03:26:04 as **
  • Model Checking Timed Automata with Priorities Using DBM Subtraction
    Formal Modeling and Analysis of Timed Systems (2006), pp. 128-142.
    by Alexandre David, John Håkansson, Kim Larsen, Paul Pettersson
    posted to timedautomata modelchecking by keigoi on 2008-06-17 03:21:49 as **
  • Automatic predicate abstraction of C programs
    (2001), pp. 203-213.
    by Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K Rajamani
    posted to modelchecking by keigoi on 2008-06-16 09:33:20 as ** along with 2 people msakai bfraser
  • Extensible algebraic datatypes with defaults
    Vol. 36, No. 10. (October 2001), pp. 241-252.
    by Matthias Zenger, Martin Odersky
    posted to type reuse programming by keigoi on 2008-05-30 07:41:47 as ** along with 2 people bfraser mbravenboer
  • Converting Constraint Handling Rules to Equivalent Transformation Rules
    Journal of Advanced Computational Intelligence and Intelligent Informatics, Vol. 10, No. 1. (January 2006)
    by Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike
    posted to chr by keigoi on 2008-05-23 21:25:19 as ** along with 1 person msakai
  • Theory and practice of constraint handling rules
    The Journal of Logic Programming, Vol. 37, No. 1-3. (12 October 1998), pp. 95-138.
    by Thom Fruhwirth
    posted to chr by keigoi on 2008-05-23 09:14:56 as ** along with 3 people bfraser msakai fdr
  • The theory of strictness analysis for higher order functions
    Programs as Data Objects (1986), pp. 42-62.
    by GL Burn, CL Hankin, S Abramsky
    posted to strictnessanalysis by keigoi on 2008-05-21 03:18:31 as ** along with 1 person msakai
  • Session Types for Object-Oriented Languages
    ECOOP 2006 – Object-Oriented Programming (2006), pp. 328-352.
    by Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou
    posted to session by keigoi on 2008-05-15 03:55:49 as ** along with 1 person shimomura
  • In search of the future of air traffic control
    Spectrum, IEEE, Vol. 34, No. 8. (1997), pp. 18-35.
    by TS Perry
    posted to reliability by keigoi on 2008-05-12 08:44:25 as ** along with 1 person takataka15
  • A case study on how to manage the theft of information
    (2005), pp. 135-138.
    by Robert
    posted to reliability by keigoi on 2008-05-12 08:43:08 as ** along with 2 people msakai takataka15
  • The baggage system at Denver: prospects and lessons
    Journal of Air Transport Management, Vol. 1, No. 4. (December 1994), pp. 229-236.
    by Richard de Neufville
    posted to reliability by keigoi on 2008-05-12 08:00:38 as **
  • A New Type System for Deadlock-Free Processes
    CONCUR 2006 – Concurrency Theory (2006), pp. 233-247.
    by Naoki Kobayashi
    posted to picalculus deadlock concurrency by keigoi on 2008-04-30 04:21:15 as **
  • Model-Checking Behavioral Specification of BPEL Applications
    Electronic Notes in Theoretical Computer Science, Vol. 151, No. 2. (31 May 2006), pp. 89-105.
    by Shin Nakajima
    posted to modelchecking by keigoi on 2008-04-28 10:48:07 as ** along with 1 person msakai
  • A Proof Search Specification of the [pi]-Calculus
    Electronic Notes in Theoretical Computer Science, Vol. 138, No. 1. (9 September 2005), pp. 79-101.
    by Alwen Tiu, Dale Miller
    posted to picalculus by keigoi on 2008-04-24 14:45:39 as **
  • Observable Sharing for Functional Circuit Description
    (1999), pp. 62-73.
    by Koen Claessen, David Sands
    posted to haskell functionalprogramming domainspecific by keigoi on 2008-04-23 00:39:55 as ** along with 1 person msakai
  • Finally Tagless, Partially Evaluated
    Programming Languages and Systems (2007), pp. 222-238.
    by Jacques Carette, Oleg Kiselyov, Chung-Chieh Shan
    posted to functionalprogramming domainspecific by keigoi on 2008-04-22 23:38:07 as ** along with 3 people pedagand nominolo msakai
  • Embedding a Hardware Description Language in Template Haskell
    Domain-Specific Program Generation (2004), pp. 143-164.
    by John T O’donnell
    posted to functionalprogramming haskell metaprogramming by keigoi on 2008-04-20 05:43:35 as ** along with 1 person msakai
  • Why it's nice to be quoted: quasiquoting for haskell
    (2007), pp. 73-82.
    by Geoffrey Mainland
    posted to haskell metaprogramming by keigoi on 2008-04-19 12:19:28 as ** along with 1 person msakai
  • Purely functional system configuration management
    (2007), pp. 1-6.
    by Eelco Dolstra, Armijn Hemel
    posted to configurationmanagement functionalprogramming by keigoi on 2008-04-17 02:20:13 as **
  • Running the manual: an approach to high-assurance microkernel development
    (2006), pp. 60-71.
    by Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel MT Chakravarty
    posted to functionalprogramming operatingsystem by keigoi on 2008-04-17 01:54:15 as ** along with 1 person mwmarkland
  • A principled approach to operating system construction in Haskell
    SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 116-128.
    by Thomas Hallgren, Mark P Jones, Rebekah Leslie, Andrew Tolmach
    posted to functionalprogramming operatingsystem by keigoi on 2008-04-17 01:49:43 as ** along with 1 person aliguori
  • Tag Elimination and Jones-Optimality
    (2001), pp. 257-275.
    by Walid Taha, Henning Makholm, John Hughes
    posted to domainspecific functionalprogramming by keigoi on 2008-04-17 00:17:10 as **
  • Polymorphic Delimited Continuations
    Programming Languages and Systems (2007), pp. 239-254.
    by Kenichi Asai, Yukiyoshi Kameyama
    posted to continuation by keigoi on 2008-03-18 05:11:15 as ** along with 2 people nominolo msakai
  • Comparing operational models of name-passing process calculi
    Inf. Comput., Vol. 204, No. 4. (April 2006), pp. 524-560.
    by Marcelo Fiore, Sam Staton
    posted to picalculus by keigoi on 2008-02-28 15:51:37 as **
  • Complete inference systems for weak bisimulation equivalences in the [pi]-calculus
    Information and Computation, Vol. 180, No. 1. (10 January 2003), pp. 1-29.
    by Huimin Lin
    posted to picalculus by keigoi on 2008-02-28 15:24:54 as **
  • Modal logics for mobile processes
    Theoretical Computer Science, Vol. 114, No. 1. (14 June 1993), pp. 149-171.
    by Robin Milner, Joachim Parrow, David Walker
    posted to modallogic picalculus by keigoi on 2008-02-27 07:53:48 as ** along with 1 person bfraser
  • Programming with abstract data types
    (1974), pp. 50-59.
    by Barbara Liskov, Stephen Zilles
    posted to programming by keigoi on 2008-02-26 15:01:09 as ** along with 2 people radico bfraser
  • Software model checking in practice: an industrial case study
    (2002), pp. 431-441.
    by Satish Chandra, Patrice Godefroid, Christopher Palm
    posted to modelchecking by keigoi on 2008-02-26 06:21:20 as ** along with 1 person msakai
  • Global variable considered harmful
    SIGPLAN Not., Vol. 8, No. 2. (February 1973), pp. 28-34.
    by W Wulf, Mary Shaw
    posted to programming by keigoi on 2008-02-19 16:30:26 as ** along with 1 person msakai
  • A calculus of mobile processes, I
    Inf. Comput., Vol. 100, No. 1. (September 1992), pp. 1-40.
    by Robin Milner, Joachim Parrow, David Walker
    posted to picalculus by keigoi on 2008-02-19 11:02:10 as ** along with 1 person chihchun_chen
  • A calculus of mobile processes, II
    Information and Computation, Vol. 100, No. 1. (September 1992), pp. 41-77.
    by Robin Milner, Joachim Parrow, David Walker
    posted to picalculus by keigoi on 2008-02-19 11:02:05 as ** along with 1 person chihchun_chen
  • On bisimulations for the asynchronous [pi]-calculus
    Theoretical Computer Science, Vol. 195, No. 2. (30 March 1998), pp. 291-324.
    by Roberto M Amadio, Ilaria Castellani, Davide Sangiorgi
    posted to picalculus by keigoi on 2008-02-19 09:01:32 as **
  • Name-passing style GUI programming in the [pi]-calculus-based language Nepi
    Electronic Notes in Theoretical Computer Science, Vol. 139, No. 1. (4 November 2005), pp. 145-168.
    by Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen
    posted to gui picalculus by keigoi on 2008-02-15 04:53:00 as ** along with 1 person shimomura
  • Control flow analysis
    (1970), pp. 1-19.
    by Frances E Allen
    posted to programanalysis by keigoi on 2008-02-15 02:09:30 as ** along with 2 people scavadini tesissvc
  • Is abstraction the key to computing?
    Commun. ACM, Vol. 50, No. 4. (April 2007), pp. 36-42.
    by Jeff Kramer
    posted to no-tag by keigoi on 2008-02-13 18:44:54 as ** along with 7 people and 3 groups cinemakinoeye benavides yijunyu lanubile smogit OriginalLurch phbrownacmorg tdg CDG clab
  • Static Deadlock Detection for Java Libraries
    ECOOP 2005 - Object-Oriented Programming (2005), pp. 602-629.
    by Amy Williams, William Thies, Michael D Ernst
    posted to concurrency java by keigoi on 2008-02-13 18:44:12 as ** along with 1 person bfraser
  • Symmetric composition of musical concerns
    (2006), pp. 226-236.
    by Patrick Hill, Simon Holland, Robin Laney
    posted to aspectoriented by keigoi on 2008-02-13 18:28:28 as ** along with 1 person yijunyu
  • Visualisation-based tool support for the development of aspect-oriented programs
    (2006), pp. 146-157.
    by -Hendrik, John R Gurd
    posted to aspectoriented visualization by keigoi on 2008-02-13 18:25:55 as **
  • Open bisimulation for aspects
    (2007), pp. 107-120.
    by Radha Jagadeesan, Corin Pitcher, James Riely
    posted to aspectoriented concurrency by keigoi on 2008-02-13 18:12:14 as ** along with 1 person bfraser
  • &\#960;-ADL: an Architecture Description Language based on the higher-order typed &\#960;-calculus for specifying dynamic and mobile software architectures
    SIGSOFT Softw. Eng. Notes, Vol. 29, No. 3. (May 2004), pp. 1-14.
    by Flavio Oquendo
    posted to picalculus softwaredesign by keigoi on 2008-02-13 17:56:16 as **
  • A logical encoding of the &\#x03c0;-calculus: model checking mobile processes using tabled resolution
    Int. J. Softw. Tools Technol. Transf., Vol. 6, No. 1. (July 2004), pp. 38-66.
    by Ping Yang, CR Ramakrishnan, Scott A Smolka
    posted to logicprogramming modelchecking picalculus by keigoi on 2008-02-13 17:42:23 as **
  • The ArchWare Tower: The Implementation of an Active Software Engineering Environment Using a p-Calculus Based Architecture Description Language
    Software Architecture (2005), pp. 30-40.
    by Brian Warboys, Mark Greenwood, Ian Robertson, Ron Morrison, Dharini Balasubramaniam, Graham Kirby, Kath Mickan
    posted to picalculus softwaredesign softwareengineering by keigoi on 2008-02-13 17:18:09 as **
  • Prototyping SOS Meta-theory in Maude
    Electronic Notes in Theoretical Computer Science, Vol. 156, No. 1. (15 May 2006), pp. 135-150.
    by Mohammad R Mousavi, Michel A Reniers
    posted to maude operationalsemantics by keigoi on 2008-02-13 16:21:11 as ** along with 1 person leonardo
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/keigoi

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