2500 search results - page 164 / 500 » Specifying Behavior in C |
128
Voted
JOT
2010
15 years 1 months ago
2010
In self-adaptive systems components are dynamically modified according to the execution environment requirement, where each component is a probable point of failure. Existing appr...
117
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
115
Voted
TIP
2011
14 years 10 months ago
2011
— Today’s spectral reflection prediction models are able to predict the reflection spectra of printed color images with an accuracy as high as the reproduction variability allo...
157
Voted
TII
2010
14 years 10 months ago
2010
Abstract--Real-time systems are subject to temporal constraints and require a schedulability analysis to ensure that task execution finishes within lower and upper specified bounds...
105
Voted
CAV
2012
Springer
13 years 6 months ago
2012
Springer
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...