Sciweavers

837 search results - page 129 / 168
» codes 2000
Sort
View
DATE
2000
IEEE
140views Hardware» more  DATE 2000»
15 years 10 months ago
Resolution of Dynamic Memory Allocation and Pointers for the Behavioral Synthesis from C
-- One of the greatest challenges in C/C++-based design methodology is to efficiently map C/C++ models into hardware. Many of the networking and multimedia applications implemente...
Luc Séméria, Koichi Sato, Giovanni D...
DEXAW
2000
IEEE
92views Database» more  DEXAW 2000»
15 years 10 months ago
Consistent Queries over Cardinal Directions across Different Levels of Detail
Current models for cardinal directions, such as north and northeast, are either point-based or region-based, but no models exist that apply equally, independent of the geometric d...
Roop K. Goyal, Max J. Egenhofer
DFT
2000
IEEE
119views VLSI» more  DFT 2000»
15 years 10 months ago
An Experimental Evaluation of the Effectiveness of Automatic Rule-Based Transformations for Safety-Critical Applications
1 Over the last years, an increasing number of safety-critical tasks have been demanded to computer systems. In particular, safety-critical computer-based applications are hitting ...
Maurizio Rebaudengo, Matteo Sonza Reorda, Marco To...
DSN
2000
IEEE
15 years 10 months ago
Whither Generic Recovery from Application Faults? A Fault Study using Open-Source Software
This paper tests the hypothesis that generic recovery techniques, such as process pairs, can survive most application faults without using application-specific information. We ex...
Subhachandra Chandra, Peter M. Chen
ECRTS
2000
IEEE
15 years 10 months ago
Prototyping distributed multimedia systems using communicating real-time state machines
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
Giancarlo Fortino, Libero Nigro