2520 search results - page 292 / 504 » Model-checking behavioral programs |
122
Voted
SIGMETRICS
2008
ACM
15 years 2 months ago
2008
ACM
OSprof is a versatile, portable, and efficient profiling methodology based on the analysis of latency distributions. Although OSprof has offers several unique benefits and has bee...
108
Voted
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
135
Voted
ESOP
2010
Springer
15 years 12 months ago
2010
Springer
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W...
116
Voted
SBACPAD
2009
IEEE
15 years 9 months ago
2009
IEEE
RISC processors can be used to face the ever increasing demand for performance required by embedded systems. Nevertheless, this solution comes with the cost of poor code density. ...
118
Voted
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...