io-port.net

io-port 50310594 Viana, Aline Carneiro; Maag, Stephane; Zaïdi, Fatiha

One step forward: linking wireless self-organizing network validation techniques with formal testing approaches (English)

ACM Comput. Surv. 43, No. 2, 7 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06033900 Linhares, Andréa Carneiro; Michelon, Philippe; Feillet, Dominique

An exact site availability approach to modeling the D-FAP. (English)

Haouari, M. (ed.) et al., ISCO 2010. International symposium on combinatorial optimization. Papers based on the presentations at the symposium, Hammamet, Tunesia, March 24‒26, 2010. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 36, 1-8 (2010).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05753800 Linhares, Andréa Carneiro; Moreno, Juan Manuel Torres; Peinl, Peter; Michelon, Philippe

Solving the frequency assignment problem by site availability and constraint programming. (English)

Comput. Res. Repos. 2010, Article No. 1001.1093 (2010).

3

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 50030579 Linhares, Andréa Carneiro; Michelon, Philippe; Feillet, Dominique

An exact site availability approach to modeling the D-FAP (English)

Electronic Notes in Discrete Mathematics 36, 1-8 (2010).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05743450 Carneiro, Milena Bueno Pereira; Veiga, Antônio Cláudio Paschoarelli; De Castro, Fernando Cordeiro; Flôres, Edna Lúcia; Carrijo, Gilberto Arantes

Localizing the iris through memetic algorithms. (English)

Appl. Artif. Intell. 23, No. 8, 738-757 (2009).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70326056 De Andrade, Ermeson Carneiro; Maciel, Paulo Romero Martins; De Almeida Callou, Gustavo Rau; Nogueira, Bruno Costa E. Silva; Araújo, Carlos

Mapping UML sequence diagram to time Petri net for requirement validation of embedded real-time systems with energy constraints (English)

SAC, 377-381 (2009).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70353965 De Andrade, Ermeson Carneiro; Maciel, Paulo Romero Martins; De Almeida Callou, Gustavo Rau; Nogueira, Bruno Costa E. Silva

A methodology for mapping sysml activity diagram to time Petri net for requirement validation of embedded real-time systems with energy constraints (English)

ICDS, 266-271 (2009).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70607471 Carneiro, Milena Bueno Pereira; Veiga, Antônio Cláudio Paschoarelli; De Castro, Fernando Cordeiro; Flôres, Edna Lúcia; Carrijo, Gilberto Arantes

Application of evolutionary algorithms for iris localization (English)

ICME, 506-509 (2009).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70950933 Karbaschi, Golnaz; Viana, Aline Carneiro; Martin, Steven; Agha, Khaldoun Al

On using network coding in multi hop wireless networks (English)

PIMRC, 420-424 (2009).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70826776 Sousa, Flávio R. C.; Filho, Heraldo J. A. Carneiro; Machado, Javam C.

A new approach to replication of XML data (English)

DEXA, 141-150 (2007).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50218074 Da Cruz Serra, António Manuel; Da Silva, Manuel Fonseca; Ramos, Pedro M.; Martins, Raul Carneiro; Michaeli, Linus; Saliga, Ján

Combined spectral and histogram analysis for fast ADC testing (English)

IEEE T. Instrumentation and Measurement 54, No. 4, 1617-1623 (2005).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70726433 Gomes, José Gabriel Rodríguez Carneiro; Mitra, Sanjit K.

Sensitivity analysis of low-complexity vector quantizers for focal-plane image compression (English)

ISCAS (5), 736-739 (2004).

12

PDF XML AMS-TeX TEXT BIBTeX

io-port 70461272 Gomes, José Gabriel Rodríguez Carneiro; Mitra, Sanjit K.

Analog multilayer perceptron implementation of low complexity VQ for image compression (English)

ICIP (2), 279-282 (2003).

13

PDF XML AMS-TeX TEXT BIBTeX

io-port 70228316 Saikoski, Katia B.; Carneiro, Mara Lucia Fernandes

Design consideration in the WEQ-net site development (English)

WebNet (1997).

14

PDF XML AMS-TeX TEXT BIBTeX

io-port 04114376 Ribeiro, Celso Carneiro; Minoux, Michel; Penna, Manoel Camillo

An optimal column-generation-with-ranking algorithm for very large scale set partitioning problems in traffic assignment. (English)

Eur. J. Oper. Res. 41, No.2, 232-239 (1989).

Reviewer: X.Zhang

15

PDF XML AMS-TeX TEXT BIBTeX DOI