2278 search results - page 65 / 456 » Specification Techniques for Automatic Performance Analysis ... |
DAC
1995
ACM
15 years 2 months ago
1995
ACM
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
KBSE
2003
IEEE
15 years 4 months ago
2003
IEEE
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternativ...
108
click to vote
AVSS
2008
IEEE
15 years 5 months ago
2008
IEEE
Visual surveillance in outdoor environments requires the monitoring of both objects and events. The analysis is generally driven by the target application which, in turn, determin...
113
click to vote
FMCAD
2008
Springer
15 years 26 days ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
CLEF
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we will describe Berkeley's approach to the Domain Specific (DS) track for CLEF 2006. This year we are not using the tools for thesaurus-based query expansion a...