11784 search results - page 119 / 2357 » Improving Software Process Improvement |
136
click to vote
ISSTA
1998
ACM
15 years 7 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
132
Voted
EDBT
2008
ACM
15 years 5 months ago
2008
ACM
Database software can be tailored for specific application domains and their required functionality, for specific hardware and its characteristics, or for other purposes. This bri...
163
Voted
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
The current challenge for crowd simulations is the design and development of a scalable system that is capable of simulating the individual behavior of millions of complex agents ...
158
Voted
SIAMCOMP
2011
14 years 10 months ago
2011
We investigate ways in which an algorithm can improve its expected performance by fine-tuning itself automatically with respect to an arbitrary, unknown input distribution. We gi...
246
click to vote
CISIS
2010
IEEE
14 years 7 months ago
2010
IEEE
Work-stealing is the todays algorithm of choice for dynamic load-balancing of irregular parallel applications on multiprocessor systems. We have evaluated the algorithm’s effic...