1148 search results - page 62 / 230 » Software engineering considered harmful |
144
click to vote
WADT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
151
click to vote
CODES
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we present an approach to performance estimation for hard real-time systems. We consider architectures consisting of multiple processors. The scheduling policy is ba...
127
click to vote
EUROMICRO
1999
IEEE
15 years 8 months ago
1999
IEEE
The Komodo project concerns the handling of multiple real-time events by Java threads that are supported by a multithreaded Java microcontroller. The architecture of the processor...
122
click to vote
COMPSAC
1997
IEEE
15 years 8 months ago
1997
IEEE
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still’be considered a niche market, there is growing evidenc...
130
click to vote
EUROMICRO
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper considers whether the seemingly disparate fields of Computational Intelligence (CI) and computer architecture can profit from each others’ principles, results and e...