15635 search results - page 3034 / 3127 » Modelling and Design of VAML |
144
click to vote
ESA
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Data sets in large applications are often too massive to t completely inside the computer's internal memory. The resulting input output communication or I O between ...
140
click to vote
POPL
2000
ACM
15 years 8 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
170
click to vote
ICCAD
1997
IEEE
15 years 8 months ago
1997
IEEE
The relentless push for high performance in custom digital circuits has led to renewed emphasis on circuit optimization or tuning. The parameters of the optimization are typically...
157
click to vote
ACMACE
2009
ACM
15 years 7 months ago
2009
ACM
Nowadays, video games propose rich scenarios with movementsbased game play, through the manipulation of dedicated devices. The motivation of this study is the elaboration of a com...
118
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
Networks-on-chip (NoCs) are becoming increasingly important in general-purpose and application-specific multi-core designs. Although uniform router configurations are appropriate ...