CODES
1996
IEEE
14 years 4 days ago
1996
IEEE
This reported work applies a transformational synthesis approach to hardware/software codesign. In this approach, the process of algorithm design is coupled early on with hardware...
CODES
1996
IEEE
14 years 4 days ago
1996
IEEE
The TaSCA environment for hardware/software co-design of control dominated systems implemented on a single chip includes a novel approach to the system exploration phase for the e...
CODES
1996
IEEE
14 years 4 days ago
1996
IEEE
APSEC
1996
IEEE
14 years 4 days ago
1996
IEEE
APSEC
1996
IEEE
14 years 4 days ago
1996
IEEE
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...
APSEC
1996
IEEE
14 years 4 days ago
1996
IEEE
APSEC
1996
IEEE
14 years 4 days ago
1996
IEEE
Nowadays, for GUI application development, a number of interface builders make possible for the user to create user interfaces easily and UIMSs help to specify and design user int...
APSEC
1996
IEEE
14 years 4 days ago
1996
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as aformula of "adom...
ADAEUROPE
1997
Springer
14 years 4 days ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
ADAEUROPE
1997
Springer
14 years 4 days ago
1997
Springer
Abstract. This paper describes the development of two kinds of atomic action schemes for Ada 95. We start by discussing the basic features required of an atomic action scheme and w...