Sciweavers

7961 search results - page 468 / 1593
» Input-Output Model Programs
Sort
View
TPDS
1998
157views more  TPDS 1998»
15 years 6 months ago
A Compiler Optimization Algorithm for Shared-Memory Multiprocessors
This paper presents a new compiler optimization algorithm that parallelizes applications for symmetric, sharedmemory multiprocessors. The algorithm considers data locality, parall...
Kathryn S. McKinley
AOSD
2009
ACM
15 years 9 months ago
Modular verification of dynamically adaptive systems
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
Ji Zhang, Heather Goldsby, Betty H. C. Cheng
ECAL
2007
Springer
16 years 21 days ago
Simulation of the Evolution of Aging: Effects of Aggression and Kin-Recognition
Current biological theory has no commonly accepted view on the phenomenon of aging. On the one hand it is considered as an inescapable degradation immanent to complex biological sy...
Svetlana Krivenko, Mikhail S. Burtsev
POPL
1999
ACM
15 years 10 months ago
JFlow: Practical Mostly-Static Information Flow Control
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
Andrew C. Myers
ML
2006
ACM
122views Machine Learning» more  ML 2006»
15 years 6 months ago
PRL: A probabilistic relational language
In this paper, we describe the syntax and semantics for a probabilistic relational language (PRL). PRL is a recasting of recent work in Probabilistic Relational Models (PRMs) into ...
Lise Getoor, John Grant