748 search results - page 121 / 150 » concurrency 2008 |
160
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
139
click to vote
APSEC
2008
IEEE
16 years 20 days ago
2008
IEEE
Design and development scalability, in any engineering, requires information hiding and a specific composition mechanism in which composite items are made-up of other items. This ...
170
click to vote
CCGRID
2008
IEEE
16 years 20 days ago
2008
IEEE
The advances in multicore technology and modern interconnects is rapidly accelerating the number of cores deployed in today’s commodity clusters. A majority of parallel applicat...
162
click to vote
CDC
2008
IEEE
16 years 20 days ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
159
click to vote
CLUSTER
2008
IEEE
16 years 20 days ago
2008
IEEE
—Multiple processors or multi-core CPUs are now in common, and the number of processes running concurrently is increasing in a cluster. Each process issues contiguous I/O request...