Sciweavers

4752 search results - page 593 / 951
» Dependability in Web Software
Sort
View
ASYNC
2002
IEEE
113views Hardware» more  ASYNC 2002»
16 years 17 days ago
A Dual-Mode Synchronous/Asynchronous CORDIC Processor
For application in a software defined radio a CORDIC processor has been developed that can operate both in synchronous and asynchronous mode. Each mode of operation has advantages...
Eckhard Grass, Bodhisatya Sarker, Koushik Maharatn...
COMPSAC
2002
IEEE
16 years 17 days ago
A Typed Generic Process Model for Product Focused Process Improvement
The motivation behind the idea of product focused process improvement is to make a process improvement program address certain product quality features in an explicit manner. The P...
Manoranjan Satpathy, Rachel Harrison
ISQED
2002
IEEE
129views Hardware» more  ISQED 2002»
16 years 16 days ago
Design Method and Automation of Comparator Generation for Flash A/D Converter
The design methods and the automation of the comparator circuit layout generation for a flash A/D converter are presented in this paper. The threshold inverter quantization (TIQ)...
Daegyu Lee, Jincheol Yoo, Kyusun Choi
WCRE
2002
IEEE
16 years 15 days ago
A Methodology for Developing Transformations Using the Maintainability Soft-Goal Graph
Over the past few years, we are experiencing a surge of evolution problems related to legacy object-oriented systems. Object orientation provides means for systems to be well-desi...
Ladan Tahvildari, Kostas Kontogiannis
FSTTCS
2001
Springer
16 years 3 days ago
Distributed LTL Model Checking Based on Negative Cycle Detection
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
Lubos Brim, Ivana Cerná, Pavel Krcál...