1540 search results - page 61 / 308 » Embedded Systems Resources: Views on Modeling and Analysis |
146
Voted
ICONS
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
103
Voted
ISORC
2007
IEEE
15 years 10 months ago
2007
IEEE
In object-oriented real-time computing scenarios, particularly where Corba is used in embedded systems with resource constraints, developers and system architects often utilize Co...
141
Voted
ICDE
2010
IEEE
16 years 3 months ago
2010
IEEE
We address the problem of updating XML views over relational data by translating view updates expressed in the XQuery update facility to embedded SQL updates. Although our XML view...
137
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
Compositional Scheduling Analysis couples local scheduling analysis via event streams. While local analysis has successfully been extended to include hierarchical scheduling strat...
128
Voted
IAT
2007
IEEE
15 years 10 months ago
2007
IEEE
Policy making is a multi-actor process: it involves a variety of actors, each trying to further their own interests. How these actors decide and act largely depends on the way the...