6960 search results - page 1299 / 1392 » Continuity Analysis of Programs |
CHI
2011
ACM
14 years 1 months ago
2011
ACM
Nonparametric data from multi-factor experiments arise often in human-computer interaction (HCI). Examples may include error counts, Likert responses, and preference tallies. But ...
COMSUR
2011
13 years 9 months ago
2011
—Optical layer monitoring and fault localization serves as a critical functional module in the control and management of optical networks. An efficient monitoring scheme aims at ...
135
click to vote
ESORICS
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. Trigger-based code (malicious in many cases, but not necessarily) only executes when specific inputs are received. Symbolic execution has been one of the most powerful t...
109
click to vote
SIGMOD
2012
ACM
13 years 10 days ago
2012
ACM
In this demo, we will present Tiresias, the first how-to query engine. How-to queries represent fundamental data analysis questions of the form: “How should the input change in...
273
click to vote
DAC
2012
ACM
13 years 9 days ago
2012
ACM
Much recent research [8, 6, 7] suggests significant power and energy benefits of relaxing correctness constraints in future processors. Such processors with relaxed constraints ...