1228 search results - page 102 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
148
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
Accurate modeling of delay, power, and area of interconnections early in the design phase is crucial for effective system-level optimization. Models presently used in system-level...
174
click to vote
IMC
2010
ACM
15 years 4 months ago
2010
ACM
Large scale active measurement of the Internet requires appropriate software support. The better tools that we have for executing consistent and systematic measurements, the more ...
145
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
As semantic web technologies are increasingly used to empower knowledge management systems (KMSs), there is a growing need for mechanisms and automated tools for checking content ...
163
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Design and validation of mixed-signal integrated systems require evel model abstractions. Generalized Volterra series based models have been successfully applied for analog and RF...
148
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
This paper describes RacerX, a static tool that uses flowsensitive, interprocedural analysis to detect both race conditions and deadlocks. It is explicitly designed to find erro...