Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for ASTEC with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2003 (3) 2005 (1) 2010 (1)
Publication types (Num. hits)
article(3) inproceedings(2)
Venues (Conferences, Journals, ...)
Int. J. Softw. Tools Technol. ...(3) ESEC/SIGSOFT FSE(1) PATMOS(1)
Authors
Andreas Ermedahl(1) Bengt Jonsson 0001(1) Bill McCloskey(1) Dilian Gurov(1) Eric A. Brewer(1) Gennady Chugunov(1) Hans Hansson(1) Jakob Engblom(1) Jan Gustafsson(1) Konstantinos Sagonas(1) Lars-Åke Fredlund(1) Mads Dam(1) Marc Renaudin(1) Mikael Sjödin(1) Thomas Arts(1) Thomas Noll 0001(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 15 occurrences of 14 keywords
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
238Bill McCloskey, Eric A. Brewer ASTEC: a new approach to refactoring C. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ASTEC, C, refactoring, translation, macro, preprocessor
79Bengt Jonsson 0001, Konstantinos Sagonas Preface by the section editors. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Competence centers, Academia-industry collaboration, Software engineering, Embedded systems
42Marc Renaudin ASTEC: Asynchronous Technology for Low Power and Secured Embedded Systems. Search on Bibsonomy PATMOS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Jakob Engblom, Andreas Ermedahl, Mikael Sjödin, Jan Gustafsson, Hans Hansson Worst-case execution-time analysis for embedded real-time systems. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Embedded systems, Software architecture, Hard real-time, WCET analysis, Programming tools
26Lars-Åke Fredlund, Dilian Gurov, Thomas Noll 0001, Mads Dam, Thomas Arts, Gennady Chugunov A verification tool for ERLANG. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Formal methods, Theorem proving, Software verification
Displaying result #1 - #5 of 5 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license