


default search action
Journal of the Brazilian Computer Society, Volume 22
Volume 22, Number 1, December 2016
- Renato B. Abreu, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Waldir S. S. Júnior:

Bounded model checking for fixed-point digital filters. 1:1-1:20 - Ademir L. Xavier Jr.

, Daniel Bonatti, Sergio Celaschi
:
Rain gauge simulator and first tests with a new mobile climate alert system in Brazil. 2:1-2:14 - Leandro Marques Queiros, Denis Silva da Silveira

, Jorge S. Correia Neto, Guilherme Vilar:
LODPRO: learning objects development process. 3:1-3:9 - Eduardo Silva Palmeira, Benjamín R. C. Bedregal, José Anchieta G. dos Santos:

Some results on extension of lattice-valued QL-implications. 4:1-4:9 - Pedro Garcia Freitas

, Ronaldo Rigoni, Mylène C. Q. Farias
:
Secure self-recovery watermarking scheme for error concealment and tampering detection. 5:1-5:13 - Ramide Dantas, Carlos Kamienski

, Stenio Fernandes, Djamel Sadok:
Assessing the effectiveness of automated service composition. 6:1-6:13 - Anderson C. Lima, Rodrigo G. Branco

, Samuel Ferraz, Edson Norberto Cáceres, Roussian R. A. Gaioso, Wellington Santos Martins
, Siang W. Song:
Solving the maximum subsequence sum and related problems using BSP/CGM model and multi-GPU CUDA. 7:1-7:13 - Ernesto Cid Brasil de Matos

, Anamaria Martins Moreira, João Batista de Souza Neto
:
An empirical study of test generation with BETA. 8:1-8:17 - Fernanda Madeiral Delfim

, Klérisson Vinícius Ribeiro Paixão, Damien Cassou, Marcelo de Almeida Maia:
Redocumenting APIs with crowd knowledge: a coverage analysis based on question types. 9:1-9:34

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














