544 search results - page 98 / 109 » Testing concurrent programs using value schedules |
109
Voted
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
A fuzzy logic algorithm has been developed that automatically allocates electronic attack (EA) resources distributed over different platforms in real-time. The controller must be ...
SAT
2007
Springer
15 years 3 months ago
2007
Springer
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...
81
Voted
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
We present a new automated white box fuzzing technique and a tool, BuzzFuzz, that implements this technique. Unlike standard fuzzing techniques, which randomly change parts of the...
109
Voted
SIGIR
1993
ACM
15 years 1 months ago
1993
ACM
Since 1986 we have investigated the problems and possibilities of applying modern information retrieval methods to large online public access library catalogs (OPACs). In the Retr...
81
Voted
DAC
2004
ACM
15 years 10 months ago
2004
ACM
Efficient energy and performance estimation of embedded software is a critical part of any system-level design flow. Macromodeling based estimation is an attempt to speed up estim...