3656 search results - page 627 / 732 » Parallel programming in Split-C |
144
click to vote
ACTA
2004
15 years 6 months ago
2004
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
148
click to vote
JUCS
2000
15 years 6 months ago
2000
: Since the era of vector and pipelined computing, the computational speed is limited by the memory access time. Faster caches and more cache levels are used to bridge the growing ...
172
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
205
click to vote
LCTRTS
2010
Springer
15 years 4 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
190
click to vote
JSA
2010
15 years 1 months ago
2010
During the past few years, embedded digital systems have been requested to provide a huge amount of processing power and functionality. A very likely foreseeable step to pursue th...