2181 search results - page 206 / 437 » Standard Software as Microworld |
131
Voted
CSMR
2004
IEEE
15 years 4 months ago
2004
IEEE
Usually software is maintained by people different from those who developed it. In this context the maintenance activities are dominated by the comprehension effort. The study of ...
108
Voted
EUROMICRO
2004
IEEE
15 years 4 months ago
2004
IEEE
A contemporary office or knowledge worker has to deal with an ever increasing number of information channels and associated flows of events (i.e., software applications using vary...
125
click to vote
FPL
2006
Springer
15 years 4 months ago
2006
Springer
Advances in FPGA-based reconfigurable computers have made them a viable computing platform for a vast variety of computation demanding areas such as bioinformatics, speech recogni...
101
click to vote
KBSE
1998
IEEE
15 years 4 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
ICSE
2000
IEEE-ACM
15 years 4 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...