1737 search results - page 323 / 348 » On Interpolation in Existence Logics |
154
click to vote
LOPSTR
2007
Springer
16 years 6 days ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
170
click to vote
SEMWEB
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
164
click to vote
IEEEPACT
2006
IEEE
16 years 3 days ago
2006
IEEE
Multiprocessor operating systems (OSs) pose several unique and conflicting challenges to System Virtual Machines (System VMs). For example, most existing system VMs resort to gan...
144
click to vote
MICRO
2006
IEEE
16 years 2 days ago
2006
IEEE
To protect processor logic from soft errors, multicore redundant architectures execute two copies of a program on separate cores of a chip multiprocessor (CMP). Maintaining identi...
175
click to vote
RTSS
2006
IEEE
16 years 2 days ago
2006
IEEE
Real-time systems design involves many important choices, including that of the processor. The fastest processors achieve performance by utilizing architectural features that make...