Sciweavers

6293 search results - page 343 / 1259
» Information Flow Testing
Sort
View
DAMON
2008
Springer
15 years 6 months ago
DSM vs. NSM: CPU performance tradeoffs in block-oriented query processing
Comparisons between the merits of row-wise storage (NSM) and columnar storage (DSM) are typically made with respect to the persistent storage layer of database systems. In this pa...
Marcin Zukowski, Niels Nes, Peter A. Boncz
DCOSS
2008
Springer
15 years 6 months ago
On the Urban Connectivity of Vehicular Sensor Networks
Abstract. Aiming at a realistic mobile connectivity model for vehicular sensor networks in urban environments, we propose the combination of large-scale traffic simulation and comp...
Hugo Conceição, Michel Ferreira, Jo&...
134
Voted
AI
2008
Springer
15 years 5 months ago
Pouring liquids: A study in commonsense physical reasoning
This paper presents a theory that supports commonsense, qualitative reasoning about the flow of liquid around slowly moving solid objects; specifically, inferring that liquid can ...
Ernest Davis
ENTCS
2008
125views more  ENTCS 2008»
15 years 4 months ago
Quantum Arrows in Haskell
We argue that a realistic model for quantum computations should be general with respect to measurements, and complete with respect to the information flow between the quantum and ...
Juliana Kaizer Vizzotto, Antônio Carlos da R...
ENTCS
2006
113views more  ENTCS 2006»
15 years 4 months ago
The Role of Back-Pressure in Implementing Latency-Insensitive Systems
Back-pressure is a logical mechanism to control the flow of information on a communication channel of a latency-insensitive system (LIS) while guaranteeing that no packet is lost....
Luca P. Carloni