20655 search results - page 89 / 4131 » Exploring Software Systems |
115
Voted
ICSE
2009
IEEE-ACM
15 years 7 days ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
106
Voted
PRIMA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Software systems are becoming more and more part of human life influencing organizational and social activities. This introduces the need of considering the design of a ...
110
click to vote
PASTE
2005
ACM
15 years 8 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
119
click to vote
ITICSE
1996
ACM
15 years 6 months ago
1996
ACM
Scientific visualization is becoming an important part of the curriculum in a number of disciplines. It is a very practical subject, but the commercially available visualization s...
124
Voted
DAC
1997
ACM
15 years 6 months ago
1997
ACM
A methodology for architecture exploration of look-up table based decoders is presented. For the degree of parallel processing a trade-off can be made by exploring system level an...