1757 search results - page 312 / 352 » Alternating Refinement Relations |
162
click to vote
SCVMA
2004
Springer
15 years 5 months ago
2004
Springer
3D-model-based tracking offers one possibility to explicate the manner in which spatial coherence can be exploited for the analysis of image sequences. Two seemingly different ap...
94
Voted
SPIN
2004
Springer
15 years 5 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
117
click to vote
CODES
2003
IEEE
15 years 5 months ago
2003
IEEE
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...
103
Voted
IV
2003
IEEE
15 years 5 months ago
2003
IEEE
The paper begins with a response to the nature of contemporary artists relationships to how computers have permeated the fine art domain and how they affect the creative process. ...
113
Voted
MICRO
2003
IEEE
15 years 5 months ago
2003
IEEE
Silicon technology will continue to provide an exponential increase in the availability of raw transistors. Effectively translating this resource into application performance, how...