3925 search results - page 557 / 785 » Measuring software evolution |
132
click to vote
RTSS
2008
IEEE
15 years 9 months ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
114
Voted
AI
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. In the context of the RoboCup Simulation League, we describe a new representation of a software agent’s visual perception (“scene”), well suited for case-based reas...
103
click to vote
INFOCOM
2007
IEEE
15 years 9 months ago
2007
IEEE
— It has been observed that different IEEE 802.11 commercial cards produced by different vendors experience different performance, either when accessing alone the channel, as wel...
114
Voted
FOSSACS
2007
Springer
15 years 9 months ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...
107
Voted
IPSN
2007
Springer
15 years 9 months ago
2007
Springer
We present SPOT, a scalable power observation tool that enables in situ measurement of nodal power and energy over a dynamic range exceeding four decades or a temporal resolution ...