1054 search results - page 178 / 211 » Translation Validation of System Abstractions |
249
click to vote
ICDE
2008
IEEE
16 years 6 months ago
2008
IEEE
Abstract-- The inherent uncertainty of data present in numerous applications such as sensor databases, text annotations, and information retrieval motivate the need to handle impre...
232
click to vote
VLDB
2008
ACM
16 years 5 months ago
2008
ACM
Abstract In this paper we propose an extensible architecture for database engines where satellite databases are used to scale out and implement additional functionality for a centr...
158
click to vote
ICCAD
2002
IEEE
16 years 2 months ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
130
click to vote
LATIN
2010
Springer
15 years 12 months ago
2010
Springer
Abstract The LLL algorithm aims at finding a “reduced” basis of a Euclidean lattice. The LLL algorithm plays a primary role in many areas of mathematics and computer science. ...
124
click to vote
ICSE
2009
IEEE-ACM
15 years 12 months ago
2009
IEEE-ACM
Within the field of software repository mining, it is common practice to extract change-events from source control systems and then abstract these events to allow for different a...