16725 search results - page 2794 / 3345 » Engineering Software Correctness |
184
click to vote
VLSI
2005
Springer
16 years 15 days ago
2005
Springer
Quasi delay insensitive circuits are functionally independent of delays in gates and wires (except for some particular wires). Such asynchronous circuits offer high robustness but...
202
click to vote
CAISE
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Software requirements engineering is an essential activity for the successful development of information systems. Requirements can be specified using different techniques...
150
click to vote
ECLIPSE
2004
ACM
16 years 13 days ago
2004
ACM
Information Visualization Toolkits are often in the form of applications or complex frameworks and do not integrate into existing applications very easily. In this paper we introd...
158
click to vote
ECLIPSE
2004
ACM
16 years 13 days ago
2004
ACM
This paper presents a profiling plug-in for IBM’s Eclipse development environment. Our approach characterises profiling as an interactive exploration of a large virtual database...
183
click to vote
ECLIPSE
2004
ACM
16 years 13 days ago
2004
ACM
Debugging distributed applications is a wellknown challenge within the realm of Computer Science. Common problems faced by developers include: lack of an observable global state, ...