Sciweavers

1251 search results - page 149 / 251
» Design of an Early Minicomputer
Sort
View
TCAD
2008
75views more  TCAD 2008»
15 years 6 months ago
Static Analysis of Transaction-Level Communication Models
We propose a methodology for the early estimation of communication implementation choices eftarting from an abstract transaction level system model (TLM). The reference version of ...
Giovanni Agosta, Francesco Bruschi, Donatella Sciu...
JAR
2007
80views more  JAR 2007»
15 years 6 months ago
Integrating Searching and Authoring in Mizar
The vision of a computerised assistant to mathematicians has existed since the inception of theorem proving systems. The Alcor system has been designed to investigate and explore h...
Paul A. Cairns, Jeremy Gow
JCC
2007
69views more  JCC 2007»
15 years 6 months ago
Discrimination of dynamical system models for biological and chemical processes
In technical chemistry, systems biology and biotechnology, the construction of predictive models has become an essential step in process design and product optimization. Accurate ...
Sönke Lorenz, Elmar Diederichs, Regina Telgma...
VLSISP
2008
132views more  VLSISP 2008»
15 years 6 months ago
Serial and Parallel FPGA-based Variable Block Size Motion Estimation Processors
H.264/AVC is the latest video coding standard adopting variable block size motion estimation (VBS-ME), quarter-pixel accuracy, motion vector prediction and multi-reference frames f...
Brian M. H. Li, Philip Heng Wai Leong
JUCS
2002
109views more  JUCS 2002»
15 years 6 months ago
On Second Generation Distributed Component Systems
Abstract: Two of today's most used buzz-words in the context of software development are the terms Componentware and Distributed Object-System. The combination of both ideas i...
Klaus Schmaranz