2958 search results - page 301 / 592 » Extending and Implementing RASP |
150
Voted
IRREGULAR
1998
Springer
15 years 4 months ago
1998
Springer
To achieve scalable parallel performance in Molecular Dynamics Simulation, we have modeled and implemented several dynamic spatial domain decomposition algorithms. The modeling is ...
93
Voted
VLDB
1997
ACM
15 years 4 months ago
1997
ACM
Businesses today need to interrelate data stored in diverse systems with differing capabilities, ideally via a single high-level query interface. We present the design of a query ...
104
Voted
PARLE
1992
15 years 4 months ago
1992
Collection-oriented languages provide high-level constructs for describing computations over collections. These languages are becoming increasingly popular with the advent of massi...
86
Voted
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...
111
click to vote
FORMATS
2009
Springer
15 years 4 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...