Sciweavers

1340 search results - page 171 / 268
» JWARS output analysis
Sort
View
SIGMOD
2012
ACM
222views Database» more  SIGMOD 2012»
13 years 10 days ago
Tiresias: a demonstration of how-to queries
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...
Alexandra Meliou, Yisong Song, Dan Suciu
ICSE
2012
IEEE-ACM
13 years 8 days ago
Synthesizing API usage examples
Abstract—Key program interfaces are sometimes documented with usage examples: concrete code snippets that characterize common use cases for a particular data type. While such doc...
Raymond P. L. Buse, Westley Weimer
ESORICS
2008
Springer
14 years 11 months ago
Termination-Insensitive Noninterference Leaks More Than Just a Bit
Current tools for analysing information flow in programs build upon ideas going back to Denning's work from the 70's. These systems enforce an imperfect notion of informa...
Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld, D...
SC
1995
ACM
15 years 1 months ago
I/O Limitations in Parallel Molecular Dynamics
Abstract We discuss data production rates and their impact on the performance of scientific applications using parallel computers. On one hand, too high rates of data production c...
Terry W. Clark, L. Ridgway Scott, Stanislaw Wloked...
ICAD
2004
14 years 11 months ago
Designing Sound: Towards a System for Designing Audio Interfaces using Timbre Spaces
The creation of audio interfaces is currently hampered by the difficulty of designing sounds for them. This paper presents a novel system for generating and manipulating non-speec...
Craig Nicol, Stephen A. Brewster, Philip D. Gray