Sciweavers

1534 search results - page 136 / 307
» Error Reporting Logic
Sort
View
ISSS
2002
IEEE
142views Hardware» more  ISSS 2002»
15 years 9 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 8 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 4 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
145
Voted
KBSE
2009
IEEE
15 years 11 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 2 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...