4323 search results - page 714 / 865 » Callback Implementations in C |
155
Voted
ISSRE
2002
IEEE
15 years 8 months ago
2002
IEEE
A number of strategies have been proposed for state-based class testing. An important proposal was made by Chow [5] and adapted by Binder [3]: It consists in deriving test sequenc...
137
Voted
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
Knowledge extraction is a fundamental notion, modeling machine possession of values (witnesses) in a computational complexity sense and enabling one to argue about the internal st...
149
click to vote
ICDT
2001
ACM
15 years 8 months ago
2001
ACM
This paper presents a general methodology for the efficient parallelization of existing data cube construction algorithms. We describe two different partitioning strategies, one f...
134
Voted
ICCAD
2000
IEEE
15 years 8 months ago
2000
IEEE
Most hardware description frameworks, whether schematic or textual, use cooperating finite state machines (CFSM) as the underlying abstraction. In the CFSM framework, a designer ...
104
Voted
ISCA
2000
IEEE
15 years 8 months ago
2000
IEEE
Our program benchmarks and simulations of novel circuits indicate that large-window processors are feasible. Using our redesigned superscalar components, a large-window processor ...