Sciweavers

1456 search results - page 43 / 292
» DYANA: An Environment for Embedded System Design and Analysi...
Sort
View
DAC
1998
ACM
16 years 7 months ago
Rate Derivation and Its Applications to Reactive, Real-Time Embedded Systems
An embedded system the system continuously interacts with its environment under strict timing constraints, called the external constraints, and it is important to know how these e...
Ali Dasdan, Dinesh Ramanathan, Rajesh K. Gupta
APLAS
2005
ACM
15 years 12 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
DAC
1999
ACM
16 years 7 months ago
Representation of Function Variants for Embedded System Optimization and Synthesis
Many embedded systems are implemented with a set of alternative function variants to adapt the system to different applications or environments. This paper proposes a novel approa...
Dirk Ziegenbein, Jürgen Teich, Kai Richter, L...
RSP
2003
IEEE
111views Control Systems» more  RSP 2003»
15 years 11 months ago
Exploring the Probabilistic Design Space of Multimedia Systems
In this paper, we propose the novel concept of probabilistic design for multimedia systems and a methodology to quickly explore such design space at an early design stage. The pro...
Shaoxiong Hua, Gang Qu, Shuvra S. Bhattacharyya
ECCE
2007
15 years 8 months ago
Design of argument diagramming for case-based group learning
Argument diagramming tools can improve reasoning and learning. They are likely to have a significant place in future virtual learning environments whose design will be dominated b...
John Dowell, Thomas Gladisch