2595 search results - page 289 / 519 » Modes in Asynchronous Systems |
190
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Artificial immune systems, more specifically the negative selection algorithm, have previously been applied to intrusion detection. The aim of this research is to develop an intrus...
166
click to vote
HPCA
2007
IEEE
16 years 7 months ago
2007
IEEE
Chip multiprocessors with multiple simpler cores are gaining popularity because they have the potential to drive future performance gains without exacerbating the problems of powe...
194
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
Network servers often need to process a large amount of network events asynchronously. They usually use select() or poll() to retrieve events from file descriptors. However, previ...
162
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
We outline initial investigations into how choices of spatial configuration, input devices and display technologies influence action and interaction in hybrid electronic and physi...
175
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...