Sciweavers

1290 search results - page 51 / 258
» Data Dependence Testing in Practice
Sort
View
ICFP
2009
ACM
14 years 3 months ago
Finding race conditions in Erlang with QuickCheck and PULSE
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
Koen Claessen, Michal Palka, Nicholas Smallbone, J...
ASAP
2007
IEEE
112views Hardware» more  ASAP 2007»
13 years 10 months ago
Scheduling Register-Allocated Codes in User-Guided High-Level Synthesis
In high-level synthesis, as for compilers, an important question is when register assignment should take place. Unlike compilers for which the processor architecture is given, syn...
Alain Darte, C. Quinson
ICSE
1998
IEEE-ACM
14 years 1 months ago
An Approach to Large-Scale Collection of Application Usage Data Over the Internet
Empirical evaluation of software systems in actual usage situations is critical in software engineering. Prototyping, beta testing, and usability testing are widely used to refine...
David M. Hilbert, David F. Redmiles
ENTCS
2007
103views more  ENTCS 2007»
13 years 8 months ago
Static Slicing of Rewrite Systems
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...
Diego Cheda, Josep Silva, Germán Vidal
MEDBIOMETRICS
2010
13 years 7 months ago
A DIAMOND Method for Classifying Biological Data
This study proposes an effective method called DIAMOND to classify biological and medical data. Given a set of objects with some classes, DIAMOND separates the objects into differe...
Han-Lin Li, Yao-Huei Huang, Ming-Hsien Chen