Sciweavers

77016 search results - page 15335 / 15404
» Modeling Modeling
Sort
View
KI
2010
Springer
13 years 3 months ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer
MEDES
2010
ACM
13 years 3 months ago
Brazilian public software: beyond sharing
This work presents a case of an innovative Brazilian experience of use of free software in public administration as an emergent ecosystem, and the attempt to establish a quality f...
A. M. Alves, Marcelo Schneck de Paula Pessôa
MICRO
2010
IEEE
202views Hardware» more  MICRO 2010»
13 years 3 months ago
Hardware Support for Relaxed Concurrency Control in Transactional Memory
Today's transactional memory systems implement the two-phase-locking (2PL) algorithm which aborts transactions every time a conflict happens. 2PL is a simple algorithm that pr...
Utku Aydonat, Tarek S. Abdelrahman
MKTSCI
2010
92views more  MKTSCI 2010»
13 years 3 months ago
Optimal Reverse-Pricing Mechanisms
Reverse pricing is a market mechanism under which a consumer's bid for a product leads to a sale if the bid exceeds a hidden acceptance threshold the seller has set in advanc...
Martin Spann, Robert Zeithammer, Gerald Häubl
MMAS
2010
Springer
13 years 3 months ago
Sharp Stability Estimates for the Force-Based Quasicontinuum Approximation of Homogeneous Tensile Deformation
The accuracy of atomistic-to-continuum hybrid methods can be guaranteed only for deformations where the lattice configuration is stable for both the atomistic energy and the hybrid...
Matthew Dobson, Mitchell Luskin, Christoph Ortner
« Prev « First page 15335 / 15404 Last » Next »