21007 search results - page 3802 / 4202 » Mobile Parallel Computing |
171
click to vote
ACCV
2007
Springer
16 years 1 months ago
2007
Springer
This work achieves an efficient acquisition of scenes and their depths along long streets. A camera is mounted on a vehicle moving along a path and a sampling line properly set in ...
196
click to vote
CHES
2007
Springer
16 years 1 months ago
2007
Springer
Replay attacks are often the most costly attacks to thwart when dealing with off-chip memory integrity. With a trusted System-on-Chip, the existing countermeasures against replay r...
198
click to vote
COCOA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Many combinatorial optimization problems can be formulated as 0/1 integer programs (0/1 IPs). The investigation of the structure of these problems raises the following ta...
162
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
144
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
It is well known that bisimulation on µ-expressions cannot be finitely axiomatised in equational logic. Complete axiomatisations such as those of Milner and Bloom/´Esik necessar...