7393 search results - page 337 / 1479 » Synthesis-for-testability using transformations |
116
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper explores the correlation of instruction counts and cache misses to runtime performance for a large family of divide and conquer algorithms to compute the Walsh–Hadama...
136
click to vote
POPL
2003
ACM
15 years 10 months ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
130
click to vote
DCC
2000
IEEE
15 years 9 months ago
2000
IEEE
We introduce a new image compression algorithm that allows progressive image reconstruction – both in resolution and in fidelity, with a fully embedded bitstream. The algorithm ...
123
click to vote
ECOOP
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Our research group has analyzed many industrial, frameworkbased applications. In these applications, simple functionality often requires excessive runtime activity. It is...
158
click to vote
EDOC
2008
IEEE
15 years 6 months ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...