Sciweavers

1015 search results - page 152 / 203
» Syntactic Control of Concurrency
Sort
View
TCAD
2002
98views more  TCAD 2002»
14 years 9 months ago
An Esterel compiler for large control-dominated systems
Embedded hard real-time software systems often need fine-grained parallelism and precise control of timing, things typical real-time operating systems do not provide. The Esterel l...
Stephen A. Edwards
TROB
2002
127views more  TROB 2002»
14 years 9 months ago
Probabilistic pursuit-evasion games: theory, implementation, and experimental evaluation
We consider the problem of having a team of Unmanned Aerial Vehicles (UAV) and Unmanned Ground Vehicles (UGV) pursue a second team of evaders while concurrently building a map in a...
René Vidal, Omid Shakernia, H. Jin Kim, Dav...
PVLDB
2010
174views more  PVLDB 2010»
14 years 8 months ago
x-RDF-3X: Fast Querying, High Update Rates, and Consistency for RDF Databases
The RDF data model is gaining importance for applications in computational biology, knowledge sharing, and social communities. Recent work on RDF engines has focused on scalable p...
Thomas Neumann, Gerhard Weikum
WISE
2010
Springer
14 years 7 months ago
The Ubiquitous DBMS
Advancement in mobile computing technologies has prompted strong needs for database systems that can be used in small devices such as sensors, cellular phones, PDAs, car navigator...
Kyu-Young Whang
3DPH
2009
143views Healthcare» more  3DPH 2009»
14 years 7 months ago
Interactive Segmentation of Volumetric Medical Images for Collaborative Telemedicine
Abstract. Teleradiology, which enables distribution and sharing of digital medical images for collaborative diagnosis, has enjoyed rapid success due to the advances in telecommunic...
Jérôme Schmid, Niels A. Nijdam, Seung...