Sciweavers

672 search results - page 37 / 135
» Property-aware program sampling
Sort
View
IMCSIT
2010
13 years 5 months ago
Exploratory Programming in the Virtual Laboratory
GridSpace 2 is a novel virtual laboratory framework enabling researchers to conduct virtual experiments on Gridbased resources and other HPC infrastructures. GridSpace 2 facilitate...
Eryk Ciepiela, Daniel Harezlak, Joanna Kocot, Toma...
WSC
2007
13 years 10 months ago
Analysis and generation of random vectors with copulas
Copulas are used in finance and insurance for modeling stochastic dependency. They comprehend the entire dependence structure, not only the correlations. Here they are estimated ...
Johann Christoph Strelen, Feras Nassaj
PLDI
2012
ACM
11 years 10 months ago
Proving acceptability properties of relaxed nondeterministic approximate programs
Approximate program transformations such as skipping tasks [29, 30], loop perforation [21, 22, 35], reduction sampling [38], multiple selectable implementations [3, 4, 16, 38], dy...
Michael Carbin, Deokhwan Kim, Sasa Misailovic, Mar...
CC
2007
Springer
14 years 1 months ago
Correcting the Dynamic Call Graph Using Control-Flow Constraints
Abstract. To reason about programs, dynamic optimizers and analysis tools use sampling to collect a dynamic call graph (DCG). However, sampling has not achieved high accuracy with ...
Byeongcheol Lee, Kevin Resnick, Michael D. Bond, K...
ICAD
2004
13 years 9 months ago
Listening to the Mind Listening
The following explains what mappings have been chosen for a sonification of several data channels from set containing a recording of the neural activity of a person listening to a...
Hans Van Raaij