862 search results - page 83 / 173 » Design and Implementation of the TRIPS Primary Memory System |
LPNMR
2007
Springer
15 years 6 months ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
LCTRTS
2004
Springer
15 years 5 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
106
click to vote
IEEESCC
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents Abacus, a service-oriented programming language designed for the development of grid applications. Abacus considers that all the grid resources constitute a un...
EUROPAR
2004
Springer
15 years 5 months ago
2004
Springer
This paper describes a monitoring environment that enables the analysis of memory access behavior of applications in a selective way with a potentially very high degree of detail. ...
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
Abstract. High speed networks are now providing incredible performances. Software evolution is slow and the old protocol stacks are no longer adequate for these kind of communicati...