11374 search results - page 128 / 2275 » Demonstration of the CROSSMARC System |
185
Voted
LPNMR
2005
Springer
16 years 14 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...
187
click to vote
VL
1993
IEEE
15 years 11 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...
174
Voted
SIGMETRICS
1997
ACM
15 years 11 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...
234
click to vote
FORMATS
2007
Springer
15 years 11 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...
201
click to vote
HPCA
1997
IEEE
15 years 11 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...