7393 search results - page 1134 / 1479 » Synthesis-for-testability using transformations |
128
click to vote
DEBS
2008
ACM
15 years 6 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...
160
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
143
click to vote
AGI
2008
15 years 6 months ago
2008
: Indefinite probabilities are a novel technique for quantifying uncertainty, which were created as part of the PLN (Probabilistic Logic Networks) logical inference engine, which i...
153
click to vote
AVI
2010
15 years 6 months ago
2010
In this paper, we discuss a method and the associated tool support able to exploit Web services in model-based user interface development, starting with the results of a task anal...
122
click to vote
CIDR
2007
15 years 6 months ago
2007
This paper introduces the CondorJ2 cluster management system. Traditionally, cluster management systems such as Condor employ a process-oriented approach with little or no use of ...