440 search results - page 11 / 88 » Logicalization of communication traces from parallel executi... |
DATE
2003
IEEE
14 years 25 days ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
IPPS
2003
IEEE
14 years 24 days ago
2003
IEEE
The available Instruction Level Parallelism in Java bytecode (Java-ILP) is not readily exploitable using traditional in-order or out-of-order issue mechanisms due to dependencies ...
CONCUR
1990
Springer
13 years 11 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
IPPS
1999
IEEE
13 years 11 months ago
1999
IEEE
This work implements and analyses a highway traffic flow simulation based on continuum modeling of traffic dynamics. A traffic-flow simulation was developed and mapped onto a para...
ISPASS
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--On NVIDIA's many-core GPUs, there is no synchronization function among parallel thread blocks. When finegranularity of data communication and synchronization is requ...