3090 search results - page 580 / 618 » On Testing Answer-Set Programs |
127
click to vote
AOSD
2009
ACM
15 years 8 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
108
click to vote
HIPEAC
2009
Springer
15 years 8 months ago
2009
Springer
Process variations, which lead to timing and power variations across identically-designed components, have been identified as one of the key future design challenges by the semico...
137
click to vote
LCTRTS
2009
Springer
15 years 8 months ago
2009
Springer
Dynamic binary translation (DBT) can provide security, virtualization, resource management and other desirable services to embedded systems. Although DBT has many benefits, its r...
117
click to vote
LCTRTS
2009
Springer
15 years 8 months ago
2009
Springer
Register allocation is often a two-phase approach: spilling of registers to memory, followed by coalescing of registers. Extreme liverange splitting (i.e. live-range splitting aft...
129
click to vote
ISCA
2009
IEEE
15 years 8 months ago
2009
IEEE
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...