4067 search results - page 361 / 814 » Programs for Applying Symmetries |
173
click to vote
ESOP
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...
217
Voted
DFT
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a new compression/decompression methodology for using an embedded processor to test the other components of a system-on-a-chip (SoC). The deterministic test v...
198
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
Past research on software comprehension tools has produced a wealth of lessons in building good tools. However our explanations of these tools tends to be weakly grounded in exist...
150
click to vote
ACISICIS
2009
IEEE
15 years 11 months ago
2009
IEEE
Grammars, especially context-free grammars, are widely used within and even outside the field of computer science. In this paper, we present a systematic framework for grammar te...
181
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
In the multicore era, sequential programs need to be refactored for parallelism. The next version of Java provides ParallelArray, an array datastructure that supports parallel ope...