156 search results - page 17 / 32 » A Meta Linear Logical Framework |
190
Voted
FPGA
2008
ACM
15 years 5 months ago
2008
ACM
Stochastic simulations and other scientific applications that depend on random numbers are increasingly implemented in a parallelized manner in programmable logic. High-quality ps...
167
Voted
IWFM
2003
15 years 4 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
133
Voted
RTA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
148
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
144
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
Detection of a global predicate is a fundamental problem in distributed computing. In this paper we describe new predicate detection algorithms for certain temporal logic predicat...