2700 search results - page 316 / 540 » The role of abstraction in software engineering |
185
click to vote
VLSI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--Microprocessor architectures have become increasingly power limited in recent years. Currently power and thermal envelopes dictate peak performance limits more than any o...
162
click to vote
WCET
2010
15 years 4 months ago
2010
Schedulability analysis for hard real-time systems requires bounds on the execution times of its tasks. To obtain useful bounds in the presence of caches, cache analysis is mandat...
180
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
193
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
208
click to vote
AMAST
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...