Sciweavers

3365 search results - page 296 / 673
» Digital System Design: Architectures, Methods and Tools
Sort
View
DAC
2002
ACM
16 years 7 months ago
Retargetable binary utilities
Since software is playing an increasingly important role in systemon-chip, retargetable compilation has been an active research area in the last few years. However, the retargetti...
Maghsoud Abbaspour, Jianwen Zhu
CAV
1999
Springer
92views Hardware» more  CAV 1999»
15 years 11 months ago
Latency Insensitive Protocols
The theory of latency insensitive design is presented as the foundation of a new correct by construction methodology to design very large digital systems by assembling blocks of In...
Luca P. Carloni, Kenneth L. McMillan, Alberto L. S...
SPIN
2010
Springer
15 years 5 months ago
Automatic Generation of Model Checking Scripts Based on Environment Modeling
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
Kenro Yatake, Toshiaki Aoki
CPHYSICS
2006
95views more  CPHYSICS 2006»
15 years 6 months ago
Multibillion-atom molecular dynamics simulation: Design considerations for vector-parallel processing
Progress in adapting molecular dynamics algorithms for systems with short-range interactions to utilize the features of modern supercomputers is described. Efficient utilization o...
D. C. Rapaport
WSCG
2000
93views more  WSCG 2000»
15 years 8 months ago
The Design and Application of High-Resolution 3D Stereoscopic Graphics Display on PC
This paper describes methods and procedures for real-time rendering of high-resolution 3D stereoscopic graphics using an improved 3D OpenGL accelerator on PC platform. The hardwar...
Duoduo Liao