166 search results - page 16 / 34 » An Intermediate Expressions' Generator System in the MPEG-4 ... |
SAMOS
2004
Springer
14 years 22 days ago
2004
Springer
In this paper we present a new approach for generating high-speed optimized event-driven register transfer level (RTL) compiled simulators. The generation of the simulators is part...
SCAM
2006
IEEE
14 years 1 months ago
2006
IEEE
An approach for factoring source-code differences is presented. A single large difference between two versions of a program is decomposed into factors (i.e., smaller changes). The...
DILS
2006
Springer
13 years 11 months ago
2006
Springer
Scientific experiments are becoming increasingly large and complex, with a commensurate increase in the amount and complexity of data generated. Data, both intermediate and final r...
FATES
2003
Springer
14 years 18 days ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
RTSS
1999
IEEE
13 years 11 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...