Sciweavers

531 search results - page 8 / 107
» The Spec
Sort
View
KBSE
2010
IEEE
14 years 7 months ago
SpecDiff: debugging formal specifications
Zhenchang Xing, Jun Sun 0001, Yang Liu 0003, Jin S...
ISCA
1998
IEEE
119views Hardware» more  ISCA 1998»
15 years 2 months ago
Execution Characteristics of Desktop Applications on Windows NT
This paper examines the performance of desktop applications running on the Microsoft Windows NT operating system on Intel x86 processors, and contrasts these applications to the p...
Dennis C. Lee, Patrick Crowley, Jean-Loup Baer, Th...
ICIP
2005
IEEE
15 years 11 months ago
Efficient coding of computer generated compound images
A new compound image compression algorithm is proposed, based on Shape Primitive Extraction and Coding (SPEC). The SPEC first segments a compound image into text/graphics pixels an...
Tony Lin, Pengwei Hao, Sang Uk Lee
SIGSOFT
2005
ACM
15 years 10 months ago
Online testing with model programs
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
Margus Veanes, Colin Campbell, Wolfram Schulte, Ni...