2520 search results - page 120 / 504 » Model-checking behavioral programs |
92
Voted
TOCS
2012
13 years 3 months ago
2012
We analyze the I/O behavior of iBench, a new collection of productivity and multimedia application workloads. Our analysis reveals a number of differences between iBench and typic...
109
click to vote
LCPC
2007
Springer
15 years 7 months ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
127
Voted
IFIP
1992
Springer
15 years 4 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
111
Voted
POS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. This paper presents the performance evaluation of five memory allocation strategies for the PerDiS Persistent Distributed Object store in the context of allocating two di...
139
click to vote
EUROPAR
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Today’s parallel computers with SMP nodes provide both multithreading and message passing as their modes of parallel execution. As a consequence, performance analysis a...