Sciweavers

186 search results - page 24 / 38
» Global consistency checking of distributed models with TReMe...
Sort
View
116
Voted
ICDT
2012
ACM
242views Database» more  ICDT 2012»
13 years 2 months ago
Win-move is coordination-free (sometimes)
In a recent paper by Hellerstein [15], a tight relationship was conjectured between the number of strata of a Datalog¬ program and the number of “coordination stages” require...
Daniel Zinn, Todd J. Green, Bertram Ludäscher
113
Voted
AGENTS
2001
Springer
15 years 4 months ago
Evaluation of modeling techniques for agent-based systems
To develop agent-based systems, one needs a methodology that supports the development process as common in other disciplines. In recent years, several such methodologies and model...
Onn Shehory, Arnon Sturm
EUROPAR
2010
Springer
15 years 26 days ago
A Study of a Software Cache Implementation of the OpenMP Memory Model for Multicore and Manycore Architectures
Abstract. This paper is motivated by the desire to provide an efficient and scalable software cache implementation of OpenMP on multicore and manycore architectures in general, and...
Chen Chen, Joseph B. Manzano, Ge Gan, Guang R. Gao...
84
Voted
ATAL
2007
Springer
15 years 6 months ago
Bidding optimally in concurrent second-price auctions of perfectly substitutable goods
We derive optimal bidding strategies for a global bidding agent that participates in multiple, simultaneous second-price auctions with perfect substitutes. We first consider a mo...
Enrico H. Gerding, Rajdeep K. Dash, David C. K. Yu...
85
Voted
ICPR
2004
IEEE
16 years 26 days ago
Surface Sculpting with Stochastic Deformable 3D Surfaces
This paper introduces a new stochastic surface model for deformable 3D surfaces and demonstrates its utility for the purpose of 3D sculpting. This is the problem of simple-touse a...
Andrew R. Willis, Jasper Speicher, David B. Cooper