384 search results - page 71 / 77 » Automatic framework generation for hard real-time applicatio... |
176
click to vote
POPL
2005
ACM
15 years 9 months ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
IPSN
2004
Springer
15 years 2 months ago
2004
Springer
Automatic self-calibration of ad-hoc sensor networks is a critical need for their use in military or civilian applications. In general, self-calibration involves the combination o...
KDD
2009
ACM
15 years 10 months ago
2009
ACM
All Netflix Prize algorithms proposed so far are prohibitively costly for large-scale production systems. In this paper, we describe an efficient dataflow implementation of a coll...
110
click to vote
MOBISYS
2008
ACM
15 years 9 months ago
2008
ACM
A novel behavioral detection framework is proposed to detect mobile worms, viruses and Trojans, instead of the signature-based solutions currently available for use in mobile devi...
PIMRC
2008
IEEE
15 years 3 months ago
2008
IEEE
—Wireless mesh networks (WMNs) is a promising key technology for next generation wireless backhauling that have recently attracted both the academic and industrial interest. Such...