Sciweavers

1068 search results - page 158 / 214
» For completeness, sublogarithmic space is no space
Sort
View
APN
1999
Springer
14 years 1 months ago
Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets
Abstract. This paper presents parallel approaches to the complete transient numerical analysis of stochastic reward nets (SRNs) for both shared and distributed-memory machines. Par...
Susann C. Allmaier, David Kreische
TOOLS
1999
IEEE
14 years 1 months ago
Cooperative Software Development: Concepts, Model and Tools
The development of large software systems demands intensive cooperation among multiple project team members with different responsibilities. The development process is often distr...
Josef Altmann, Gustav Pomberger
VLDB
1999
ACM
89views Database» more  VLDB 1999»
14 years 1 months ago
Physical Data Independence, Constraints, and Optimization with Universal Plans
We present an optimization method and algorithm designed for three objectives: physical data independence, semantic optimization, and generalized tableau minimization. The method ...
Alin Deutsch, Lucian Popa, Val Tannen
PASTE
1998
ACM
14 years 1 months ago
Concept Analysis - A New Framework for Program Understanding
Concept analysis transforms any relation between ‘lobjects” and “attributes” into a complete lattice. This concept lattice can be studied by algebraic means and offers rem...
Gregor Snelting
JELIA
1998
Springer
14 years 1 months ago
A Logic for Anytime Deduction and Anytime Compilation
Abstract. One of the maincharacteristics of logical reasoning in knowledge based systems is its high computational complexity. Anytime deduction and anytime compilation are two att...
Frédéric Koriche