Sciweavers

21876 search results - page 370 / 4376
» Computer game-flow design
Sort
View
166
Voted
CIE
2007
Springer
16 years 1 months ago
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
Andrej Bauer, Christopher A. Stone
CLUSTER
2006
IEEE
16 years 26 days ago
Multi-Objective Models for Scheduling Jobs on Parallel Computer Systems
This paper is concerned with the design of goal-oriented scheduling policies that deal with multiple goals on production parallel systems. Several objective models are compared, i...
Sangsuree Vasupongayya, Su-Hui Chiang
DSN
2006
IEEE
16 years 26 days ago
Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
Albert Meixner, Daniel J. Sorin
E2EMON
2006
IEEE
16 years 26 days ago
Active Probing Approach for Fault Localization in Computer Networks
—Active probing is an active network monitoring technique that has potential for developing effective solutions for fault localization. In this paper we use active probing to pre...
Maitreya Natu, Adarshpal S. Sethi
ICDCS
2006
IEEE
16 years 26 days ago
Computing in the Presence of Timing Failures
Timing failures refer to a situation where the environment in which a system operates does not behave as expected regarding the timing assumptions, that is, the timing constraints...
Gadi Taubenfeld