12741 search results - page 2244 / 2549 » Editorial and call for papers |
174
click to vote
ESA
2007
Springer
16 years 26 days ago
2007
Springer
We investigate Knuth’s eleventh open question on stable matchings. In the stable family problem, sets of women, men, and dogs are given, all of whom state their preferences among...
168
click to vote
ESOP
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
197
click to vote
EUC
2007
Springer
16 years 26 days ago
2007
Springer
Cooperative caching is an important technique to support efficient data dissemination and sharing in Mobile Ad hoc Networks (MANETs). In order to ensure valid data access, the cach...
219
click to vote
FC
2007
Springer
16 years 26 days ago
2007
Springer
Task-specific groups are often formed in an ad-hoc manner within big structures, like companies. Take the following typical scenario: A high rank manager decides that a task force...
159
click to vote
FPGA
2007
ACM
16 years 26 days ago
2007
ACM
Boolean matching (BM) is a widely used technique in FPGA resynthesis and architecture evaluation. In this paper we present several improvements to the recently proposed SAT-based ...