Sciweavers

4325 search results - page 346 / 865
» Incremental computation with names
Sort
View
VLDB
2005
ACM
151views Database» more  VLDB 2005»
16 years 9 days ago
On Map-Matching Vehicle Tracking Data
Vehicle tracking data is an essential “raw” material for a broad range of applications such as traffic management and control, routing, and navigation. An important issue with...
Sotiris Brakatsoulas, Dieter Pfoser, Randall Salas...
ASPDAC
2004
ACM
79views Hardware» more  ASPDAC 2004»
16 years 8 days ago
Preserving synchronizing sequences of sequential circuits after retiming
Abstract We propose a novel approach to preserve the synchronizing sequences of a circuit after retiming. The significance of this problem stems from the necessity of maintaining c...
Maher N. Mneimneh, Karem A. Sakallah, John Moondan...
ASPLOS
2004
ACM
16 years 8 days ago
Programming with transactional coherence and consistency (TCC)
Transactional Coherence and Consistency (TCC) offers a way to simplify parallel programming by executing all code within transactions. In TCC systems, transactions serve as the fu...
Lance Hammond, Brian D. Carlstrom, Vicky Wong, Ben...
SIGCOMM
2004
ACM
16 years 8 days ago
SPV: secure path vector routing for securing BGP
As our economy and critical infrastructure increasingly relies on the Internet, the insecurity of the underlying border gateway routing protocol (BGP) stands out as the Achilles h...
Yih-Chun Hu, Adrian Perrig, Marvin A. Sirbu
CC
2004
Springer
115views System Software» more  CC 2004»
16 years 7 days ago
Periodic Polyhedra
This paper presents a new method for computing the integer hull of a parameterized rational polyhedron by introducing the concept of periodic polyhedron. Besides concerning general...
Benoît Meister