Stop the war!
Остановите войну!
for scientists:
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 Sabino da Silva Jr.:
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.