3765 search results - page 679 / 753 » Formal Methods for Systems Engineering Behavior Models |
156
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
118
click to vote
DAC
2006
ACM
16 years 3 months ago
2006
ACM
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...
113
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
Generative programming and aspect-oriented software development have been proposed over the last years aiming at increasing maintainability and reusability of software systems. Wh...
109
click to vote
CN
2006
15 years 2 months ago
2006
Simulation has been the method of choice for analyzing large, complex, and highly volatile systems. One of these systems is the inter-domain routing infrastructure of the Internet...
134
click to vote
RTSS
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...