6229 search results - page 953 / 1246 » Models of Computation for Networks on Chip |
186
Voted
ASMTA
2011
Springer
14 years 4 months ago
2011
Springer
Queueing delays experienced by packets buffered at a node are among the most difficult to predict when considering the performance of a flow in a network. The arrivals of packets a...
208
Voted
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
A k-NN query finds the k nearest-neighbors of a given point from a point database. When it is sufficient to measure object distance using the Euclidian distance, the key to effici...
131
click to vote
RAID
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We propose a novel framework of autonomic intrusion detection that fulfills online and adaptive intrusion detection in unlabeled audit data streams. The framework owns a...
99
Voted
DEBS
2008
ACM
15 years 2 months ago
2008
ACM
We propose a sensornet programming model based on declarative spatio-temporal constraints on events only, not sensors. Where previous approaches conflate events and sensors becaus...
127
Voted
JACM
2002
15 years 8 days ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...