4961 search results - page 631 / 993 » Homomorphism-Homogeneous Relational Structures |
164
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Modern CPUs operate at GHz frequencies, but the latencies of memory accesses are still relatively large, in the order of hundreds of cycles. Deeper cache hierarchies with large...
170
click to vote
CAV
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
207
Voted
CIVR
2007
Springer
16 years 27 days ago
2007
Springer
Ensuring the uniqueness of trademark images and protecting their identities are the most important objectives for the trademark registration process. To prevent trademark infringe...
199
click to vote
INEX
2007
Springer
16 years 26 days ago
2007
Springer
In this paper, we document our efforts at INEX 2007 where we participated in the Ad Hoc Track, the Link the Wiki Track, and the Interactive Track that continued from INEX 2006. Ou...
196
click to vote
CASES
2006
ACM
16 years 21 days ago
2006
ACM
Technology trends have led to the advent of multi-core chips in the form of both general-purpose chip multiprocessors (CMPs) and embedded multi-processor systems-on-a-chip (MPSoCs...