12741 search results - page 269 / 2549 » Editorial and call for papers |
166
click to vote
VMCAI
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...
158
click to vote
CCGRID
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper attempts to reduce the overheads of dynamically creating and destroying the virtual environments for secure job execution. It broaches a grid architecture which we call...
124
click to vote
DATE
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper we proposes compiler-based leakage optimization strategy for on-chip scratch-pad memories (SPMs). The idea is to keep only a small set of SPM regions active at a given ...
159
click to vote
ETS
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper, complex mixed signal circuits such as SiP or SOC including several ADCs and DACs are considered. A new DFT technique is proposed allowing the test of this complete ...
150
click to vote
GLOBECOM
2006
IEEE
16 years 23 days ago
2006
IEEE
—This paper studies the blocking performance of a class of all-optical overlaid-star TDM networks using a leastcongested-path routing strategy for path selection. An analytical m...