Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 132
Volumes 132, Part 1, December 2016
- André Rauber Du Bois, Phil Trinder:
Selected and extended papers from SBLP 2013. 1 - Pedro Martins, João Paulo Fernandes
, João Saraiva, Eric Van Wyk, Anthony Sloane:
Embedding attribute grammars and their extensions using functional zippers. 2-28 - Francisco Heron de Carvalho Junior, Cenez Araújo Rezende:
Performance evaluation of virtual execution environments for intensive computing on usual representations of multidimensional arrays. 29-49 - Alexandre Madeira, Renato Neves, Luís Soares Barbosa, Manuel A. Martins:
A method for rigorous design of reconfigurable systems. 50-76 - Alberto Pardo, João Paulo Fernandes, João Saraiva:
Multiple intermediate structure deforestation by shortcut fusion. 77-95 - Francisco Heron de Carvalho Junior, Cenez Araújo Rezende, Jefferson de Carvalho Silva, Wagner Guimarães Al-Alam, João Marcelo U. de Alencar:
Contextual abstraction in a type system for component-based high performance computing platforms. 96-128 - André Murbach Maidl, Fabio Mascarenhas, Sérgio Medeiros, Roberto Ierusalimschy:
Error reporting in Parsing Expression Grammars. 129-140
Volumes 132, Part 2, December 2016
- Gwen Salaün, Mariëlle Stoelinga:
Special issue on Software Verification and Testing (SAC-SVT'15). 141-142 - Clément Poncelet Sanchez, Florent Jacquemard:
Model-based testing for building reliable realtime interactive music systems. 143-172 - Daniel Homm, Juergen Eckert, Reinhard German:
CenUMs - concurrency enhanced usage models for statistical testing of complex systems with concurrent streams of use. 173-189 - Hadrien Bride, Jacques Julliand, Pierre-Alain Masson:
Tri-modal under-approximation for test generation. 190-208 - Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, François Vernadat:
Symmetry reduction for time Petri net state classes. 209-225 - Arvid Jakobsson, Nikolai Kosmatov, Julien Signoles:
Fast as a shadow, expressive as a tree: Optimized memory monitoring for C. 226-246
a service of 
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.
last updated on 2024-04-25 05:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
