2835 search results - page 393 / 567 » Imperfect Requirements in Software Development |
172
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we discuss our initial experiences adapting OpenMP to enable it to serve as a programming model for high performance embedded systems. A high-level programming model...
153
click to vote
WDAG
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
216
click to vote
ACSAC
2007
IEEE
16 years 22 days ago
2007
IEEE
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
163
click to vote
COMSWARE
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract— Lack of generic digital rights management applications has stunted the growth of the media distribution industry. In this paper we point out the need for middleware ser...
149
click to vote
FSEN
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...