Sciweavers

21324 search results - page 2 / 4265
» Making the case for computing
Sort
View
SPIN
2005
Springer
13 years 10 months ago
Execution Generated Test Cases: How to Make Systems Code Crash Itself
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
Cristian Cadar, Dawson R. Engler
PODC
1999
ACM
13 years 9 months ago
Optimal, Distributed Decision-Making: The Case of no Communication
We present a combinatorial framework for the study of a natural class of distributed optimization problems that involve decisionmaking by a collection of n distributed agents in th...
Marios Mavronicolas, Paul G. Spirakis
IPPS
2006
IEEE
13 years 11 months ago
Making a case for a Green500 list
For decades now, the notion of “performance” has been synonymous with “speed” (as measured in FLOPS, short for floating-point operations per second). Unfortunately, this ...
S. Sharma, Chung-Hsing Hsu, Wu-chun Feng
WEBNET
2001
13 years 6 months ago
Using Online Tools to Enhance Classrooms: A Case Study with MaSH (Making Serendipity Happen)
: The middle ground between distance learning and standard-issue classroom education is ripe for exploration. In particular, the Open Directory Project shows that groups of people ...
Dan Cosley
KI
2008
Springer
13 years 5 months ago
Learning by Observing: Case-Based Decision Making in Complex Strategy Games
Abstract. There is a growing research interest in the design of competitive and adaptive Game AI for complex computer strategy games. In this paper, we present a novel approach for...
Darko Obradovic, Armin Stahl