Sciweavers

2875 search results - page 378 / 575
» Distributed Reactive Machines
Sort
View
139
Voted
ISVC
2009
Springer
15 years 11 months ago
Parallel Poisson Surface Reconstruction
In this work we describe a parallel implementation of the Poisson Surface Reconstruction algorithm based on multigrid domain decomposition. We compare implementations using differ...
Matthew Bolitho, Michael M. Kazhdan, Randal C. Bur...
127
Voted
WECWIS
2008
IEEE
90views ECommerce» more  WECWIS 2008»
15 years 11 months ago
License-Aware Service Selection
The distribution of services spanning across organizational boundaries raises problems related to intellectual value that are less explored in current service oriented research. B...
G. R. Gangadharan, Marco Comerio, Hong Linh Truong...
ADBIS
2007
Springer
180views Database» more  ADBIS 2007»
15 years 10 months ago
ODRA: A Next Generation Object-Oriented Environment for Rapid Database Application Development
ODRA (Object Database for Rapid Application development) is an object-oriented application development environment currently being constructed at the Polish-Japanese Institute of I...
Michal Lentner, Kazimierz Subieta
B
2007
Springer
15 years 10 months ago
Modelling and Proof Analysis of Interrupt Driven Scheduling
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ...
Bill Stoddart, Dominique Cansell, Frank Zeyda
130
Voted
FSTTCS
2007
Springer
15 years 10 months ago
Automata and Logics for Timed Message Sequence Charts
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
S. Akshay, Benedikt Bollig, Paul Gastin