268 search results - page 30 / 54 » Experimental Evaluation of Code Properties for WCET Analysis |
VAMOS
2010
Springer
14 years 7 months ago
2010
Springer
Lack of realistic benchmarks hinders efficient design and evaluation of analysis techniques for feature models. We extract a variability model from the code base of the Linux kerne...
INFOCOM
2011
IEEE
14 years 27 days ago
2011
IEEE
—Opportunistic ad-hoc communication enables portable devices such as smartphones to effectively exchange information, taking advantage of their mobility and locality. The nature ...
EUROSYS
2007
ACM
15 years 6 months ago
2007
ACM
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
OOPSLA
2004
Springer
15 years 2 months ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...
CHARME
2001
Springer
15 years 1 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...