Sciweavers

346 search results - page 26 / 70
» Approximating Behaviors in Embedded System Design
Sort
View
JTRES
2010
ACM
14 years 9 months ago
Static checking of safety critical Java annotations
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
Daniel Tang, Ales Plsek, Jan Vitek
GLVLSI
2010
IEEE
164views VLSI» more  GLVLSI 2010»
15 years 2 months ago
Performance and energy trade-offs analysis of L2 on-chip cache architectures for embedded MPSoCs
On-chip memory organization is one of the most important aspects that can influence the overall system behavior in multiprocessor systems. Following the trend set by high-perform...
Mohamed M. Sabry, Martino Ruggiero, Pablo Garcia D...
ICCAD
2001
IEEE
107views Hardware» more  ICCAD 2001»
15 years 6 months ago
A Convex Programming Approach to Positive Real Rational Approximation
As system integration evolves and tighter design constraints must be met, it becomes necessary to account for the non-ideal behavior of all the elements in a system. Certain devic...
Carlos P. Coelho, Joel R. Phillips, Luis Miguel Si...
VLSID
2003
IEEE
253views VLSI» more  VLSID 2003»
15 years 10 months ago
High Level Synthesis from Sim-nML Processor Models
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...
Souvik Basu, Rajat Moona
109
Voted
IPPS
2005
IEEE
15 years 3 months ago
End-to-End Quality of Service Management for Distributed Real-Time Embedded Applications
Many of the world’s most critical systems are distributed real-time embedded (DRE) systems, with missioncritical quality of service (QoS) requirements. However, because of their...
Prakash Manghwani, Joseph P. Loyall, Praveen Kaush...