2500 search results - page 30 / 500 » Specifying Behavior in C |
MEMOCODE
2003
IEEE
14 years 2 months 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...
DAGSTUHL
2006
13 years 10 months ago
2006
Proposed text to specify an interval class in the C++ standard library, with justification and background. Contents I Motivation and Scope 3 II Foundations 3 IIIImpact on the Stan...
ICAI
2003
13 years 10 months ago
2003
– Existing team training software often requires that trainees be organized as physical teams and the members of the same team be trained at the same time. To demonstrate that te...
ISCAS
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract — Mapping applications onto different networks-onchip (NoCs) topologies is done by mapping processing cores on local ports of routers considering requirements like laten...
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
To cope with the increasing demand for higher computational power and flexibility, dynamically reconfigurable blocks become an important part inside a system-on-chip. Several meth...