181 search results - page 3 / 37 » Symbolic system level reliability analysis |
103
click to vote
HICSS
1995
IEEE
15 years 5 months ago
1995
IEEE
In our research we are developing methodologiesand tools to permit stochastic analyses of CSP-based system specifications. In this regard, we have been developing morphismsbetween...
126
Voted
DAC
2004
ACM
16 years 2 months ago
2004
ACM
ion of Assembler Programs for Symbolic Worst Case Execution Time Analysis Tobias Schuele Tobias.Schuele@informatik.uni-kl.de Klaus Schneider Klaus.Schneider@informatik.uni-kl.de Re...
123
click to vote
ICCD
2005
IEEE
15 years 10 months ago
2005
IEEE
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
134
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
123
click to vote
DAC
2007
ACM
16 years 2 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...