125
click to vote
LATIN
15 years 5 months ago
2004 Springer 
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
113
click to vote
LATIN
15 years 5 months ago
2004 Springer 
We address the problem of searching for a two-dimensional pattern in a two-dimensional text (or image), such that the pattern can be found even if it appears rotated and it is bri...
107
click to vote
LATIN
15 years 5 months ago
2004 Springer 
Time synchronization is necessary in many distributed systems, but achieving synchronization in sensornets, which combine stringent precision requirements with severe resource con...
103
click to vote
LATIN
15 years 5 months ago
2004 Springer 
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
102
click to vote
LATIN
15 years 5 months ago
2004 Springer 
Predicting and optimizing the performance of ray shooting is a very important problem in computer graphics due to the severe computational demands of ray tracing and other applicat...
|
Information Technology