3616 search results - page 300 / 724 » Conditional Memory Ordering |
175
click to vote
FMSD
2007
15 years 4 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
148
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Current trends in model construction in the field of agentbased computational economics base behavior of agents on either game theoretic procedures (e.g. belief learning, fictit...
141
click to vote
ICIP
2000
IEEE
16 years 6 months ago
2000
IEEE
In this paper an algorithm for 2D shape estimation of moving objects is proposed, which reduces the estimation error compared to the ISO/MPEG-4 reference. The improvement is achie...
265
click to vote
ICDE
2008
IEEE
16 years 6 months ago
2008
IEEE
We propose a new technique for the efficient search and navigation in XML documents and streams. This technique takes string matching algorithms designed for efficient keyword sear...
113
click to vote
DAC
1999
ACM
16 years 5 months ago
1999
ACM
Partitioning and clustering are crucial steps in circuit layout for handling large scale designs enabled by the deep submicron technologies. Retiming is an important sequential lo...