7526 search results - page 1305 / 1506 » The Design and Implementation of the A2QM3 System |
194
click to vote
ICLP
2004
Springer
16 years 9 hour ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
180
click to vote
ICPP
2002
IEEE
15 years 11 months ago
2002
IEEE
The advantages of pattern-based programming have been well-documented in the sequential literature. However patterns have yet to make their way into mainstream parallel computing,...
184
click to vote
IJCAI
1989
15 years 7 months ago
1989
In a recent paper, Ginsberg shows how a backward-chaining ATMS can be used to construct a theorem prover for circumscription. Here, this work is extended to handle prioritized cir...
286
click to vote
Publication
Within-die process variations arise during integrated circuit (IC) fabrication in the sub-100nm regime. These variations are of paramount concern as they deviate the performance of...
326
click to vote
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...