![](https://dblp.uni-trier.de./img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 165
Volume 165, November 2018
- Giovani Gracioli, Rivalino Matias:
Preface for the special issue of the 6th Brazilian Symposium on Computing System Engineering (SBESC 2016). 1-2 - Rodrigo F. Araujo
, Higo F. Albuquerque, Iury Valente de Bessa
, Lucas C. Cordeiro
, João Edgar Chaves Filho:
Counterexample guided inductive optimization based on satisfiability modulo theories. 3-23 - Davi Resner, Gustavo Medeiros de Araújo, Antônio Augusto Fröhlich
:
Design and implementation of a cross-layer IoT protocol. 24-37 - Eduardo Valentin
, Rosiane de Freitas, Raimundo S. Barreto
:
Towards optimal solutions for the low power hard real-time task allocation on multiple heterogeneous processors. 38-53 - Marcelo Brandalero
, Leonardo Almeida da Silveira, Jeckson Dellagostin Souza, Antonio Carlos Schneider Beck:
Accelerating error-tolerant applications with approximate function reuse. 54-67
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.