Sciweavers

3095 search results - page 393 / 619
» Ubiquitous presence systems
Sort
View
SAS
1993
Springer
139views Formal Methods» more  SAS 1993»
15 years 10 months ago
Compiling FX on the CM-2
Type and effect systems provide a safe and effective means of programming high-performance parallel computers with a high-level language that integrates both functional and impe...
Jean-Pierre Talpin, Pierre Jouvelot
LFCS
1992
Springer
15 years 10 months ago
Many-Valued Non-Monotonic Modal Logics
Among non-monotonic systems of reasoning, non-monotonic modal logics, and autoepistemic logic in particular, have had considerable success. The presence of explicit modal operator...
Melvin Fitting
SC
1990
ACM
15 years 10 months ago
Loop distribution with arbitrary control flow
Loop distribution is an integral part of transforming a sequential program into a parallel one. It is used extensively in parallelization,vectorization, and memory management. For...
Ken Kennedy, Kathryn S. McKinley
GLOBECOM
2007
IEEE
15 years 10 months ago
Efficient Scheduling for Heterogeneous Services in OFDMA Downlink
We consider optimal allocation of resources to users in a downlink OFDMA system to support heterogeneous applications consisting of both deadline-sensitive (DS) and best-effort (BE...
Rajiv Agarwal, Vinay R. Majjigi, Rath Vannithamby,...
DSN
2004
IEEE
15 years 10 months ago
Proactive Recovery in Distributed CORBA Applications
Unanticipated runtime events, such as faults, can lead to missed deadlines in real-time systems. While it is not always possible to know when a fault will occur, we can sometimes ...
Soila M. Pertet, Priya Narasimhan