Sciweavers

21324 search results - page 2 / 4265
» Making the case for computing
Sort
View
SPIN
2005
Springer
15 years 5 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
15 years 4 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
15 years 5 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
15 years 1 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
114
Voted
KI
2008
Springer
14 years 11 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