5235 search results - page 356 / 1047 » Analysis of Multithreaded Programs |
164
click to vote
ICTCS
2005
Springer
16 years 8 days ago
2005
Springer
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
192
click to vote
ESOP
2007
Springer
16 years 28 days ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
189
click to vote
IPPS
2005
IEEE
16 years 10 days ago
2005
IEEE
Abstract— We developed an automated environment to measure the memory access behavior of applications on high performance clusters. Code optimization for processor caches is cruc...
213
click to vote
CCS
2005
ACM
16 years 9 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
175
Voted
WORDS
2003
IEEE
16 years 23 hour ago
2003
IEEE
The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be com...