1938 search results - page 74 / 388 » Dependable Software |
125
Voted
NJC
2006
15 years 2 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
114
click to vote
DSN
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper tests the hypothesis that generic recovery techniques, such as process pairs, can survive most application faults without using application-specific information. We ex...
119
Voted
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
- Exceptionally leaky transistors are increasingly more frequent in nano-scale technologies due to lower threshold voltage and its increased variation. Such leaky transistors may e...
118
Voted
DEBS
2008
ACM
15 years 4 months ago
2008
ACM
In event stream applications, events flow through a network of components that perform various types of operations, e.g., filtering, aggregation, transformation. When the operatio...
107
Voted
ANLP
1997
15 years 4 months ago
1997
We present a tool developed for annotating corpora with argument structure representations. The presentation focuses on the architecture of the annotation scheme and a number of t...