9949 search results - page 1841 / 1990 » On the Network Complexity of Selection |
138
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
Latency-insensitive systems were recently proposed by Carloni et al. as a correct-by-construction methodology for single-clock system-on-a-chip (SoC) design using predesigned IP b...
135
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
Attributes define, classify, or annotate the datum to which they are assigned. However, traditional attribute architectures and cryptosystems are ill-equipped to provide security ...
129
click to vote
FPL
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we develop a unified theory in analyzing optimal switch box design problems, particularly for the unsolved irregular cases, where different pin counts are allowed on...
175
click to vote
CP
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In the last decades, the Satisfiability and Constraint Satisfaction Problem frameworks were extended to integrate aspects such as uncertainties, partial observabilities, ...
171
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
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...