5762 search results - page 362 / 1153 » R-tree: A Hardware Implementation |
175
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Minimizing learned clauses is an effective technique to reduce memory usage and also speed up solving time. It has been implemented in MINISAT since 2005 and is now adopted by mos...
180
click to vote
ARC
2010
Springer
16 years 1 months ago
2010
Springer
This paper presents the design and FPGA-implementation of a sampler that is suited for sampling real-time events in embedded systems. Such sampling is useful, for example, to test ...
188
click to vote
AICCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time system...
145
click to vote
ASAP
2008
IEEE
16 years 1 months ago
2008
IEEE
Data movement operations, such as the C-style memcpy function, are often used to duplicate or communicate data. This type of function typically produces a significant amount of o...
137
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
A new approach to analyze injection locking mode of oscillators under small external excitation is proposed. The proposed approach exploits existence conditions of the solution of...