3239 search results - page 229 / 648 » A Logical Process Calculus |
115
Voted
PATMOS
2005
Springer
15 years 10 months ago
2005
Springer
A new method for predicting timing jitter caused by device noise in current-mode logic (CML) frequency dividers is presented. Device noise transformation into jitter is modeled as ...
167
Voted
EPIA
1997
Springer
15 years 9 months ago
1997
Springer
Argumentation semantics in extended logic programming has been defined in [5,12] for a single agent which determines its believes by an internal argumentation process. In this pap...
135
click to vote
EUSFLAT
2001
15 years 6 months ago
2001
Architecture is a multidisciplinary science with many dimensions.For a design task the major part of the design requirements are often qualitative (soft) next to quantitative desi...
148
click to vote
CATA
2003
15 years 6 months ago
2003
Many current general purpose processors use extensions to the instruction set architecture to enhance the performance of digital image processing and multimedia applications. In t...
147
click to vote
FSTTCS
2004
Springer
15 years 10 months ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...