1192 search results - page 141 / 239 » Symbolic Query Exploration |
119
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Early power analysis for systems-on-chip (SoC) is crucial for determining the appropriate packaging and cost. This early analysis commonly relies on evaluating power formulas for ...
181
Voted
VLSID
2007
IEEE
16 years 3 months ago
2007
IEEE
We present AHIR, an intermediate representation (IR), that acts as a transition layer between software compilation and hardware synthesis. Such a transition layer is intended to t...
122
Voted
DCC
2002
IEEE
16 years 2 months ago
2002
IEEE
With the emergence of software delivery platforms such as Microsoft's .NET, code compression has become one of the core enabling technologies strongly affecting system perfor...
125
click to vote
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper presents a system-level design methodology for networked embedded systems that exploits existing data-redundancy to increase their reliability. The presented approach n...
116
click to vote
IWPC
2009
IEEE
15 years 10 months ago
2009
IEEE
A common static software bug detection technique is to use path simulation. Each execution path is simulated using symbolic variables to determine if any software errors could occ...