Sciweavers

363 search results - page 50 / 73
» Interoperability-Centric Problems: New Challenges and Legal ...
Sort
View
80
Voted
DSN
2007
IEEE
15 years 1 months ago
Automatic Verification and Discovery of Byzantine Consensus Protocols
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
Piotr Zielinski
CODES
2001
IEEE
15 years 1 months ago
The TACO protocol processor simulation environment
Network hardware design is becoming increasingly challenging because more and more demands are put on network bandwidth and throughput requirements, and on the speed with which ne...
Seppo Virtanen, Johan Lilius
108
Voted
FPGA
2010
ACM
181views FPGA» more  FPGA 2010»
15 years 24 days ago
Efficient multi-ported memories for FPGAs
Multi-ported memories are challenging to implement with FPGAs since the provided block RAMs typically have only two ports. We present a thorough exploration of the design space of...
Charles Eric LaForest, J. Gregory Steffan
ECCV
2010
Springer
14 years 9 months ago
Multiple Target Tracking in World Coordinate with Single, Minimally Calibrated Camera
Tracking multiple objects is important in many application domains. We propose a novel algorithm for multi-object tracking that is capable of working under very challenging conditi...
Wongun Choi, Silvio Savarese
MFCS
2010
Springer
14 years 7 months ago
Weights of Exact Threshold Functions
We consider Boolean exact threshold functions defined by linear equations, and in general degree d polynomials. We give upper and lower bounds on the maximum magnitude (absolute va...
László Babai, Kristoffer Arnsfelt Ha...