Português English

Publications | Journal Papers – 2007

Agostini, Luciano Volcan. Silva, Ivan Saraiva. Bampi, Sergio.
Multiplierless and fully pipelined JPEG compression soft IP targeting FPGAs. In: Microprocessors and microsystems. Guidford. Vol. 31, n. 8 (Dec. 2007), p. 487-497.

Baldan, Paolo. Corradini, Andrea. Montanari, Ugo. Ribeiro, Leila.
Unfolding semantics of graph transformation. In: Information and computation. Amsterdam. Vol. 205, no. 2 (Feb. 2007), p. 134-148.

Bernardon, Fabio Fedrizzi. Callahan, Steven Paul. Comba, Joao Luiz Dihl. Silva, Cláudio Teixeira.
An adaptive framework for visualizing unstructured grids with time-varying scalar fields. In: Parallel computing.The Nederlands. Vol. 33, n. 6 (June 2007), p. 391-405 : il.

Buriol, Luciana Salete. Resende, Mauricio G.C.. Thorup, Mikkel.
Survivable IP network design with OSPF routing. In: Networks, New York. Vol. 49, no. 1 (2007), p. 51-64 : il.

Ferreira, Ana Paula Ludtke. Ribeiro, Leila. Foss, Luciana.
Formal Verification of Object-Oriented Graph Grammars Specifications.. In: Electronic Notes in Theoretical Computer Science, Amesterdam. Vol. 175. (2007), p. 101-114 : il.

Frantz, Arthur Pereira. Santos, Maico Cassel dos. Kastensmidt, Fernanda Gusmão de Lima. Cota, Erika Fernandes. Carro, Luigi.
Crosstalk- and SEU-aware networks on chips. In: IEEE design and test of computers. California. p. 340-350 : il.

Garcez, Artur S. d’Avila. Lamb, Luis da Cunha. Gabbay, Dov M..
Connectionist modal logic : representing modalities in neural networks. In: Theoretical computer science. Amsterdam. Vol. 371, no. 1-2 (Feb. 2007), p. 34-53 : il.

Gaspary, Luciano Paschoal. Barcellos, Antonio Marinho Pilla. Detsch, André. Antunes, Rodolfo Stoffel.
Flexible security in peer-to-peer applications : enabling new apportunities beyond file sharing. In: Computer networks: the international journal of computer and telecommunications networking. Amsterdam. Vol. 51, no 17 (Dec. 2007), p. 4797-4815 : il.

Gavião Neto, Wilson Pires. Scharcanski, Jacob.
Evaluating the mid-secretory endometrium appearance using hysteroscopic digital video summarization. In: Image and vision computing, New York. Vol. 25, no. 1 (Jan. 2007), p. 70-77 : il.

Han, Sang-iL. Chae, Soo-IK. Brisolara, Lisane Brisolara de. Carro, Luigi. Reis, Ricardo Augusto da Luz. Guerin, Xavier. Jerraya, Ahmed Amine.
Memory-efficient multithreaded code generation from Simulink for heterogeneous MPSoC.. In: Design Automation for Embedded Systems, New York . Vol. 11. (2007), p. 249-283 : il.

Indrusiak, Leandro Soares. Glesner, Manfred. Reis, Ricardo Augusto da Luz.
On the evolution of remote laboratories for prototyping digital electronic systems. In: IEEE transactions on industrial electronics. New York. Vol. 54, no. 6 (Dec. 2007), 3069-3077 : il.

Jaques, Patricia Augustin. Vicari, Rosa Maria.
A BDI approach to infer student’s emotions in an intelligent learning environment. In: Computers & education : an international journal. Elmsford. Vol. 49, n. 2 (Sept. 2007), p. 360-384.

Lazzari, Cristiano. Reis, Ricardo Augusto da Luz. Anghel, Lorena.
A case study on phase-locked loop automatic layout generation and transient fault injection analysis. In: The Journal of Electronic Testing. The Netherlands. Vol. 23, no. 6 (dez. 2007), p. 625-633 : il.

