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

mperalta's library [70 articles]

Recent papers added to mperalta's library.
  • 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 chihchun_chen keigoi
  • 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 chihchun_chen keigoi
  • 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 pedagand bfraser erikgarrison scis0000001 mstone cogumbreiro
  • 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 **
  • pn: a tool for improved derivation of process networks
    EURASIP J. Embedded Syst., Vol. 2007, No. 1. (January 2007), pp. 19-19.
    by Sven Verdoolaege, Hristo Nikolov, Todor Stefanov
    posted to no-tag by mperalta on 2008-06-03 21:09:02 as **
  • Platform-based design from parallel C specifications
    Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 24, No. 12. (2005), pp. 1811-1826.
    by I Auge, F Petrot, F Donnet, P Gomez
    posted to no-tag by mperalta on 2008-06-03 21:07:51 as **
  • Multi-periodic process networks: Prototyping and verifying stream-processing systems
    (2002)
    by A Cohen, D Genius, A Kortebi, Z Chamski, M Duranton, P Feautrier
    posted to no-tag by mperalta on 2008-06-03 21:06:08 as **
  • Compilation from matlab to process networks realized in fpga
    (2001)
    by T Harriss, R Walke, B Kienhuis, E Depettere
    posted to no-tag by mperalta on 2008-06-03 21:04:37 as **
  • A refinement of Kahn's semantics to handle non-determinism and communication (Extended Abstract)
    (1982), pp. 111-120.
    by Back, H Mannila
    posted to no-tag by mperalta on 2008-06-03 21:03:02 as ***
  • The Semantics of a Simple Language for Parallel Programming
    (1974), pp. 471-475.
    by G Kahn
    edited by JL Rosenfeld
    posted to no-tag by mperalta on 2008-06-03 21:00:55 as ** along with 2 people and 2 groups lmorel Bluetulip TUCS-ES_Lab TUCS-KITARA_project
  • Deriving process networks from weakly dynamic applications in system-level design
    Hardware/Software Codesign and System Synthesis, 2003. First IEEE/ACM/IFIP International Conference on (2003), pp. 90-96.
    by T Stefanov, E Deprettere
    posted to no-tag by mperalta on 2008-06-03 20:50:26 as **
  • Derivation of dataflow networks for a domain specific applications
    Industrial Electronics, 1999. ISIE '99. Proceedings of the IEEE International Symposium on, Vol. 3 (1999), pp. 1478-1483 vol.3.
    by G Garcea
    posted to no-tag by mperalta on 2008-06-03 20:48:17 as ***
  • Dataflow process networks
    Proceedings of the IEEE, Vol. 83, No. 5. (1995), pp. 773-801.
    by EA Lee, TM Parks
    posted to no-tag by mperalta on 2008-06-03 20:47:34 as *** along with 3 people and 1 group carueda cerkut brady contact-id
  • Context-aware process networks
    Application-Specific Systems, Architectures, and Processors, 2003. Proceedings. IEEE International Conference on (2003), pp. 6-16.
    by HW van Dijk, HJ Sips, Ed Deprettere
    posted to no-tag by mperalta on 2008-06-03 20:41:47 as **
  • A study of computational reconfiguration in a process network
    (2000)
    by D Webb, A Wendelborn, J Vayssiere
    posted to no-tag by mperalta on 2008-06-03 20:40:45 as ***
  • Communication synthesis in a multiprocessor environment
    Field Programmable Logic and Applications, 2005. International Conference on (2005), pp. 360-365.
    by C Zissulescu, B Kienhuis, E Deprettere
    posted to no-tag by mperalta on 2008-06-03 20:39:45 as ***
  • Automatic partitioning and mapping of stream-based applications onto the Intel IXP Network processor
    (2007), pp. 23-30.
    by Sjoerd Meijer, Bart Kienhuis, Johan Walters, David Snuijf
    posted to no-tag by mperalta on 2008-06-03 20:38:22 as **
  • Projection of the Array-OL specification language onto the Kahn process network computation model
    Parallel Architectures,Algorithms and Networks, 2005. ISPAN 2005. Proceedings. 8th International Symposium on (2005), 6 pp..
    by A Amar, P Boulet, P Dumont
    posted to no-tag by mperalta on 2008-06-03 20:34:01 as ***
  • A methodology for architecture exploration of heterogeneous signal processing systems
    Signal Processing Systems, 1999. SiPS 99. 1999 IEEE Workshop on (1999), pp. 181-190.
    by P Lieverse, P van der Wolf, E Deprettere, K Vissers
    posted to no-tag by mperalta on 2008-06-03 20:32:24 as **
    • Note: You may cite this page as: 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.