Sciweavers

3425 search results - page 674 / 685
» A Model Driven Approach for Software Systems Reliability
Sort
View
PRESENCE
2000
92views more  PRESENCE 2000»
14 years 11 months ago
Virtual Explorer: Interactive Virtual Environment for Education
The Virtual Explorer project of the Senses Bureau at the University of California, San Diego, focuses on creating immersive, highly interactive environments for education and scie...
Kevin L. Dean, Xyler S. Asay-Davis, Evan M. Finn, ...
SIGMOD
2011
ACM
299views Database» more  SIGMOD 2011»
14 years 2 months ago
Processing theta-joins using MapReduce
Joins are essential for many data analysis tasks, but are not supported directly by the MapReduce paradigm. While there has been progress on equi-joins, implementation of join alg...
Alper Okcan, Mirek Riedewald
FOSSACS
2005
Springer
15 years 5 months ago
Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
Samy Abbes, Albert Benveniste
HCI
2007
15 years 1 months ago
3D World from 2D Photos
A large number of the world's cultural heritage sites and landscapes have been lost over time due to the progress of urbanization. Digital archive projects that digitize these...
Takashi Aoki, Tomohiro Tanikawa, Michitaka Hirose
SIGMETRICS
2008
ACM
142views Hardware» more  SIGMETRICS 2008»
14 years 11 months ago
Exploiting manufacturing variations for compensating environment-induced clock drift in time synchronization
Time synchronization is an essential service in distributed computing and control systems. It is used to enable tasks such as synchronized data sampling and accurate time-offlight...
Thomas Schmid, Zainul Charbiwala, Jonathan Friedma...