Sciweavers

859 search results - page 83 / 172
» Implementing CMMI using a Combination of Agile Methods
Sort
View
VL
2008
IEEE
111views Visual Languages» more  VL 2008»
15 years 10 months ago
Test-driven goal-directed debugging in spreadsheets
We present an error-detection and -correction approach for spreadsheets that automatically generates questions about input/output pairs and, depending on the feedback given by the...
Robin Abraham, Martin Erwig
FORMATS
2007
Springer
15 years 10 months ago
Hypervolume Approximation in Timed Automata Model Checking
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
Víctor A. Braberman, Jorge Lucángeli...
VISUALIZATION
2000
IEEE
15 years 8 months ago
Six degree-of-freedom haptic display of polygonal models
: We present an algorithm for haptic display of moderately complex polygonal models with a six degree of freedom (DOF) force feedback device. We make use of incremental algorithms ...
Arthur D. Gregory, Ajith Mascarenhas, Stephen A. E...
CODES
1994
IEEE
15 years 8 months ago
Towards a declarative framework for hardware-software codesign
We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for para...
Wayne Luk, Teddy Wu
DFT
2004
IEEE
93views VLSI» more  DFT 2004»
15 years 8 months ago
First Level Hold: A Novel Low-Overhead Delay Fault Testing Technique
This paper presents a novel delay fault testing technique, which can be used as an alternative to the enhanced scan based delay fault testing, with significantly less design overh...
Swarup Bhunia, Hamid Mahmoodi-Meimand, Arijit Rayc...