11374 search results - page 128 / 2275 » Demonstration of the CROSSMARC System |
171
click to vote
LPNMR
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We present a new answer set solver nomore++. Distinguishing features include its treatment of heads and bodies equitably as computational objects and a new hybrid lookahe...
173
click to vote
VL
1993
IEEE
15 years 10 months ago
1993
IEEE
This paper describes the object-oriented development of ProtoHyperflow, a data flow visual language. We demonstrate how object-oriented software construction principles can be use...
159
click to vote
SIGMETRICS
1997
ACM
15 years 10 months ago
1997
ACM
Benchmarks are important because they provide a means for users and researchers to characterize how their workloads will perform on different systems and different system architec...
214
click to vote
FORMATS
2007
Springer
15 years 10 months ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
184
click to vote
HPCA
1997
IEEE
15 years 10 months ago
1997
IEEE
Many parallel systems offer a simple view of memory: all storage cells are addresseduniformly. Despite a uniform view of the memory, the machines differsignificantly in theirmemo...