Sciweavers

13004 search results - page 2182 / 2601
» Mining Software Data
Sort
View
FSTTCS
2008
Springer
15 years 8 months ago
Runtime Monitoring of Metric First-order Temporal Properties
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
David A. Basin, Felix Klaedtke, Samuel Müller...
ISLPED
2010
ACM
169views Hardware» more  ISLPED 2010»
15 years 7 months ago
TurboTag: lookup filtering to reduce coherence directory power
On-chip coherence directories of today's multi-core systems are not energy efficient. Coherence directories dissipate a significant fraction of their power on unnecessary loo...
Pejman Lotfi-Kamran, Michael Ferdman, Daniel Crisa...
SIGCOMM
2010
ACM
15 years 7 months ago
Scalable flow-based networking with DIFANE
Ideally, enterprise administrators could specify fine-grain policies that drive how the underlying switches forward, drop, and measure traffic. However, existing techniques for fl...
Minlan Yu, Jennifer Rexford, Michael J. Freedman, ...
154
Voted
WWW
2010
ACM
15 years 7 months ago
Protocol-aware matching of web service interfaces for adapter development
With the rapid growth in the number of online Web services, the problem of service adaptation has received significant attention. In matching and adaptation, the functional descri...
Hamid R. Motahari Nezhad, Guang Yuan Xu, Boualem B...
CISIS
2008
IEEE
15 years 7 months ago
A Study of Maximum Lifetime Routing in Sparse Sensor Networks
A major issue in wireless sensor networks is to prolong network lifetime by efficient energy management. In this paper we present an initial study of maximum lifetime routing in s...
Ewa Hansen, Mikael Nolin, Mats Björkman
« Prev « First page 2182 / 2601 Last » Next »