Sciweavers

2218 search results - page 251 / 444
» Testing Expressibility Is Hard
Sort
View
144
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications
Although it is common in large Java programs to rethrow exceptions, existing exception-flow analyses find only single exceptionflow links, thus are unable to identify multiple-lin...
Chen Fu, Barbara G. Ryder
152
Voted
SOSP
2009
ACM
16 years 18 days ago
ODR: output-deterministic replay for multicore debugging
Reproducing bugs is hard. Deterministic replay systems address this problem by providing a high-fidelity replica of an original program run that can be repeatedly executed to zer...
Gautam Altekar, Ion Stoica
136
Voted
HRI
2010
ACM
15 years 10 months ago
A study of a retro-projected robotic face and its effectiveness for gaze reading by humans
—Reading gaze direction is important in human-robot interactions as it supports, among others, joint attention and non-linguistic interaction. While most previous work focuses on...
Frédéric Delaunay, Joachim de Greeff...
127
Voted
TEI
2010
ACM
199views Hardware» more  TEI 2010»
15 years 10 months ago
Revealing the invisible: visualizing the location and event flow of distributed physical devices
Distributed physical user interfaces comprise networked sensors, actuators and other devices attached to a variety of computers in different locations. Developing such systems is ...
Nicolai Marquardt, Tom Gross, M. Sheelagh T. Carpe...
149
Voted
FASE
2009
Springer
15 years 10 months ago
HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D....