Sciweavers

12438 search results - page 362 / 2488
» The Magic of a Number System
Sort
View
ECRTS
1999
IEEE
15 years 12 months ago
Dynamic value-density for scheduling real-time systems
Scheduling decisions in time-critical systems are very difficult, due to the vast number of systems' parameters and tasks' attributes involved in such decisions. Due to ...
Saud A. Aldarmi, Alan Burns
ICFEM
1997
Springer
15 years 11 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
189
Voted
EWHCI
1993
15 years 11 months ago
The MSM Framework: A Design Space for Multi-Sensori-Motor Systems
One of the new design goals in Human Computer Interaction is to extend the sensory-motor capabilities of computer systems to better match the natural communication means of human b...
Joëlle Coutaz, Laurence Nigay, Daniel Salber
ATAL
2009
Springer
15 years 11 months ago
On the significance of synchroneity in emergent systems
The goal of this paper is to explore the effects of synchronization on distributed decision making processes. In particular, we examine the dynamics of a spatially distributed mul...
Adam Campbell, Annie S. Wu
197
Voted
APPROX
2006
Springer
121views Algorithms» more  APPROX 2006»
15 years 11 months ago
A Randomized Solver for Linear Systems with Exponential Convergence
Abstract. The Kaczmarz method for solving linear systems of equations Ax = b is an iterative algorithm that has found many applications ranging from computer tomography to digital ...
Thomas Strohmer, Roman Vershynin