3239 search results - page 246 / 648 » A Logical Process Calculus |
125
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
Reliability of logic circuits is emerging as an important concern that may limit the benefits of continued scaling of process technology and the emergence of future technology al...
136
click to vote
JSAI
2007
Springer
15 years 11 months ago
2007
Springer
This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalizati...
130
click to vote
PATMOS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The logical effort method has appeared very convenient for fast estimation and optimization of single paths. However it necessitates a calibration of all the gates of the...
149
click to vote
SUM
2009
Springer
15 years 9 months ago
2009
Springer
We propose a framework to compute the utility of an agreement w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formula...
138
click to vote
PDP
1997
IEEE
15 years 9 months ago
1997
IEEE
Event tracing and monitoring of parallel applications are difficult if each processor has its own unsynchronized clock. A survey is given on several strategies to generate a glob...