Mendizabal, Odorico Machado. Ribeiro, Leila. Dotti, Fernando Luis.
Stochastic Object-based Graph Grammars. In: Electronic Notes in Theoretical Computer Science, Amesterdam. Vol. 184. (2007), p. 151-170 : il.

Negreiros, Marcelo. Carro, Luigi. Susin, Altamiro Amadeu.
Reducing Test Time Using an Enhanced RF Loopback.. In: Journal of Electronic Testing, New York. Vol. 23 (2007), p. 613-623 : il.

Pereira, Carlos Eduardo. Carro, Luigi.
Distributed real-time embedded systems: recent advances, future trends and their impact on manufacturing plant control.. In: Annual Reviews in Control, Amesterdam. Vol. 31 (2007), p. 81-92 : il.

Pinto, Marcelo Cezar. Foss, Luciana. Mombach, Jose Carlos Merino. Ribeiro, Leila.
Modelling, property verification and behavioural equivalence of lactose operon regulation. In: Computers in biology and medicine. Vol. 37, no. 2 (Feb. 2007), p. 134-148 .

Scharcanski, Jacob.
A wavelet-based approach for analyzing industrial stochastic textures with applications. In: IEEE transactions on systems, man, and cybernetics. In: Image and vision computing, New York. Vol. 37, no. 1 (Jan. 2007), p. 10-22 : il.

Schüler, Erik. Carro, Luigi. Erigson, Marcelo Ienczczak.
Functionally Fault-Tolerant DSP Microprocessor using Sigma-delta Modulated Signals. In: Journal of Electronic Testing, New York. Vol. 23. (2007), p. 275-292 : il.

Silva, Roberto da. Stasiu, Raquel Kolitski. Orengo, Viviane Moreira. Heuser, Carlos Alberto.
Measuring quality of similarity functions in approximate data matching. In: Journal of Informetrics, New York. Vol. 1, n. 1, (Jan. 2007), p. 35-46.

Sterpone, Luca. Reorda, Matteo Sonza. Violante, Massimo. Kastensmidt, Fernanda Gusmão de Lima. Carro, Luigi.
Evaluating different solutions to design fault tolerant systems with SRAM-based FPGAs. In: Journal of electronic testing : theory and applications. Hingham. Vol. 23, n. 1 (2007), p.47-54 : il.

Vieira, Renata. Moreira, Alvaro Freitas. Wooldridge, Michael J.. Bordini, Rafael Heitor.
On the formal semantics of speech-act based communication in an agent-oriented programming language. In: Journal of Artificial Intelligence Research, Danvers. Vol. 29, (2007), p. 221-267.

Wagner, Flavio Rech. Cesário, Wander O.. Jerraya, Ahmed Amine.
Hardware/Software IP integration using the ROSES design environment. In: ACM Transactions on Embedded Computing Systems, New York. Vol.6, n.3 (July 2007), p. 1-23 : il.

Wang, Jianning. Oliveira Neto, Manuel Menezes de.
Filling holes on locally smooth surfaces reconstructed from point clouds. In: Image and vision computing, New York. Vol. 25, no. 1 (Jan. 2007), p. 103-113 : il.

Wirth, Gilson Inacio. Silva, Roberto da. Brederlow, Ralf.
Statistical model for the circuit bandwidth dependence of low-frequency noise in deep-submicrometer MOSFETs. In: IEEE transactions on electron devices. New York. Vol. 54, no. 2 (Feb. 2007), p. 340-345 : il., gráfs.

Ziviani, Nivio. Laender, Alberto H.F.. Moura, Edleno Silva de. Silva, Altigran Soares da. Heuser, Carlos Alberto. Meira Junior, Wagner.
GERINDO : gestión y recuperación de información en grandes recopilaciones de documentos. In: Novática. Barcelona. n. 185, (Enero/Feb. 2007), p. 36-42 : il.

Ziviani, Nivio. Laender, Alberto H.F.. Moura, Edleno Silva de. Silva, Altigran Soares da. Heuser, Carlos Alberto. Meira Junior, Wagner.
GERINDO : managing and retrieving information in large document collections. In: UPGRADE the European Journal for the Informatics Professional, Barcelona. Vol. 8, no. 1 (Feb. 2007), p. 41-48 : il.