1940 search results - page 205 / 388 » Dependable Software: An Oxymoron |
158
click to vote
ICTCS
2003
Springer
15 years 11 months ago
2003
Springer
We define a calculus for modeling dynamic linking independently of the details of a particular programming environment. The calculus distinguishes at the language level the notion...
179
click to vote
ASYNC
2002
IEEE
15 years 11 months ago
2002
IEEE
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...
148
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
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...
177
click to vote
ISQED
2002
IEEE
15 years 11 months ago
2002
IEEE
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)...
176
click to vote
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
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...