Sciweavers

1534 search results - page 136 / 307
» Error Reporting Logic
Sort
View
ISSS
2002
IEEE
142views Hardware» more  ISSS 2002»
15 years 11 months ago
Energy/Power Estimation of Regular Processor Arrays
We propose a high-level analytical model for estimating the energy and/or power dissipation in VLSI processor (systolic) array implementations of loop programs, particularly for i...
Sanjay V. Rajopadhye, Steven Derrien
ICDAR
1997
IEEE
15 years 10 months ago
Modeling Documents for Structure Recognition Using Generalized N-Grams
In this paper we present and discuss a novel approach to modeling logical structures of documents, based on a statistical representation of patterns in a document class. An effic...
Rolf Brugger, Abdel Wahab Zramdini, Rolf Ingold
AAECC
1999
Springer
82views Algorithms» more  AAECC 1999»
15 years 6 months ago
Reasoning over Networks by Symbolic Methods
Effective quantifier elimination procedures for the reals allow to solve problems that can be encoded into corresponding first-order formulas including ordering constraints. In con...
Thomas Sturm
KBSE
2009
IEEE
16 years 1 months ago
Static Validation of C Preprocessor Macros
—The widely used C preprocessor (CPP) is generally considered a source of difficulty for understanding and maintaining C/C++ programs. The main reason for this difficulty is CP...
Andreas Saebjoernsen, Lingxiao Jiang, Daniel J. Qu...

Publication
220views
17 years 4 months ago
Traffic Management in ATM Networks over Satellite Links
his report presents a survey of the traffic management issues in the design and implementation of satellite-ATM networks. First a reference satellite-ATM network architecture is pr...
R. Goyal, R. Jain, M. Goyal, S. Fahmy, and B. Vand...