7189 search results - page 1260 / 1438 » Connecting Design with Code |
123
click to vote
STTT
2010
15 years 2 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
140
click to vote
TCOM
2010
15 years 2 months ago
2010
—This paper analyzes the quality of service (QoS) of scheduling algorithms for heterogeneous users in multiuser (MU) wireless systems that take advantage from a crosslayer design...
166
click to vote
WIOPT
2010
IEEE
15 years 2 months ago
2010
IEEE
—The nodes in wireless sensor networks often collect correlated measurements. Not taking into account this information redundancy is detrimental to the network lifetime, since co...
150
click to vote
CASES
2010
ACM
15 years 2 months ago
2010
ACM
Unobtrusive capturing of program execution traces in real-time is crucial in debugging cyber-physical systems. However, tracing even limited program segments is often cost-prohibi...
148
Voted
GLOBECOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Distributed and peer-to-peer storage systems are foreseen as an alternative to the traditional data centers and in-house backup solutions. In the past few years many peerto-peer st...