ICSM
1993
IEEE
14 years 2 days ago
1993
IEEE
EUROMICRO
1996
IEEE
14 years 2 days ago
1996
IEEE
Signature based error detection techniques (e.g. the application of watchdog processors) can be easily extended to support software debugging. The run-time sequence of signatures ...
EUROMICRO
1996
IEEE
14 years 2 days ago
1996
IEEE
APSEC
1996
IEEE
14 years 2 days ago
1996
IEEE
This paper is concerned with the design and performance of the telephone directory enquiry system newly adopted in Hong Kong. This system maintains three million telephone records...
CODES
1994
IEEE
14 years 2 days ago
1994
IEEE
CODES
1994
IEEE
14 years 2 days ago
1994
IEEE
We present a prototyping environment with special benefit for hardware/software codesign which we use as target architecture in the COBRA project1 . This architecture is very flex...
CODES
1994
IEEE
14 years 2 days ago
1994
IEEE
We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for para...
CODES
1994
IEEE
14 years 2 days ago
1994
IEEE
WADT
1997
Springer
14 years 3 days ago
1997
Springer
The dynamic behavior of rule-based systems (like term rewriting systems 24], process algebras 27], and so on) can be traditionally determined in two orthogonal ways. Either operati...
TAPSOFT
1997
Springer
14 years 3 days ago
1997
Springer
We present a typed intermediate language λCIL for optimizing compilers for function-oriented and polymorphically typed programming languages (e.g., ML). The language λCIL is a ty...