15840 search results - page 2617 / 3168 » The Control of Synchronous Systems |
234
click to vote
3DIC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— Networks-on-chip (NoC) is emerging as a key onchip communication architecture for multiprocessor systemson-chip (MPSoC). In traditional electronic NoCs, high bandwidth ...
203
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
183
click to vote
ICWS
2009
IEEE
16 years 4 months ago
2009
IEEE
Advances in the areas of embedded systems, computing, and networking are leading to an infrastructure composed of millions of heterogeneous devices. These devices will not simply ...
206
click to vote
DSD
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Verification of application requirements is becoming a bottleneck in system-on-chip design, as the number of applications grows. Traditionally, the verification comple...
187
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
This paper details the implementation of a software framework that aids the development of distributed and self-configurable software systems. This framework is an instance of a n...