8719 search results - page 1450 / 1744 » A Categorical Approach to Simulations |
193
click to vote
ICPADS
2000
IEEE
15 years 10 months ago
2000
IEEE
1 Reliable communication in cube-based multicomputers using the extended safety vector concept is studied in this paper. In our approach, each node in a cube-based multicomputer o...
185
click to vote
PACS
2000
Springer
15 years 10 months ago
2000
Springer
Power dissipation is a major concern not only for portable systems, but also for high-performance systems. In the past, energy consumption and processor heating was reduced mainly...
197
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
162
click to vote
RTCSA
2000
IEEE
15 years 10 months ago
2000
IEEE
We propose an efficient strategy for resource management for scalable QoS guaranteed real-time communication services. This strategy is based on sink trees, and is particularly we...
181
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
In this paper we present a set cover based approach (SCP) to multi-way partitioning for minimum delay for Look-Up Table based FPGAs. SCP minimizes the number of chip-crossings on ...