1268 search results - page 222 / 254 » One Logic to Use Them All |
144
click to vote
DATE
2008
IEEE
16 years 22 days ago
2008
IEEE
We compare 12 new encodings for representing of FPGA detailed routing problems as equivalent Boolean Satisfiability (SAT) problems against the only 2 previously used encodings. We...
178
click to vote
IDEAS
2007
IEEE
16 years 17 days ago
2007
IEEE
Historically, bitmap indexing has provided an important database capability to accelerate queries. However, only a few database systems have implemented these indexes because of t...
167
click to vote
GI
2007
Springer
16 years 13 days ago
2007
Springer
: Mixed Reality Auto Racing is game for two to four players. The track is built from tangible objects (e. g. little cardboard houses) by the players and can be changed and rebuilt ...
163
click to vote
EDOC
2006
IEEE
16 years 10 days ago
2006
IEEE
In a Service-Oriented Architecture (SOA), a system is viewed as a collection of independent units (services) that interact with one another through message exchanges. Established ...
158
click to vote
STOC
2006
ACM
16 years 6 days ago
2006
ACM
Memory management is a fundamental problem in computer architecture and operating systems. We consider a two-level memory system with fast, but small cache and slow, but large mai...