3441 search results - page 536 / 689 » Parallel Logic Programming Systems |
145
click to vote
ASPLOS
2010
ACM
15 years 12 months ago
2010
ACM
SIMD (Single Instruction, Multiple Data) engines are an essential part of the processors in various computing markets, from servers to the embedded domain. Although SIMD-enabled a...
175
click to vote
TPHOL
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
166
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
141
click to vote
MIDDLEWARE
2004
Springer
15 years 10 months ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
135
Voted
OSDI
2000
ACM
15 years 6 months ago
2000
ACM
Freeblock scheduling is a new approach to utilizing more of disks' potential media bandwidths. By filling rotational latency periods with useful media transfers, 20{50% of a ...