Português English
Contato

Artigos Científicos | Publicações em Periódicos – 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.