959 search results - page 16 / 192 » Transfers between Logics and their Applications |
167
click to vote
SIGMETRICS
2009
ACM
16 years 16 days ago
2009
ACM
Many emerging scientific and industrial applications require transferring multiple Tbytes of data on a daily basis. Examples include pushing scientific data from particle accele...
164
click to vote
HYBRID
2010
Springer
16 years 15 days ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
150
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
: Electromigration induced degradation in integrated circuits has been accelerated by continuous scaling of device dimensions. We present a methodology for synthesizing high-reliab...
163
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
Raimund Dachselt University of Magdeburg Faculty of Computer Science User Interface & Software Engineering Group 39106 Magdeburg, Germany dachselt@acm.org Robert Buchholz Unive...
157
click to vote
ML
2006
ACM
15 years 6 months ago
2006
ACM
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 ...