4451 search results - page 310 / 891 » Continuous model synthesis |
160
click to vote
VLDB
2004
ACM
16 years 1 days ago
2004
ACM
We study the fundamental limitations of relational algebra (RA) and SQL in supporting sequence and stream queries, and present effective query language and data model enrichments ...
183
click to vote
CIDR
2007
15 years 8 months ago
2007
Wireless sensor networks are poised to enable continuous data collection on unprecedented scales, in terms of area location and size, and frequency. This is a great boon to field...
163
click to vote
ICDCS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we focus on automated techniques to enhance the fault-tolerance of a nonmasking fault-tolerant program to masking. A masking program continually satisfies its spec...
185
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We propose a novel theoretical biomolecular design to implement any Boolean circuit using the mechanism of DNA strand displacement. The design is scalable: all species of DNA stra...
191
click to vote
PLDI
2005
ACM
16 years 7 days ago
2005
ACM
Reuse of existing code from class libraries and frameworks is often difficult because APIs are complex and the client code required to use the APIs can be hard to write. We obser...