774 search results - page 134 / 155 » On Timed Alternating Simulation for Concurrent Timed Games |
HPDC
2002
IEEE
15 years 2 months ago
2002
IEEE
In high energy physics, bioinformatics, and other disciplines, we encounter applications involving numerous, loosely coupled jobs that both access and generate large data sets. So...
IEEEPACT
2000
IEEE
15 years 2 months ago
2000
IEEE
Recent research suggests that DSM clusters can benefit from parallel coherence controllers. Parallel controllers require address partitioning and synchronization to avoid handlin...
ISCC
2000
IEEE
15 years 2 months ago
2000
IEEE
With standard assumptions the routing and wavelength assignment problem (RWA) can be viewed as a Markov Decision Process (MDP). The problem, however, defies an exact solution bec...
INFOCOM
1998
IEEE
15 years 1 months ago
1998
IEEE
Memory bandwidth is frequently a limiting factor in the design of high-speed switches and routers. In this paper, we introduce a buffering scheme called ping-pong buffering, that ...
FIMH
2007
Springer
15 years 1 months ago
2007
Springer
Magnetic resonance diffusion tensor imaging (DTI) has emerged as a convenient and reliable alternative to conventional histology for characterizing the fiber structure of the myoca...