Sciweavers

377 search results - page 18 / 76
» Distributed computation under bit constraints
Sort
View
IPPS
2000
IEEE
14 years 1 days ago
Declarative Concurrency in Java
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
Rafael Ramirez, Andrew E. Santosa
ICPP
2009
IEEE
13 years 5 months ago
Stochastic-Based Robust Dynamic Resource Allocation in a Heterogeneous Computing System
Abstract--This research investigates the problem of robust dynamic resource allocation for heterogeneous distributed computing systems operating under imposed constraints. Often, s...
Jay Smith, Edwin K. P. Chong, Anthony A. Maciejews...
ASAP
2005
IEEE
112views Hardware» more  ASAP 2005»
14 years 1 months ago
On the Advantages of Serial Architectures for Low-Power Reliable Computations
This paper explores low-power reliable microarchitectures for addition. Power, speed, and reliability (both defect- and fault-tolerance) are important metrics of system design, sp...
Valeriu Beiu, Snorre Aunet, Jabulani Nyathi, Ray R...
ISORC
1998
IEEE
13 years 12 months ago
Specification of Real-Time Interaction Constraints
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
Brian Nielsen, Shangping Ren, Gul Agha
CDC
2009
IEEE
127views Control Systems» more  CDC 2009»
14 years 11 days ago
A moving horizon scheme for distributed state estimation
— This paper presents a novel distributed estimation algorithm based on the concept of moving horizon estimation. Under weak observability conditions we prove convergence of the ...
Marcello Farina, Giancarlo Ferrari-Trecate, Riccar...