4725 search results - page 473 / 945 » Dynamic Architecture Extraction |
166
click to vote
DAC
1998
ACM
15 years 11 months ago
1998
ACM
The di culty of embedded system co-design is increasing rapidly due to the increasing complexity of individual parts, the variety of parts available and pressure to use multiple p...
192
click to vote
CCS
1998
ACM
15 years 11 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
151
click to vote
DAC
1994
ACM
15 years 11 months ago
1994
ACM
- This paper presents a placement-driven technology mapping procedure based on fuzzy delay curves. The fuzziness has been introduced to deal with the inherent vagueness in wiring l...
175
click to vote
DAC
1994
ACM
15 years 11 months ago
1994
ACM
Multi-dimensional(MD) systems are widely used in scienti c applications such as image processing, geophysical signal processing and
uid dynamics. Earlier scheduling methods in syn...
180
click to vote
HPTS
1993
15 years 11 months ago
1993
System developments and research on parallel query processing have concentrated either on "Shared Everything" or "Shared Nothing" architectures so far. While t...