2853 search results - page 239 / 571 » On the Efficiency of Provenance Queries |
172
click to vote
DFT
2005
IEEE
16 years 7 days ago
2005
IEEE
The present paper proposes a new method for detecting arbitrary faults in a functional circuit when the set of codewords is limited and known in advance. The method is based on im...
190
click to vote
ISORC
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper proposes a new method for programming and controlling distributed tasks. Applications declare behavior patterns that are used to automatically predict and reserve resou...
151
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Software standards are highly recommended because they promise faster and more efficient ways for software development with proven techniques and standard notations. Designers who...
222
click to vote
APLAS
2007
ACM
2007
ACM
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer
15 years 10 months ago
We rationally reconstruct the core of the Coccinelle system, used for automating and documenting collateral evolutions in Linux device drivers. A denotational semantics of the syst...
170
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...