1585 search results - page 279 / 317 » A framework for computer-aided validation |
EDBT
2010
ACM
15 years 5 months ago
2010
ACM
The wide availability of commodity multi-core systems presents an opportunity to address the latency issues that have plaqued XML query processing. However, simply executing multi...
101
click to vote
ICRA
2002
IEEE
15 years 4 months ago
2002
IEEE
—This article describes a rigorous and complete framework for the simultaneous localization and map building problem for mobile robots: the symmetries and perturbations map (SPma...
118
click to vote
FCCM
1997
IEEE
15 years 4 months ago
1997
IEEE
The RAW benchmark suite consists of twelve programs designed to facilitate comparing, validating, and improving reconfigurable computing systems. These benchmarks run the gamut o...
124
click to vote
IWAN
2000
Springer
15 years 3 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...
104
click to vote
DASFAA
2009
IEEE
15 years 3 months ago
2009
IEEE
—Database security has become a vital issue in modern Web applications. Critical business data in databases is an evident target for attack. Therefore, ensuring the confidentiali...