Sciweavers

419 search results - page 33 / 84
» A Control-Theoretic Approach to Flow Control
Sort
View
COMPSAC
2006
IEEE
15 years 8 months ago
A Practical Approach for Automated Test Case Generation using Statecharts
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
Valdivino A. Santiago, Ana Silvia Martins do Amara...
AHS
2007
IEEE
211views Hardware» more  AHS 2007»
15 years 6 months ago
Synthesis of Multimode digital signal processing systems
In this paper, we propose a design methodology for implementing a multimode (or multi-configuration) and multi-throughput system into a single hardware architecture. The inputs of...
Caaliph Andriamisaina, Emmanuel Casseau, Philippe ...
PAMI
2010
135views more  PAMI 2010»
15 years 11 days ago
A Variational Approach to Degraded Document Enhancement
—The goal of this paper is to correct bleed-through in degraded documents using a variational approach. The variational model is adapted using an estimated background according t...
Reza Farrahi Moghaddam, Mohamed Cheriet
94
Voted
COMCOM
2004
79views more  COMCOM 2004»
15 years 1 months ago
Interdomain traffic engineering with redistribution communities
Various traffic engineering techniques are used to control the flow of IP packets inside large ISP networks. However, few techniques have been proposed to control the flow of pack...
Bruno Quoitin, Sébastien Tandel, Steve Uhli...
APLAS
2007
ACM
15 years 6 months ago
A Systematic Approach to Probabilistic Pointer Analysis
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...