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

znmeb's library [43 articles]

Recent papers added to znmeb's library.
  • Interval Matrices for the Bottleneck Analysis of Queueing Network Models with Histogram-Based Parameters
    by Johannes Lüthi
    posted to no-tag by znmeb on 2007-07-09 00:36:39 as *****
  • Structured analysis approaches for large Markov chains
    Applied Numerical Mathematics: Transactions of IMACS, Vol. 31, No. 4. (1999), pp. 375-404.
    by Peter Buchholz
    posted to kronecker markov modeling by znmeb on 2007-04-23 23:23:20 as ** along with 1 person peg
  • Linda Implementation Revisited
    (1995)
    by Andrew Douglas, Antony Rowstron, Alan Wood
    edited by P Nixon
    posted to linda by znmeb on 2007-04-21 20:31:19 as ** along with 1 person saintedlama
  • Garbage Collection in Linda using Tuple Monitoring and Process Registration
    (1998), pp. 490-495.
    by Ronaldo Menezes, Alan Wood
    posted to garbage-collection linda by znmeb on 2007-04-21 20:30:13 as **
  • Distributed Garbage Collection of Tuple Space in Open Linda Coordination Systems
    (1999), pp. 957-965.
    by Ronaldo Menezes, Alan Wood
    posted to garbage-collection linda by znmeb on 2007-04-21 20:29:45 as **
  • Garbage Collection in Open Distributed Tuple Space Systems
    (1997), pp. 525-543.
    by Ronaldo Menezes, Alan Wood
    edited by Wanderley L de Souza, Rogério Drummond
    posted to garbage-collection linda by znmeb on 2007-04-21 20:29:19 as **
  • Experience with memory management in open Linda systems
    (March 2001), pp. 187-196.
    by Ronaldo Menezes
    posted to garbage-collection linda by znmeb on 2007-04-21 20:28:32 as **
  • Resource Management in Open Tuple Space Systems
    by Ronaldo P de Menezes
    posted to linda by znmeb on 2007-04-21 20:27:14 as **
  • A New Approach to Scalable Linda-systems Based on Swarms
    (2003)
    by R Menezes, R Tolksdorf
    posted to linda swarm by znmeb on 2007-04-21 20:26:12 as **
  • Using swarm intelligence in linda systems
    (2003)
    by R Tolksdorf, R Menezes
    posted to linda swarm by znmeb on 2007-04-21 20:25:32 as **
  • Adaptiveness in Linda-based Coordination Models
    by Ronaldo Menezes, Robert Tolksdorf
    posted to linda by znmeb on 2007-04-21 20:24:16 as **
  • The SPACETUB Models and Framework
    (2002), pp. 348-363.
    by Robert Tolksdorf, Gregor R Goldmann
    posted to linda by znmeb on 2007-04-21 20:22:59 as **
  • Comparing three semantics for Linda-like languages
    Theoretical Computer Science, Vol. 240, No. 1. (2000), pp. 49-90.
    by Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    posted to linda by znmeb on 2007-04-21 20:22:23 as **
  • Generic Process Algebras for Asynchronous Communication
    (1999), pp. 226-241.
    by Frank S de Boer, Gianluigi Zavattaro
    posted to process-algebra by znmeb on 2007-04-21 20:21:21 as **
  • A Theory of “May” Testing for Asynchronous Languages
    Lecture Notes in Computer Science, Vol. 1578 (1999), pp. 165-179.
    by M Boreale, R De Nicola, R Pugliese
    posted to concurrency process-algebra by znmeb on 2007-04-21 20:18:57 as **
  • Basic Observables for a Calculus for Global Computing
    (2004)
    by R De Nicola, D Gorla, R Pugliese
    posted to mobility by znmeb on 2007-04-21 20:17:50 as **
  • A COMPARISON OF SIMULATION TECHNIQUES AND ALGEBRAIC TECHNIQUES FOR VERIFYING CONCURRENT SYSTEMS
    No. MIT/LCS/TM-499. (1993)
    by N Lynch, R Segala
    posted to concurrency by znmeb on 2007-04-21 20:16:51 as ** along with 1 person Scis0000002
  • BTS: A Byzantine Fault-Tolerant Tuple Space
    by Alysson N Bessani
    posted to fault-tolerant linda by znmeb on 2007-04-21 20:14:09 as **
  • Trace and Testing Equivalence on Asynchronous Processes
    (1999)
    by M Boreale, R De Nicola, R Pugliese
    posted to linda process-algebra by znmeb on 2007-04-21 20:13:03 as **
  • Klaim: a Kernel Language for Agents Interaction and Mobility
    IEEE Transactions on Software Engineering (Special Issue on Mobility and Network Aware Computing) (1998)
    by Rocco de Nicola, Gian L Ferrari, R Pugliese
    edited by Catalin Roman, Ghezzi
    posted to linda mobility by znmeb on 2007-04-21 20:11:38 as **
  • Linda-based applicative and imperative process algebras
    Theoretical Computer Science, Vol. 238, No. 1--2. (2000), pp. 389-437.
    by Rocco De Nicola, Rosario Pugliese
    posted to linda process-algebra by znmeb on 2007-04-21 20:10:31 as **
  • Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces
    (2000), pp. 66-80.
    by Rocco De Nicola, Rosario Pugliese, Antony IT Rowstron
    posted to linda optimization by znmeb on 2007-04-21 20:09:45 as **
  • Learning Continuous Time Markov Chains from Sample Executions
    by Koushik Sen, Mahesh Viswanathan, Gul Agha
    posted to ctmc markov by znmeb on 2007-04-21 19:07:49 as *****
  • Linda-based applicative and imperative process algebras
    Theoretical Computer Science, Vol. 238, No. 1--2. (2000), pp. 389-437.
    by Rocco De Nicola, Rosario Pugliese
    posted to linda process-algebra by znmeb on 2007-04-21 19:05:59 as *****
  • Permanent, Ephemeral, and Temporary Data in Shared Dataspace Coordination Languages
    by Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    posted to concurrency linda by znmeb on 2007-04-21 19:04:38 as *****
  • Pi-Calculus As A Rapid Prototype Language For Performance Evaluation
    by Francesco Logozzo
    posted to performance pi-calculus by znmeb on 2007-04-21 18:51:23 as ***** along with 1 person mputney1
  • Characterising the design space for linda semantics
    (1997)
    by D Campbell, H Osborne, A Wood
    posted to linda semantics by znmeb on 2007-04-21 18:49:56 as **
  • A process algebraic view of Linda coordination primitives
    Theoretical Computer Science, Vol. 192, No. 2. (1998), pp. 167-199.
    by Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    posted to linda process-algebra by znmeb on 2007-04-21 18:49:01 as ***
  • A Petri Net Semantics for pi-Calculus
    (1995), pp. 145-159.
    by Nadia Busi, Roberto Gorrieri
    posted to petri-nets pi-calculus by znmeb on 2007-04-21 18:45:45 as ***** along with 1 person and 2 groups mattis23 dIEMoSIRIS MoSi-Rostock
  • Towards a Calculus for Generative Communication
    (1996), pp. 289-306.
    by P Ciancarini, R Gorrieri, G Zavattaro
    edited by E Najm, J Stefani
    posted to concurrency linda mobility by znmeb on 2007-04-21 18:44:38 as *****
  • Comparing three semantics for Linda-like languages
    Theoretical Computer Science, Vol. 240, No. 1. (2000), pp. 49-90.
    by Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    posted to linda semantics by znmeb on 2007-04-21 18:43:09 as *****
  • Zero-safe net models for transactions in Linda
    (2001)
    by R Bruni, U Montanari
    posted to linda petri-nets transactions zero-safe by znmeb on 2007-04-21 18:42:41 as *****
  • LIME: Linda Meets Mobility
    (1999), pp. 368-377.
    by Gian P Picco, Amy L Murphy, Gruia C Roman
    posted to lime linda mobility by znmeb on 2007-04-21 18:41:45 as *****
  • Resource Management In Open Tuple Space Systems
    by Ronaldo P de Menezes
    posted to concurrency linda by znmeb on 2007-04-21 18:40:33 as *****
  • On the Use of Linda as a Framework for Distributed Database Systems
    by Madhan Thirukonda, Ronaldo Menezes
    posted to database distributed linda by znmeb on 2007-04-21 18:38:55 as *****
  • Trace Machines for Observing Continuous-Time Markov Chains
    by Verena Wolf, Mila M Cederbaum, Christel Baier
    posted to ctmc markov by znmeb on 2007-04-21 18:37:25 as *****
  • Simulation for Continuous-time Markov Chains
    (2002)
    by C Baier, J Katoen, H Hermanns, B Haverkort
    posted to ctmc markov simulation by znmeb on 2007-04-21 18:36:09 as ***** along with 1 person phoenixzxl
  • A Truly Concurrent view of Linda Interprocess Communication
    (1997)
    by N Busi, R Gorrieri, G Zavattaro
    posted to concurrency linda by znmeb on 2007-04-21 18:33:59 as *****
  • On the Expressiveness of Linda Coordination Primitives
    Information and Computation, Vol. 156, No. 1--2. (2000), pp. 90-121.
    by Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    posted to linda by znmeb on 2007-04-21 18:32:53 as *****
  • A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
    Theoretical Computer Science, Vol. 202, No. 1--2. (1998), pp. 1-54.
    by Marco Bernardo, Roberto Gorrieri
    posted to empa performance process-algebra by znmeb on 2007-04-21 18:31:11 as *****
  • Optimizing tensor product computations in stochastic automata networks
    (1998)
    by P Fernandes, B Plateau, W Stewart
    posted to kronecker by znmeb on 2007-04-03 20:34:54 as ***** along with 1 person peg
  • On the solution of GSPN reward models
    Performance Evaluation, Vol. 12, No. 4. (July 1991), pp. 237-253.
    by Gianfranco Ciardo, Jogesh Muppala, Kishor S Trivedi
    posted to markov performance by znmeb on 2006-08-05 21:50:45 as ** along with 1 person and 2 groups muppala Computer_Networks Embedded_Systems_And_Software
  • book.pdf (application/pdf Object)
    by Jane Hillston
    posted to modeling pepa performance process-algebra by znmeb on 2006-08-05 21:48:42 as read along with 1 person peg
    • Note: You may cite this page as: http://www.citeulike.org/user/znmeb

    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.