9842 search results - page 332 / 1969 » Compositional timing analysis |
133
click to vote
FPL
2001
Springer
15 years 9 months ago
2001
Springer
The Generic Library for Adaptive Computing Environments (GLACE) consists of a comprehensive set of module generators currently targeting Xilinx XC4000 and Virtex devices. In contra...
127
click to vote
ASIAN
1999
Springer
15 years 9 months ago
1999
Springer
This paper aims at introducing an extension of M-nets, a fully compositional class of high-level Petri nets, and of its low-level counter part, Petri Boxes Calculus (PBC). We intro...
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
We recall the contribution of Goguen and Burstall's 1980 CAT paper and its powerful influence on theories of specification implementation that were emerging at about the same ...
129
click to vote
IJAR
2008
15 years 4 months ago
2008
The two most important models of inferencing in approximate reasoning with fuzzy sets are Zadeh's Compositional Rule of Inference (CRI) and Similarity Based Reasoning (SBR). ...
152
click to vote
NAR
2010
14 years 11 months ago
2010
Serial transcriptomics experiments investigate the dynamics of gene expression changes associated with a quantitative variable such as time or dosage. The statistical analysis of ...