Search Results - "Concurrent Programming–CSP"

Verilog HDL, powered by PLI: a suitable framework for describing and modeling asynchronous circuits at all levels of abstraction

Authors: Arash Saifhashemi Hossein Pedram The Pennsylvania State University CiteSeerX Archives

Contributors: Arash Saifhashemi Hossein Pedram The Pennsylvania State University CiteSeerX Archives

Source: http://www.cecs.uci.edu/~papers/compendium94-03/papers/2003/dac03/pdffiles/20_3.pdf.

Subject Terms: B.6.1 [Logic Design, Design Styles–Asynchronous circuits, Parallel circuits, D.1.3 [Programming Techniques, Concurrent Programming–CSP, B.6.3 [Logic Design, Design Aids– Hardware description languages, Simulation, Verilog, PLI. General Terms Design, Languages. Keywords Asynchronous circuits, CSP, CHP, PLI, Channel

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.637.5030

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.637.5030
http://www.cecs.uci.edu/~papers/compendium94-03/papers/2003/dac03/pdffiles/20_3.pdf

20.3 Verilog HDL, Powered by PLI: a Suitable Framework for Describing and Modeling Asynchronous Circuits at All Levels of Abstraction

Authors: Arash Saifhashemi Hossein Pedram The Pennsylvania State University CiteSeerX Archives

Contributors: Arash Saifhashemi Hossein Pedram The Pennsylvania State University CiteSeerX Archives

Source: http://ceit.aut.ac.ir/~pedram/Papers/Paper-DAC2003-PLI.pdf.

Subject Terms: B.6.1 [Logic Design, Design Styles–Asynchronous circuits, Parallel circuits, D.1.3 [Programming Techniques, Concurrent Programming–CSP, B.6.3 [Logic Design, Design Aids– Hardware description languages, Simulation, Verilog, PLI. General Terms Design, Languages. Keywords Asynchronous circuits, CSP, CHP, PLI, Channel

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.424.2587

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.424.2587
http://ceit.aut.ac.ir/~pedram/Papers/Paper-DAC2003-PLI.pdf

Laws of Programming: The Algebraic Unification of Theories of Concurrency.

Authors: Hoare, Tony

Source: CONCUR 2014 - Concurrency Theory; 2014, p1-6, 6p

Verilog HDL, powered by PLI: a suitable framework for describing and modeling asynchronous circuits at all levels of abstraction.

Authors: Saifhashemi, A. Pedram, H.

Source: Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451); 2003, p330-333, 4p

Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives.

Authors: Wegner, Peter Smolka, Scott A.

Source: IEEE Transactions on Software Engineering; Jul83, Vol. 9 Issue 4, p446-462, 18p, 2 Color Photographs, 2 Black and White Photographs, 2 Diagrams

Subject Terms: PROGRAMMING languages, ELECTRONIC data processing, DISTRIBUTED computing, SOFTWARE engineering, COMPUTER software, ELECTRONIC systems, COMPUTER systems

CONCUR 2014 – Concurrency Theory : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings

Authors: Paolo Baldan University of Roma "La Sapienza"

Resource Type: eBook.

Subjects: Computer science, Software engineering, Computer science—Mathematics, Mathematical statistics, Machine theory

Categories: COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Probability & Statistics / General

Mathematics of Program Construction : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings

Authors: Claude Bolduc Jules Desharnais Bechir Ktari

Resource Type: eBook.

Subjects: Software engineering, Immunology, Computer programming, Computer science, Machine theory

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science, COMPUTERS / Programming / General, MEDICAL / Immunology

Introduction to Concurrency in Programming Languages

Authors: Matthew J. Sottile Timothy G. Mattson Craig E Rasmussen

Resource Type: eBook.

Subjects: QA76.7

Categories: COMPUTERS / General, COMPUTERS / Programming / Games, COMPUTERS / Languages / General, MATHEMATICS / General

Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Authors: Michael Hanus

Resource Type: eBook.

Subjects: Logic programming--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General