921 search results - page 165 / 185 » On Interleaving in Timed Automata |
DAMON
2009
Springer
15 years 6 months ago
2009
Springer
Database processes must be cache-efficient to effectively utilize modern hardware. In this paper, we analyze the importance of temporal locality and the resultant cache behavior ...
CP
2004
Springer
15 years 5 months ago
2004
Springer
In real-life temporal scenarios, uncertainty and preferences are often essential, coexisting aspects. We present a formalism where temporal constraints with both preferences and un...
104
Voted
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
The basic networking unit in Bluetooth is piconet, and a larger-area Bluetooth network can be formed by multiple piconets, called scatternet. However, the structure of scatternets...
VISUALIZATION
1999
IEEE
15 years 4 months ago
1999
IEEE
We present a method for compressing non-manifold polygonal meshes, i.e., polygonal meshes with singularities, which occur very frequently in the real-world. Most efficient polygon...
126
click to vote
COMPGEOM
2004
ACM
15 years 3 months ago
2004
ACM
We introduce a new approach to the problem of collision detection between a rotating milling-cutter of an NC-machine and a model of a solid workpiece, as the rotating cutter conti...