Sciweavers

26151 search results - page 235 / 5231
» Parameterized system design
Sort
View
DFT
2005
IEEE
110views VLSI» more  DFT 2005»
16 years 6 days ago
A design flow for protecting FPGA-based systems against single event upsets
SRAM-based Field Programmable Gate Arrays (FPGAs) are very susceptible to Single Event Upsets (SEUs) that may have dramatic effects on the circuits they implement. In this paper w...
Luca Sterpone, Massimo Violante
DATE
2000
IEEE
92views Hardware» more  DATE 2000»
15 years 11 months ago
Standards for System-Level Design: Practical Reality or Solution in Search of a Question?
: We address the issue of standards development for the system-level design space. System-level design IP re-use standards are key to the future of the VSIA. However, the concept o...
Christopher K. Lennard, Patrick Schaumont, Gjalt G...
CDC
2008
IEEE
108views Control Systems» more  CDC 2008»
16 years 1 months ago
On the state-space design of optimal controllers for distributed systems with finite communication speed
— We consider the problem of designing optimal distributed controllers whose impulse response has limited propagation speed. We introduce a state-space framework in which such co...
Makan Fardad, Mihailo R. Jovanovic
EMSOFT
2005
Springer
16 years 4 days ago
Using separation of concerns for embedded systems design
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
Ethan K. Jackson, Janos Sztipanovits
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 11 months ago
A Formal Framework for Modular Synchronous System Design
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
Maria-Cristina V. Marinescu, Martin C. Rinard