Sciweavers

181 search results - page 20 / 37
» Symbolic system level reliability analysis
Sort
View
CCGRID
2008
IEEE
13 years 10 months ago
Using Probabilistic Characterization to Reduce Runtime Faults in HPC Systems
Abstract--The current trend in high performance computing is to aggregate ever larger numbers of processing and interconnection elements in order to achieve desired levels of compu...
Jim M. Brandt, Bert J. Debusschere, Ann C. Gentile...
ICDAR
2011
IEEE
12 years 8 months ago
CROHME2011: Competition on Recognition of Online Handwritten Mathematical Expressions
— A competition on recognition of online handwritten mathematical expressions is organized. Recognition of mathematical expressions has been an attractive problem for the pattern...
Harold Mouchère, Christian Viard-Gaudin, Da...
APN
2007
Springer
14 years 2 months ago
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
Marco Beccuti, Giuliana Franceschinis, Serge Hadda...
CORR
2002
Springer
156views Education» more  CORR 2002»
13 years 8 months ago
Mapping the Gnutella Network: Properties of Large-Scale Peer-to-Peer Systems and Implications for System Design
Despite recent excitement generated by the peer-to-peer (P2P) paradigm and the surprisingly rapid deployment of some P2P applications, there are few quantitative evaluations of P2...
Matei Ripeanu, Ian T. Foster, Adriana Iamnitchi
ECIS
2003
13 years 10 months ago
Evaluating the effectiveness of learning interventions: an information systems case study
Currently, there is no standard instrument for evaluating learning effectiveness. While final examinations and end-of-semester course evaluation surveys can be used to do this, th...
Daniel L. Moody, Guttorm Sindre