1145 search results - page 121 / 229 » Power-Driven Design Partitioning |
108
click to vote
ATVA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
135
click to vote
VLDB
2005
ACM
15 years 7 months ago
2005
ACM
Query optimizers in current database systems are designed to pick a single efficient plan for a given query based on current statistical properties of the data. However, different...
CIKM
2003
Springer
15 years 6 months ago
2003
Springer
High dimensional data sets are encountered in many modern database applications. The usual approach is to construct a summary of the data set through a lossy compression technique...
NOMS
2002
IEEE
15 years 6 months ago
2002
IEEE
As the Internet and network technologies evolve, the IP over WDM solution has been envisioned as the most promising solution for the next generation Internet architecture. So surv...
115
click to vote
PACT
2009
Springer
15 years 6 months ago
2009
Springer
In this paper, we design and implement an efficient technique for parallel evidence propagation on state-of-the-art multicore processor systems. Evidence propagation is a major ste...