2255 search results - page 312 / 451 » High Assurance Software Systems |
212
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
There is a growing need for accurate power models at the system level. Memory structures such as caches, Branch Target Buffers (BTBs), and register files occupy significant area i...
157
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
This paper proposes an efficient method to analyze worst case interruption delay (WCID) of a workload running on modern microprocessors using a cycle accurate simulator (CAS). Our...
145
click to vote
CASES
2001
ACM
15 years 10 months ago
2001
ACM
Abstract. Existing variable-length instruction formats provide higher code densities than fixed-length formats, but are ill-suited to pipelined or parallel instruction fetch and de...
173
click to vote
TSE
2008
15 years 6 months ago
2008
Many software systems have evolved to include a Web-based component that makes them available to the public via the Internet and can expose them to a variety of Web-based attacks. ...
167
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...