2255 search results - page 353 / 451 » High Assurance Software Systems |
165
click to vote
JSS
2010
14 years 11 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
140
click to vote
VLSID
2001
IEEE
16 years 5 months ago
2001
IEEE
Networking hardware manufacturers face the dual demands of supporting ever increasing bandwidth requirements, while also delivering new features, such as the ability to implement ...
140
click to vote
SOSP
2007
ACM
16 years 1 months ago
2007
ACM
Software defects significantly reduce system dependability. Among various types of software bugs, semantic and concurrency bugs are two of the most difficult to detect. This pape...
142
click to vote
COMPCON
1994
IEEE
15 years 9 months ago
1994
IEEE
: Today, online transaction processing applications can downsize from mainframes to microprocessors. Commodity database systems, operating systems, and hardware came of age in 1993...
180
click to vote
CASES
2007
ACM
15 years 9 months ago
2007
ACM
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...