Sciweavers

1227 search results - page 60 / 246
» A Programming Model for Time-Synchronized Distributed Real-T...
Sort
View
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
15 years 6 months ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen
HOTOS
2009
IEEE
15 years 6 months ago
Simplifying Distributed System Development
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...
Maysam Yabandeh, Nedeljko Vasic, Dejan Kostic, Vik...
SIGMOD
2009
ACM
140views Database» more  SIGMOD 2009»
16 years 2 months ago
Distributed data-parallel computing using a high-level programming language
The Dryad and DryadLINQ systems offer a new programming model for large scale data-parallel computing. They generalize previous execution environments such as SQL and MapReduce in...
Michael Isard, Yuan Yu
JIRS
2008
100views more  JIRS 2008»
15 years 2 months ago
Model-based Predictive Control of Hybrid Systems: A Probabilistic Neural-network Approach to Real-time Control
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
Bostjan Potocnik, Gasper Music, Igor Skrjanc, Boru...
ICLP
2004
Springer
15 years 7 months ago
Multi-agent Coordination as Distributed Logic Programming
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
David Robertson