Sciweavers

1523 search results - page 281 / 305
» Detecting and Sketching the Common
Sort
View
PLDI
2003
ACM
15 years 2 months ago
Linear analysis and optimization of stream programs
As more complex DSP algorithms are realized in practice, an increasing need for high-level stream abstractions that can be compiled without sacrificing efficiency. Toward this en...
Andrew A. Lamb, William Thies, Saman P. Amarasingh...
ICDT
2003
ACM
202views Database» more  ICDT 2003»
15 years 2 months ago
Condensed Representation of Database Repairs for Consistent Query Answering
Abstract. Repairing a database means bringing the database in accordance with a given set of integrity constraints by applying modifications that are as small as possible. In the ...
Jef Wijsen
WIA
2001
Springer
15 years 2 months ago
Adaptive Rule-Driven Devices - General Formulation and Case Study
A formal device is said to be adaptive whenever its behavior changes dynamically, in a direct response to its input stimuli, without interference of external agents, even its user...
João José Neto
ICCAD
2000
IEEE
119views Hardware» more  ICCAD 2000»
15 years 2 months ago
Synthesis of Operation-Centric Hardware Descriptions
Most hardware description frameworks, whether schematic or textual, use cooperating finite state machines (CFSM) as the underlying abstraction. In the CFSM framework, a designer ...
James C. Hoe, Arvind
SIGMOD
2000
ACM
158views Database» more  SIGMOD 2000»
15 years 2 months ago
NiagaraCQ: A Scalable Continuous Query System for Internet Databases
Continuous queries are persistent queries that allow users to receive new results when they become available. While continuous query systems can transform a passive web into an ac...
Jianjun Chen, David J. DeWitt, Feng Tian, Yuan Wan...