119 search results - page 16 / 24 » Synchronization abstraction in the BETA programming language |
ERSA
2006
13 years 9 months ago
2006
In this paper we first outline and discuss the issues of currently accepted computational models for hybrid CPU/FPGA systems. Then, we discuss the need for researchers to develop ...
PDPTA
2007
13 years 9 months ago
2007
Abstract Trickle is a an extension to the Python programming language that provides explicit but simple mechanisms to write distributed scripts and programs. Trickle links together...
APLAS
2005
ACM
14 years 1 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
DAC
1998
ACM
14 years 8 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
MEMOCODE
2003
IEEE
14 years 27 days ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...