Sciweavers

945 search results - page 68 / 189
» Posix: A Model for Future Computing
Sort
View
NECO
2002
145views more  NECO 2002»
15 years 4 months ago
Bayesian Model Assessment and Comparison Using Cross-Validation Predictive Densities
In this work, we discuss practical methods for the assessment, comparison, and selection of complex hierarchical Bayesian models. A natural way to assess the goodness of the model...
Aki Vehtari, Jouko Lampinen
DAC
2006
ACM
16 years 5 months ago
GreenBus: a generic interconnect fabric for transaction level modelling
In this paper we present a generic interconnect fabric for transaction level modelling tackeling three major aspects. First, a review of the bus and IO structures that we have ana...
Wolfgang Klingauf, Robert Günzel, Oliver Brin...
VLDB
1992
ACM
101views Database» more  VLDB 1992»
15 years 8 months ago
Proclamation-Based Model for Cooperating Transactions
We propose a transaction model that provides a framework for transactions to cooperate without sacrificing serializability as a notion of correctness. Cooperation does not depend ...
H. V. Jagadish, Oded Shmueli
FSR
2005
Springer
88views Robotics» more  FSR 2005»
15 years 10 months ago
Efficient Braking Model for Off-Road Mobile Robots
In the near future, off-road mobile robots will feature high levels of autonomy which will render them useful for a variety of tasks on Earth and other planets. Many terrestrial a...
Mikhail Pivtoraiko, Alonzo Kelly, Peter Rander
ICTAC
2005
Springer
15 years 10 months ago
The Timer Cascade: Functional Modelling and Real Time Calculi
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
Raymond T. Boute, Andreas Schäfer