2205 search results - page 214 / 441 » Mutation Operators for Specifications |
185
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
We present optimization techniques for high level equational programs that are generalizations of affine control loops (ACLs). Significant parts of the SpecFP and PerfectClub benc...
96
Voted
PERCOM
2007
ACM
16 years 2 months ago
2007
ACM
The components of a context-aware system can often become disconnected because of the dynamic environments within which they are deployed. Hoarding context information on the clie...
117
Voted
EWSN
2006
Springer
16 years 2 months ago
2006
Springer
Many applications of wireless ad hoc sensor and actuator networks (WSANs) rely on the knowledge of node locations. These are challenging to obtain when nodes are mobile and are not...
142
Voted
ICCD
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper proposes a stochastic dynamic thermal management (DTM) technique in high-performance VLSI system with especial attention to the uncertainty in temperature observation. ...
118
Voted
STACS
2010
Springer
15 years 9 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...