6171 search results - page 772 / 1235 » The FrameNet Data and Software |
195
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
180
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
NANDFS is a flash file system that exposes a memory-performance tradeoff to system integrators. The file system can be configured to use a large amount of RAM, in which case i...
177
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
Stream processing is a promising paradigm for programming multi-core systems for high-performance embedded applications. We propose flexible filters as a technique that combines...
174
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
160
click to vote
ESEM
2009
ACM
16 years 1 months ago
2009
ACM
Decisions on “Who should fix this bug” have substantial impact on the duration of the process and its results. In this paper, optimized strategies for the assignment of the ...