2013 search results - page 100 / 403 » Analysis and Design Techniques for Service-Oriented Developm... |
146
click to vote
PARA
2004
Springer
15 years 11 months ago
2004
Springer
Radio-frequency (RF) MEMS resonators, integrated into CMOS chips, are of great interest to engineers planning the next generation of communication systems. Fast simulations are nec...
147
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Static worst-case execution time (WCET) analysis is done by modeling the hardware behavior. In this paper we describe a WCET analysis technique to analyze systems with function ca...
197
click to vote
QOSA
2010
Springer
15 years 9 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
202
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
161
click to vote
FORTE
2004
15 years 7 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...