1598 search results - page 110 / 320 » A Unified Computation Model for Functional and Logic Program... |
147
click to vote
ICA3PP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Measurement and modelling of distributions of data communication times is commonly done for telecommunication networks, but this has not previously been done for message ...
160
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
140
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
This paper presents a unifying framework for the modeling of asynchronous pipeline circuits. A pipeline protocol is captured in a graph-based model which defines the partial order...
179
click to vote
PASTE
2004
ACM
15 years 11 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
187
click to vote
TPHOL
2009
IEEE
16 years 24 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...