1631 search results - page 130 / 327 » Observing Functional Logic Computations |
105
click to vote
VLSID
1997
IEEE
15 years 8 months ago
1997
IEEE
Integer addition is one of the most important operations in digital computer systems because the performance of processors is significantly influenced by the speed of their adde...
132
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...
CONCUR
1990
Springer
15 years 7 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
155
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. We present a categorical denotational semantics for a database mapping, based on views, in the most general framework of a database integration/exchange. Developed databa...
144
click to vote
DAC
2010
ACM
14 years 10 months ago
2010
ACM
This paper presents a logic restructuring technique named node addition and removal (NAR). It works by adding a node into a circuit to replace an existing node and then removing t...