6608 search results - page 1146 / 1322 » On the Completeness of Model Checking |
148
click to vote
3DIM
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a new system for acquiring complete 3D surface models using a single structured light projector, a pair of planar mirrors, and one or more synchronized cameras...
125
click to vote
AVSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Maintenance trains travel in convoy. In Australia, only the first train of the convoy pays attention to the track signalization (the other convoy vehicles simply follow the prece...
144
click to vote
HPDC
2007
IEEE
15 years 10 months ago
2007
IEEE
Utility functions can be used to represent the value users attach to job completion as a function of turnaround time. Most previous scheduling research used simple synthetic repre...
126
click to vote
HPDC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper describes a novel approach to generate an optimized schedule to run threads on distributed shared memory (DSM) systems. The approach relies upon a binary instrumentatio...
102
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
The push method for data transmission in peer-to-peer system has drawn great interest, since it can efficiently reduce the accumulated latency observed at user nodes. However, it ...