3706 search results - page 494 / 742 » The Transformational Approach to Program Development |
124
click to vote
CG
2005
Springer
15 years 5 months ago
2005
Springer
Sketch-based user interfaces provide a more direct and convenient way for interacting with computers, especially for performing graphical tasks. Most computer programs provide a m...
162
click to vote
IEEECIT
2010
IEEE
15 years 3 months ago
2010
IEEE
—Superblocks represent regions in a program code that consist of multiple basic blocks. Compilers benefit from this structure since it enables optimization across block boundari...
170
click to vote
CORR
2011
Springer
15 years 1 days ago
2011
Springer
—We consider the problem of positioning a cloud of points in the Euclidean space Rd , from noisy measurements of a subset of pairwise distances. This task has applications in var...
155
click to vote
CSMR
2010
IEEE
15 years 7 hour ago
2010
IEEE
Abstract--Building comprehensive test suites for web applications poses new challenges in software testing. Coverage criteria used for traditional systems to assess the quality of ...
152
click to vote
EUROSYS
2011
ACM
14 years 8 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...