group :: utrust | BibSonomy

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

No matching posts.

⟨⟨
⟨
⟩
⟩⟩

publications (hide)8
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1An Approach To Symbolic Worst-Case Execution Time Analysis
G. Bernat, and A. Burns. (2000)http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.2148 Copyright c 2000 IFAC Keywords: Real-time, timing-analysis. 1..
16 years ago by @gwpl
show all tags
WCET
symbolic
mgr
todo_tags
WCETsymbolicmgrtodo_tags
copydeleteadd this publication to your clipboard
1Complete Worst-Case Execution Time Analysis of Straight-line Hard Real-Time Programs
F. Stappert, and P. Altenbernd. Journal of Systems Architecture, 46 (4): 339--356 (2000)Friedhelm Stappert, Peter Altenbernd C-LAB, Fürstenallee 11, D-33095 Paderborn, Germany Fax: ++49-5251-60-6065 e-mail: fst, peter@c-lab.de.
16 years ago by @gwpl
show all tags
symbolic
mgr
MAXT
graph
todo_tags
symbolicmgrMAXTgraphtodo_tags
copydeleteadd this publication to your clipboard
2Attribute grammars and automatic complexity analysis
M. Mishna. Advances in Applied Mathematics, (2003)http://www.google.pl/search?q=inurl%3ARR-4021.pdf.
16 years ago by @gwpl
show all tags
complexity
WCET
SPA
symbolic
mgr
bounds
complexityWCETSPAsymbolicmgrbounds
copydeleteadd this publication to your clipboard
2Fully Automatic, Parametric Worst-Case Execution Time Analysis.
B. Lisper. WCET, MDH-MRTC-116/2003-1-SE, page 99-102. Department of Computer Science and Engineering, Mälardalen University, Box 883, 721 23 Västerås, Sweden, (2003)http://www.mrtc.mdh.se/publications/0531.pdf http://www.mrtc.mdh.se/publications/0531.ps http://dblp.uni-trier.de/db/conf/wcet/wcet2003.html#Lisper03.
16 years ago by @gwpl
show all tags
WCET
SPA
symbolic
mgr
bounds
WCETSPAsymbolicmgrbounds
copydeleteadd this publication to your clipboard
1Data-Flow Frameworks for Worst-Case Execution Time Analysis
J. Blieberger. Real-Time Systems, 22 (3): 183-227 (2002)http://dblp.uni-trier.de/db/journals/rts/rts22.html#Blieberger02 http://www.auto.tuwien.ac.at/~blieb/woop/published/dfwcetklu.pdf.
16 years ago by @gwpl
show all tags
WCET
SPA
symbolic
equitations
mgr
dataflow
WCETSPAsymbolicequitationsmgrdataflow
copydeleteadd this publication to your clipboard
1A Symbolic Execution Method for Bounds Analysis
D. Jaffar, and J. Navas. draft, (2009)http://www.comp.nus.edu.sg/~joxan/res.html.
16 years ago by @gwpl
show all tags
complexity
SPA
symbolic
DPA
mgr
executionflow
bounds
analysis
dataflow
complexitySPAsymbolicDPAmgrexecutionflowboundsanalysisdataflow
copydeleteadd this publication to your clipboard
2An Automata-Theoretic Approach to Automatic Program Verification
M. Vardi, and P. Wolper. Proc. 1st Symp. on Logic in Computer Science, page 332--344. Cambridge, (June 1986)
16 years ago by @gwpl
show all tags
SPA
symbolic
correctness
states_graph
equitations
mgr
algorithm
verification
SPAsymboliccorrectnessstates_graphequitationsmgralgorithmverification
copydeleteadd this publication to your clipboard
3A Modular Tool Architecture for Worst-Case Execution Time Analysis
A. Ermedahl. Uppsala University, Disseration for the Degree of Doctor of Philosophy in Computer Systems, (June 2003)ISBN 91-554-5671-5 ISSN 1104-2516.
16 years ago by @gwpl
show all tags
WCET
SPA
symbolic
equitations
mgr
MAXT
graph
WCETSPAsymbolicequitationsmgrMAXTgraph
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
⟩
⟩⟩

BibSonomy

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)8
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1An Approach To Symbolic Worst-Case Execution Time Analysis

1Complete Worst-Case Execution Time Analysis of Straight-line Hard Real-Time Programs

2Attribute grammars and automatic complexity analysis

2Fully Automatic, Parametric Worst-Case Execution Time Analysis.

1Data-Flow Frameworks for Worst-Case Execution Time Analysis

1A Symbolic Execution Method for Bounds Analysis

2An Automata-Theoretic Approach to Automatic Program Verification

3A Modular Tool Architecture for Worst-Case Execution Time Analysis

Universal Trust - new trust management algorithms and protocols

browse

related tags

tags

bookmarks (hide) displayallbookmarks onlybookmarks per page5102050100 sort byadded attitle RSSBibTeXXML

publications (hide)8 displayallpublications onlypublications per page5102050100 sort byadded attitleauthorpublication dateentry typehelp for advanced sorting... RSSBibTeXRDFmore...

Universal Trust - new trust management algorithms and protocols

browse

related tags

tags

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)8
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...