Sciweavers

6682 search results - page 1243 / 1337
» networks 2006
Sort
View
102
Voted
FC
2006
Springer
109views Cryptology» more  FC 2006»
15 years 4 months ago
A Private Stable Matching Algorithm
Existing stable matching algorithms reveal the preferences of all participants, as well as the history of matches made and broken in the course of computing a stable match. This in...
Philippe Golle
120
Voted
FM
2006
Springer
133views Formal Methods» more  FM 2006»
15 years 4 months ago
Enforcer - Efficient Failure Injection
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
Cyrille Artho, Armin Biere, Shinichi Honiden
FORMATS
2006
Springer
15 years 4 months ago
Adding Invariants to Event Zone Automata
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
Peter Niebert, Hongyang Qu
FPGA
2006
ACM
125views FPGA» more  FPGA 2006»
15 years 4 months ago
Armada: timing-driven pipeline-aware routing for FPGAs
While previous research has shown that FPGAs can efficiently implement many types of computations, their flexibility inherently limits their clock rate. Several research groups ha...
Kenneth Eguro, Scott Hauck
108
Voted
FPGA
2006
ACM
117views FPGA» more  FPGA 2006»
15 years 4 months ago
Context-free-grammar based token tagger in reconfigurable devices
In this paper, we present reconfigurable hardware architecture for detecting semantics of streaming data on 1+ Gbps networks. The design leverages on the characteristics of contex...
Young H. Cho, James Moscola, John W. Lockwood
« Prev « First page 1243 / 1337 Last » Next »