Sciweavers

4897 search results - page 201 / 980
» Trust Modeling for Peer-to-Peer Based Computing Systems
Sort
View
JSSPP
1995
Springer
15 years 8 months ago
A Microeconomic Scheduler for Parallel Computers
We describe a scheduler based on the microeconomic paradigm for scheduling on-line a set of parallel jobs in a multiprocessor system. In addition to increasing the system throughpu...
Ion Stoica, Hussein M. Abdel-Wahab, Alex Pothen
SIGGRAPH
1995
ACM
15 years 8 months ago
Plenoptic modeling: an image-based rendering system
Image-based rendering is a powerful new approach for generating real-time photorealistic computer graphics. It can provide convincing animations without an explicit geometric repr...
Leonard McMillan, Gary Bishop
TLDI
2003
ACM
102views Formal Methods» more  TLDI 2003»
15 years 10 months ago
A typed interface for garbage collection
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
Joseph Vanderwaart, Karl Crary
SIGUCCS
2000
ACM
15 years 9 months ago
Linux and Open Source in the Academic Enterprise
Open Source Software (OSS) has made great strides toward mainstream acceptance over the past two years. However, many IT managers, both in business and academia, are still cautiou...
Mike Davis, Will O'Donovan, John Fritz, Carlisle C...
172
Voted
WAPCV
2007
Springer
15 years 10 months ago
Simulation and Formal Analysis of Visual Attention in Cognitive Systems
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...
Tibor Bosse, Peter-Paul van Maanen, Jan Treur