8086 search results - page 306 / 1618 » On the Implementation of Dynamic Patterns |
148
click to vote
TOSEM
2010
15 years 5 months ago
2010
Nu model provides a higher level of abstraction compared to traditional object-oriented ILs, making it easier to e ciently support dynamic AO features. We demonstrate these bene ts...
150
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
183
click to vote
ISSS
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a new exploration and optimization method to select customized implementations for dynamic data sets, as encountered in telecom network, database and multimedia applica...
189
click to vote
OPODIS
2007
15 years 8 months ago
2007
This paper presents Timed Quorum System (TQS), a quorum system for large-scale and dynamic systems. TQS provides guarantees that two quorums, accessed at instances of time that are...
180
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We address here two major challenges presented by dynamic data mining: 1) the stability challenge: we have implemented a rigorous incremental density-based clustering algorithm, i...