4299 search results - page 217 / 860 » Concurrent Test Generation |
165
click to vote
PPOPP
2005
ACM
15 years 9 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
148
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...
133
Voted
COMPSEC
2004
15 years 3 months ago
2004
Abstract Up to now biometric methods have been used in cryptography for authentication purposes. In this paper we propose to use biological data for generating sequences of random ...
124
Voted
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
The generalized generation gap (G3) model of an evolutionary algorithm equipped with the parent centric crossover (PCX) is tested on the BBOB 2009 benchmark testbed. To improve it...
126
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
In this paper we describe the conception of a software toolkit designed for the construction, maintenance and collaborative use of a Generative Lexicon. In order to ease its porta...