5190 search results - page 839 / 1038 » Multithreaded Parallel Computer Model with Performance Evalu... |
160
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
125
click to vote
CCGRID
2003
IEEE
15 years 8 months ago
2003
IEEE
— Since the advent of distributed computer systems an active field of research has been the investigation of scheduling strategies for parallel applications. The common approach...
125
click to vote
IJNSEC
2008
15 years 2 months ago
2008
We investigate an effective and robust mechanism for detecting SMTP traffic anomaly. Our detection method cumulates the deviation of current delivering status from history behavio...
150
click to vote
SAJ
2002
15 years 2 months ago
2002
Mobile ad hoc networks are collections of mobile nodes without any fixed infrastructure or central co-ordinating mechanism for packet routing. Consequently, routing is a challenge...
158
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Abstract—We consider a certain class of large random matrices, composed of independent column vectors with zero mean and different covariance matrices, and derive asymptotically ...