7785 search results - page 566 / 1557 » The Concept of Dynamic Analysis |
206
click to vote
ICONS
2008
IEEE
16 years 1 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 ...
182
click to vote
MUE
2007
IEEE
16 years 1 months ago
2007
IEEE
Recently, communication, digital music creation, and computer storage technology has led to the dynamic increasing of online music repositories in both number and size, where auto...
220
Voted
RTSS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper focuses on scheduling different hard real-time applications on a uniprocessor when the earliest deadline first algorithm is used as the local scheduler, and the global ...
183
Voted
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
In this work we present the design principles of a wearable positioning system for users in unprepared indoor environments. We describe the most suitable technology for our applica...
198
Voted
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...