748 search results - page 121 / 150 » concurrency 2008 |
105
Voted
ICCAD
2008
IEEE
15 years 9 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...
APSEC
2008
IEEE
15 years 7 months 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 ...
114
Voted
CCGRID
2008
IEEE
15 years 7 months 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...
CDC
2008
IEEE
15 years 7 months 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...
CLUSTER
2008
IEEE
15 years 7 months 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...