2542 search results - page 296 / 509 » One step ahead |
164
click to vote
TACAS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...
183
click to vote
VLDB
2007
ACM
16 years 24 days ago
2007
ACM
In this paper we describe the design and implementation of CellSort − a high performance distributed sort algorithm for the Cell processor. We design CellSort as a distributed b...
166
click to vote
WEA
2007
Springer
16 years 24 days ago
2007
Springer
We introduce a dynamic technique for fast route planning in large road networks. For the first time, it is possible to handle the practically relevant scenarios that arise in pres...
196
click to vote
3DPVT
2006
IEEE
16 years 23 days ago
2006
IEEE
Range sensing technology allows the photorealistic modeling of large-scale scenes, such as urban structures. The generated 3D representations, after automated registration, are us...
164
click to vote
APCSAC
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract. Bypass delays are expected to grow beyond 1ns as technology scales. These delays necessitate pipelining of bypass paths at processor frequencies above 1GHz and thus affe...