Sciweavers

7557 search results - page 1250 / 1512
» Constraints as a design pattern
Sort
View
ASPLOS
2010
ACM
16 years 1 months ago
A randomized scheduler with probabilistic guarantees of finding bugs
This paper presents a randomized scheduler for finding concurrency bugs. Like current stress-testing methods, it repeatedly runs a given test program with supplied inputs. Howeve...
Sebastian Burckhardt, Pravesh Kothari, Madanlal Mu...
HICSS
2009
IEEE
104views Biometrics» more  HICSS 2009»
16 years 1 months ago
Second Life as a Medium for Lecturing in College Courses
Second Life is an online virtual world that is gaining popularity in academic institutions as an alternative means for collaborative and distance education. However, the number of...
Daniel C. Cliburn, Jeffrey L. Gross
PERCOM
2009
ACM
16 years 1 months ago
Distributed Policy Resolution Through Negotiation in Ubiquitous Computing Environments
—Ensuring spontaneous ad hoc interoperation in decentralized ubiquitous computing environments is challenging, because of heterogeneous resources and divergent policies. Centrali...
Venkatraman Ramakrishna, Peter L. Reiher, Leonard ...
SAC
2009
ACM
16 years 1 months ago
Flexible self-healing gradients
Self-healing gradients are distributed estimates of the distance from each device in a network to the nearest device designated as a source, and are used in many pervasive computi...
Jacob Beal
TEI
2009
ACM
89views Hardware» more  TEI 2009»
16 years 1 months ago
Running up Blueberry Hill: prototyping whole body interaction in harmony space
Musical harmony is considered to be one of the most and technically difficult parts of music. It is y taught formally via abstract, domain-specific concepts, principles, rules and...
Simon Holland, Paul Marshall, Jon Bird, Nick Sheep...
« Prev « First page 1250 / 1512 Last » Next »