Sciweavers

RSP
1999
IEEE
122views Control Systems» more  RSP 1999»
14 years 3 months ago
Incremental Compilation for Logic Emulation
Over the past decade, the steady growth rate of FPGA device capacities has enabled the development of multi-FPGA prototyping environments capable of implementing millions of logic...
Russell Tessier
RSP
1999
IEEE
131views Control Systems» more  RSP 1999»
14 years 3 months ago
Fast Prototyping: A Case Study - The JPEG Compression Algorithm
A platform and methodology for real time systems on chip prototyping is presented. The JPEG case study is presented as an example of prototyping. The proposed methodology overcome...
Sébastien Pillement, Lionel Torres, Michel ...
RSP
1999
IEEE
125views Control Systems» more  RSP 1999»
14 years 3 months ago
Extended Synchronous Dataflow for Efficient DSP System Prototyping
Though synchronous dataflow (SDF) graph has been a successful input specification language for digital signal processing (DSP) applications, lack of support for global states makes...
Chanik Park, JaeWoong Chung, Soonhoi Ha
RSP
1999
IEEE
14 years 3 months ago
System Design Validation Using Formal Models
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
Peter Henderson, Robert John Walters
RSP
1999
IEEE
160views Control Systems» more  RSP 1999»
14 years 3 months ago
Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
Oliver Bringmann, Wolfgang Rosenstiel, Annette Mut...
RSP
1999
IEEE
101views Control Systems» more  RSP 1999»
14 years 3 months ago
Model Based Multi-Level Prototyping
Ansgar Bredenfeld, Jörg Wilberg
RSP
1999
IEEE
128views Control Systems» more  RSP 1999»
14 years 3 months ago
3-D Floorplanning: Simulated Annealing and Greedy Placement Methods for Reconfigurable Computing Systems
The advances in the programmable hardware has lead to new architectures where the hardware can be dynamically adapted to the application to gain better performance. There are stil...
Kia Bazargan, Ryan Kastner, Majid Sarrafzadeh
HASE
1999
IEEE
14 years 3 months ago
Building Dependable Distributed Applications Using AQUA
Building dependable distributed systems using ad hoc methods is a challenging task. Without proper support, an application programmer must face the daunting requirement of having ...
Jennifer Ren, Michel Cukier, Paul Rubel, William H...
HASE
1999
IEEE
14 years 3 months ago
Lessons from 342 Medical Device Failures
Most complex systems today contain software, and systems failures activated by software faults can provide lessons for software development practices and software quality assuranc...
Dolores R. Wallace, D. Richard Kuhn
HASE
1999
IEEE
14 years 3 months ago
Analyzing the Real-Time Properties of a U.S. Navy Signal Processing System
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...
Steve Goddard, Kevin Jeffay