7393 search results - page 1246 / 1479 » Synthesis-for-testability using transformations |
ISPD
1997
ACM
15 years 8 months ago
1997
ACM
In a typical VLSI/PCB design, some modules are pre-placed in advance, and the other modules are requested to be placed without overlap with these pre-placed modules. The presence ...
127
click to vote
ICLP
1997
Springer
15 years 7 months ago
1997
Springer
We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at leas...
134
click to vote
PODC
1996
ACM
15 years 7 months ago
1996
ACM
We address the problem of the impossibility of implementing synchronous fault-tolerant service specifications in asynchronous distributed systems. We introduce a method for weaken...
112
click to vote
SIGMOD
1996
ACM
15 years 7 months ago
1996
ACM
Detecting and representing changes to data is important for active databases, data warehousing, view maintenance, and version and configuration management. Most previous work in c...
138
Voted
CONCUR
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...