Sciweavers

1327 search results - page 143 / 266
» Cost-Benefit Analysis of Software Development Techniques and...
Sort
View
ISSRE
2006
IEEE
15 years 4 months ago
A Systematic Approach to Generate Inputs to Test UML Design Models
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. Fran...
ICCAD
2009
IEEE
82views Hardware» more  ICCAD 2009»
14 years 7 months ago
Operating system scheduling for efficient online self-test in robust systems
Very thorough online self-test is essential for overcoming major reliability challenges such as early-life failures and transistor aging in advanced technologies. This paper demon...
Yanjing Li, Onur Mutlu, Subhasish Mitra
COOPIS
2003
IEEE
15 years 3 months ago
Automatic Expansion of Manual Email Classifications Based on Text Analysis
The organization of documents is a task that we face as computer users daily. This is particularly true for management of email. Typically email documents are organized in director...
Enrico Giacoletto, Karl Aberer
IWPC
1999
IEEE
15 years 2 months ago
Recovery of Jump Table Case Statements from Binary Code
One of the fundamental problems with the static analysis of binary (executable) code is that7 of recognizing, in a machine-independent way, the target addresses of n-conditional b...
Cristina Cifuentes, Mike Van Emmerik
SIGSOFT
2005
ACM
15 years 10 months ago
A case study on value-based requirements tracing
Project managers aim at keeping track of interdependencies between various artifacts of the software development lifecycle, to find out potential requirements conflicts, to better...
Matthias Heindl, Stefan Biffl