819 search results - page 104 / 164 » Using Assumptions to Distribute CTL Model Checking |
163
Voted
HPCN
2000
Springer
15 years 6 months ago
2000
Springer
We build an analytical model for an application utilizing master-slave paradigm. In the model, only three architecture parameters are used: latency, bandwidth and flop rate. Instea...
152
Voted
FMICS
2007
Springer
15 years 8 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
179
Voted
CNSR
2011
IEEE
14 years 6 months ago
2011
IEEE
—Principal component based anomaly detection has emerged as an important statistical tool for network anomaly detection. It works by projecting summary network information onto a...
99
Voted
IJCNLP
2005
Springer
15 years 8 months ago
2005
Springer
Recent work on Conditional Random Fields (CRFs) has demonstrated the need for regularisation when applying these models to real-world NLP data sets. Conventional approaches to regu...
111
Voted
ANNPR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Estimation of probability density functions (pdf) is one major topic in pattern recognition. Parametric techniques rely on an arbitrary assumption on the form of the unde...