ASPDAC
2001
ACM
14 years 9 days ago
2001
ACM
ASPDAC
2001
ACM
14 years 9 days ago
2001
ACM
Abstract- Traditional state-traversal-basedmethods for verifying sequential circuits are computationally infeasible for circuits with a large number of memory elements. However, if...
ASPDAC
2001
ACM
14 years 9 days ago
2001
ACM
AICCSA
2001
IEEE
14 years 9 days ago
2001
IEEE
In the visual programming domain, the stress of research is laid on the use of visual formalism, which is considered to be more intuitive than the textual formalism, in the progra...
AICCSA
2001
IEEE
14 years 9 days ago
2001
IEEE
Debugging and testing is a larger part of the effort spent in a software development cycle. Debugging a program is time consuming and is a continuous cycle of code modification an...
AICCSA
2001
IEEE
14 years 9 days ago
2001
IEEE
AICCSA
2001
IEEE
14 years 9 days ago
2001
IEEE
- This paper presents an environment for development of distributed applications. It consists basically of adding to language Java a library of methods to manipulate shared objects...
AICCSA
2001
IEEE
14 years 9 days ago
2001
IEEE
AICCSA
2001
IEEE
14 years 9 days ago
2001
IEEE
AICCSA
2001
IEEE
14 years 9 days ago
2001
IEEE
Software process modeling has undergone extensive changes in the last three decades, impacting process' structure, degree of control, degree of visualization, degree of autom...