6274 search results - page 856 / 1255 » Proofs, Programs, Processes |
131
click to vote
EUROPAR
2009
Springer
15 years 12 months ago
2009
Springer
Moore’s Law suggests that the number of processing cores on a single chip increases exponentially. The future performance increases will be mainly extracted from thread-level par...
183
Voted
FM
2009
Springer
15 years 12 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
164
Voted
NORDSEC
2009
Springer
15 years 12 months ago
2009
Springer
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...
158
click to vote
OOPSLA
2009
Springer
15 years 12 months ago
2009
Springer
Scripting languages enjoy great popularity due their support for rapid and exploratory development. They typically have lightweight syntax, weak data privacy, dynamic typing, powe...
141
Voted
UM
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. The vast amount of information presented in museums is often overwhelming to a visitor, making it difficult to select personally interesting exhibits. Advances in mobile...