Registrer deg | Logg på | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

mperaltas library [85 articles]

Nye artikler sendt til mperaltas bibliotek.
  • Mathematical Logic
    (15 January 2001)
    by Joseph R Shoenfield
    posted to no-tag by mperalta on 2008-09-15 05:36:56 as ***
  • David Lewis and the Analysis of Counterfactuals
    Noûs, Vol. 10, No. 3. (1976), pp. 355-361.
    by Donald Nute
    posted to counterfactuals philosophy by mperalta on 2008-08-19 09:07:32 as **
  • Causation
    The Journal of Philosophy, Vol. 70, No. 17. (1973), pp. 556-567.
    by David Lewis
    posted to counterfactual philosophy by mperalta on 2008-08-19 06:49:39 as ****
  • Fixpoint approach to the theory of computation
    Commun. ACM, Vol. 15, No. 7. (July 1972), pp. 528-536.
    by Zohar Manna, Jean Vuillemin
    posted to domaintheory fixpointtheory by mperalta on 2008-08-17 09:27:42 as ****
  • Inductive methods for proving properties of programs
    Commun. ACM, Vol. 16, No. 8. (August 1973), pp. 491-502.
    by Zohar Manna, Stephen Ness, Jean Vuillemin
    posted to domaintheory by mperalta on 2008-08-17 08:49:12 as ****
  • Universal Algebra (Mathematics and Its Applications)
    (30 April 1981)
    by PM Cohn
    posted to summerrefmathbook by mperalta on 2008-08-12 03:39:04 as **
  • Model theory and its applications (Allyn and Bacon series in advanced mathematics)
    by Ralph Kopperman
    posted to summerrefmathbook by mperalta on 2008-08-12 03:36:26 as **
  • Distributed Systems: Concepts and Design (4th Edition) (International Computer Science Series)
    (20 May 2005)
    by Jean Dollimore, Tim Kindberg, George Coulouris
    posted to summerreferencebook by mperalta on 2008-08-12 03:24:03 as ** along with 2 people cameleon911 jodal
  • Universal Algebra for Computer Scientists (E a T C S Monographs on Theoretical Computer Science)
    by Wolfgang Wechler
    posted to summermathbook by mperalta on 2008-08-12 03:22:18 as **
  • Introduction to Programming using SML (International Computer Science Series)
    (21 July 1999)
    by Michael Hansen, Hans Rischel
    posted to summerprogrammingbook by mperalta on 2008-08-11 19:09:51 as **
  • Elementary Standard ML
    by Greg Michaelson
    posted to summerprogrammingbook by mperalta on 2008-08-11 19:07:50 as **
  • A Course in Universal Algebra (Graduate texts in mathematics)
    by S Burris, HP Sankappanavar
    posted to summerresearchbook by mperalta on 2008-08-11 19:05:10 as read
  • Model Theory (Studies in Logic and Foundations of Mathematics Ser. : Vol 73)
    by CC Chang, Jerome H Keisler
    posted to summerresearchbook by mperalta on 2008-08-11 18:59:24 as **
  • A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
    (16 September 2004)
    by Shawn Hedman
    posted to summerresearchbook by mperalta on 2008-08-11 18:55:10 as **
  • Handbook of Theoretical Computer Science: Algorithms and Complexity
    (1990)
    by Jan V Leeuwen
    edited by Warwick, AR Meyer, M Nival
    posted to theorybook by mperalta on 2008-08-08 06:46:12 as **
  • Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics
    (04 January 1994)
    posted to no-tag by mperalta on 2008-08-07 06:27:21 as **
  • Coroutines and Networks of Parallel Processes
    (1977), pp. 993-998.
    by Gilles Kahn, David B Macqueen
    posted to no-tag by mperalta on 2008-08-06 22:41:18 as **
  • Event structures
    (1987), pp. 325-392.
    by G Winskel
    posted to no-tag by mperalta on 2008-08-06 22:28:51 as **
  • Events in Computation
    (1980)
    by Glynn Winskel
    posted to no-tag by mperalta on 2008-08-06 22:23:47 as **
  • Context-Aware Process Networks
    asap, Vol. 0 (2003)
    by Hylke W van Dijk, Henk J Sips, Ed F Deprettere
    posted to no-tag by mperalta on 2008-08-06 07:12:57 as **
  • Abstract A Study of Computational Reconfiguration in a Process Network
    by DL Webb, AL Wendelborn, J Vayssière
    posted to no-tag by mperalta on 2008-08-06 07:11:11 as **
  • Synchronization Periodic Clocks in Kahn Networks
    (3 February 2005)
    by Albert Cohen, Marc Duranton, Christine Eisbeis, Claire Pagetti, Marc Pouzet
    posted to no-tag by mperalta on 2008-08-06 07:05:35 as **
  • Bounded Scheduling of Process Networks
    (December 1995)
    by Thomas M Parks
    posted to no-tag by mperalta on 2008-08-06 06:52:47 as **
  • Automated Mapping for Heterogeneous Multiprocessor Embedded Systems
    (7 September 2007)
    by Abhijit Davare
    posted to no-tag by mperalta on 2008-08-06 06:44:38 as **
  • A Model Checking Project at Philips Research
    Lecture Notes in Computer Science, Vol. 2057 (2001)
    by Leszek Holenderski
    posted to no-tag by mperalta on 2008-08-05 22:54:16 as **
  • Application design trajectory towards reusable coprocessors - MPEG case study
    Embedded Systems for Real-Time Multimedia, 2004. ESTImedia 2004. 2nd Workshop on (2004), pp. 33-38.
    by M Rutten, OP Gangwal, J van Eijndhoven, E Jaspers, EJ Pol
    posted to no-tag by mperalta on 2008-08-05 22:51:44 as **
  • Exploring design space of parallel realizations: MPEG-2 decoder case study
    (2001), pp. 92-97.
    by Basant K Dwivedi, Jan Hoogerbrugge, Paul Stravers, M Balakrishnan
    posted to no-tag by mperalta on 2008-08-05 22:50:27 as **
  • YAPI: Application Modeling for Signal Processing Systems
    dac, Vol. 00 (2000), pp. 402-405.
    by JY Brunel, KA Vissers, P Lieverse, P van der Wolf, WM Kruijtzer, WJM Smits, G Essink, EA de Kock
    posted to no-tag by mperalta on 2008-08-05 22:48:46 as **
  • System design using Kahn Process Networks: The Compaan/Laura approach
    (2004)
    by T Stefanov, C Zissulescu, A Turjan, B Kienhuis, E Deprettere
    posted to no-tag by mperalta on 2008-08-05 22:47:11 as **
  • The denotational semantics of dynamic networks of processes
    ACM Trans. Program. Lang. Syst., Vol. 7, No. 4. (October 1985), pp. 656-679.
    by Arie de Bruin, Wim Böhm
    posted to no-tag by mperalta on 2008-08-05 22:45:37 as **
  • A runtime mechanism for detection of artificial deadlocks in process networks
    Circuits and Systems, 2004. MWSCAS '04. The 2004 47th Midwest Symposium on, Vol. 2 (2004), pp. II-437-II-440 vol.2.
    by N Bharath, SK Nandy
    posted to no-tag by mperalta on 2008-08-05 22:41:23 as **
  • RPNG: A Tool for Random Process Network Generation
    (2004)
    by Basant K Dwivedi, Harsh Dh, M Balakrishnan, Anshul Kumar
    posted to no-tag by mperalta on 2008-08-05 22:39:53 as **
  • Requirements on the Execution of Kahn Process Networks
    Programming Languages and Systems (2003), pp. 319-334.
    by Marc Geilen, Twan Basten
    posted to no-tag by mperalta on 2008-08-05 22:37:46 as **
  • Realtime Signal Processing
    (September 1995)
    by Hideki J Reekie
    posted to no-tag by mperalta on 2008-08-05 22:36:05 as **
  • Design of a Real-Time Scheduler for Kahn Process for Kahn Process Networks on Multiprocessor Systems
    (September 2003), pp. 1-8.
    by Javed Dulloo, Philipe Marquet
    posted to no-tag by mperalta on 2008-08-05 22:32:20 as **
  • Design with race-free hardware semantics
    (2006), pp. 571-576.
    by Patrick Schaumont, Sandeep Shukla, Ingrid Verbauwhede
    posted to no-tag by mperalta on 2008-08-05 20:53:09 as **
  • A proof of the Kahn principle for input/output automata
    Inf. Comput., Vol. 82, No. 1. (July 1989), pp. 81-92.
    by Nancy Lynch, Eugene W Stark
    posted to no-tag by mperalta on 2008-08-05 20:51:34 as ** along with 1 person jrw
  • Structural operational semantics
    (1999)
    by L Aceto, W Fokkink, C Verhoef
    posted to no-tag by mperalta on 2008-07-29 23:33:01 as **
  • Actors: a model of concurrent computation in distributed systems
    (1986)
    by Gul Agha
    posted to no-tag by mperalta on 2008-07-29 23:11:46 as ** along with 2 people elferdo Leho
  • Foundations of Actor Semantics
    (1981)
    by William D Clinger
    posted to no-tag by mperalta on 2008-07-29 23:10:03 as ** along with 4 people alec elferdo flavian NSumner
  • The polyadic pi-calculus: a tutorial
    (1993), pp. 203-246.
    by R Milner
    edited by FL Bauer, W Brauer, H Schwichtenberg
    posted to no-tag by mperalta on 2008-07-29 23:07:39 as read along with 5 people and 3 groups pverstra myui sugarexpletive KarlKlose roland_ewald macc dIEMoSIRIS MoSi-Rostock
  • 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 no-tag by mperalta on 2008-07-29 23:04:43 as read along with 2 people keigoi chihchun_chen
  • 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 no-tag by mperalta on 2008-07-29 23:02:59 as read along with 2 people keigoi chihchun_chen
  • Communicating Sequential Processes
    (1985)
    by CAR Hoare
    edited by Inc Prentice-Hall
    posted to no-tag by mperalta on 2008-07-29 23:00:24 as read
  • A Theory of Communicating Sequential Processes
    J. ACM, Vol. 31, No. 3. (July 1984), pp. 560-599.
    by SD Brookes, CAR Hoare, AW Roscoe
    posted to no-tag by mperalta on 2008-07-29 07:04:23 as read
  • A Calculus of Communicating Systems
    (1982)
    by R Milner
    posted to no-tag by mperalta on 2008-07-29 06:58:14 as read
  • Notes on algebraic calculi of processes
    (1985), pp. 261-303.
    by G Boudol
    posted to no-tag by mperalta on 2008-07-29 06:55:46 as read
  • The chemical abstract machine
    (1990), pp. 81-94.
    by Gerard Berry, Gerard Boudol
    posted to no-tag by mperalta on 2008-07-23 20:44:35 as ** along with 6 people scis0000001 mstone cogumbreiro erikgarrison bfraser pedagand
  • On the Origins of Bisimulation and Coinduction
    (June 2008), pp. 1-48.
    by Davide Sangiorgi
    posted to no-tag by mperalta on 2008-07-23 20:43:14 as **
  • Algebraic Process Calculi: The First Twenty Years and Beyond
    (August 2005)
    edited by Luca Aceto, Adrew D Gordon
    posted to no-tag by mperalta on 2008-07-23 20:36:36 as **
    • NB: Du kan sitere denne siden som: http://www.citeulike.org/user/mperalta

    Result page: 1 2 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.