1382 search results - page 73 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
102
click to vote
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
The increasing complexity of embedded systems pushes system designers to higher levels of abstraction. Transaction Level Modeling (TLM) has been proposed to model ation in systems...
141
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
178
Voted
CSCLP
2008
Springer
15 years 3 months ago
2008
Springer
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
135
click to vote
FPL
2007
Springer
15 years 7 months ago
2007
Springer
Today’s heterogeneous embedded systems combine components from different domains, such as software, analogue hardware and digital hardware. The design and implementation of thes...
AAAI
1996
15 years 2 months ago
1996
An important problem faced by auditors is gauging how much reliance can be placed on the accounting systems that process millions of transactions to produce the numbers summarized...