2912 search results - page 471 / 583 » Overlay Networks - Implementation by Specification |
122
click to vote
WSC
1998
15 years 5 months ago
1998
This paper presents Timed Petri Nets (TPN) as an analytical approach for verification of computerized queueing network simulation models at steady state. It introduces a generic a...
122
click to vote
NIPS
1990
15 years 5 months ago
1990
Previous work (M.I. Sereno, 1989; cf. M.E. Sereno, 1987) showed that a feedforward network with area V1-like input-layer units and a Hebb rule can develop area MT-like second laye...
148
click to vote
MOBIDE
2010
ACM
15 years 4 months ago
2010
ACM
Complex event detection over data streams has become ubiquitous through the widespread use of sensors, wireless connectivity and the wide variety of end-user mobile devices. Typic...
121
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
Sora is a fully programmable, high performance software radio platform based on commodity general-purpose PC. In this demonstration, we illustrate the main features of the Sora pl...
123
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Non-adaptive group testing involves grouping arbitrary subsets of n items into different pools. Each pool is then tested and defective items are identified. A fundamental question...