32545 search results - page 576 / 6509 » Data Structures and Algorithms |
177
Voted
JAR
2007
15 years 7 months ago
2007
SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware verification or satisfiability checking modulo theories (SMT). And althoug...
181
click to vote
EUROPAR
2001
Springer
15 years 11 months ago
2001
Springer
Distributed-system observation tools require an efficient data structure to store and query the partial-order of execution. Such data structures typically use vector timestamps to...
171
click to vote
ENTCS
2002
15 years 7 months ago
2002
Despite considerable effort, the state-space explosion problem remains an issue in the analysis of Markov models. Given structure, symbolic representations can result in very comp...
175
click to vote
MDM
2009
Springer
16 years 1 months ago
2009
Springer
Continuous queries in Wireless Sensor Networks (WSNs) are founded on the premise of Query Routing Tree structures (denoted as T), which provide sensors with a path to the querying...
174
click to vote
CAISE
2009
Springer
15 years 11 months ago
2009
Springer
Mapping specification has been recognised as a critical bottleneck to the large scale deployment of data integration systems. A mapping is a description using which data structured...