Sciweavers

5325 search results - page 288 / 1065
» Effective Computation for Nonlinear Systems
Sort
View
BCSHCI
2007
15 years 8 months ago
Design, use and experience of e-learning systems
The use of computer applications to support learning and assessment is becoming more common, along with a growing body of research focusing on the pedagogical effectiveness of the...
Willem-Paul Brinkman, Annette Payne, Nayna Patel, ...
175
Voted
DSN
2004
IEEE
15 years 10 months ago
Dependable Adaptive Real-Time Applications in Wormhole-based Systems
This paper describes and discusses the work carried on in the context of the CORTEX project, for the development of adaptive real-time applications in wormhole based systems. The ...
Pedro Martins, Paulo Jorge Paiva de Sousa, Antonio...
NCA
2003
IEEE
15 years 12 months ago
A Truthful Mechanism for Fair Load Balancing in Distributed Systems
In this paper we consider the problem of designing load balancing protocols in distributed systems where the participants (e.g. computers, users) are capable of manipulating the l...
Daniel Grosu, Anthony T. Chronopoulos
CCGRID
2008
IEEE
16 years 1 months ago
Performance and Availability Tradeoffs in Replicated File Systems
Replication is a key technique for improving fault tolerance. Replication can also improve application performance under some circumstances, but can have the opposite effect under...
Jiaying Zhang, Peter Honeyman
CONCUR
2005
Springer
16 years 6 days ago
Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
Ahmed Bouajjani, Markus Müller-Olm, Tayssir T...