Sciweavers

565 search results - page 54 / 113
» Compositional dynamic test generation
Sort
View
JSS
2010
107views more  JSS 2010»
15 years 1 months ago
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testi...
Kiran Lakhotia, Phil McMinn, Mark Harman
MICRO
2000
IEEE
124views Hardware» more  MICRO 2000»
15 years 7 months ago
Calpa: a tool for automating selective dynamic compilation
Selective dynamic compilation systems, typically driven by annotations that identify run-time constants, can achieve significant program speedups. However, manually inserting ann...
Markus Mock, Craig Chambers, Susan J. Eggers
132
Voted
SMA
2003
ACM
170views Solid Modeling» more  SMA 2003»
15 years 8 months ago
Contour generators of evolving implicit surfaces
The contour generator is an important visibility feature of a smooth object seen under parallel projection. It is the curve on the surface which seperates front-facing regions fro...
Simon Plantinga, Gert Vegter
159
Voted
ENDM
2010
167views more  ENDM 2010»
15 years 20 days ago
Column Generation based Primal Heuristics
In the past decade, significant progress has been achieved in developing generic primal heuristics that made their way into commercial mixed integer programming (MIP) solver. Exte...
C. Joncour, S. Michel, R. Sadykov, D. Sverdlov, Fr...
AR
2011
14 years 10 months ago
Learning, Generation and Recognition of Motions by Reference-Point-Dependent Probabilistic Models
This paper presents a novel method for learning object manipulation such as rotating an object or placing one object on another. In this method, motions are learned using referenc...
Komei Sugiura, Naoto Iwahashi, Hideki Kashioka, Sa...