[ACM Press the ACM SIGPLAN/SIGBED 2010 conference - Stockholm, Sweden (2010.04.13-2010.04.15)] Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems - LCTES '10 - Semi-automatic derivation of timing models for WCET analysis
- 作者Schlickling, Marc; Pister, Markus
- 文件大小490.82KB
- 发表时间2010
- DOI10.1145/1755888.1755899
[ACM Press the ACM SIGPLAN/SIGBED 2010 conference - Stockholm, Sweden (2010.04.13-2010.04.15)] Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems - LCTES '10 - Elastic computingWernsing, John Robert; Stitt, Greg · 2010
[ACM Press the ACM SIGPLAN/SIGBED 2010 conference - Stockholm, Sweden (2010.04.13-2010.04.15)] Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems - LCTES '10 - Resilience analysisAltmeyer, Sebastian; Maiza, Claire; Reineke, Jan · 2010
[ACM Press the ACM SIGPLAN/SIGBED 2010 conference - Stockholm, Sweden (2010.04.13-2010.04.15)] Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems - LCTES '10 - Sampling-based program execution monitoringFischmeister, Sebastian; Ba, Yanmeng · 2010
[ACM Press the ACM SIGPLAN/SIGBED 2010 conference - Stockholm, Sweden (2010.04.13-2010.04.15)] Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems - LCTES '10 - Contracts for modular discrete controller synthesisDelaval, Gwenaël; Marchand, Hervé; Rutten, Eric · 2010
[ACM Press the ACM SIGPLAN/SIGBED 2010 conference - Stockholm, Sweden (2010.04.13-2010.04.15)] Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems - LCTES '10 - Translating concurrent action oriented specifications to synchronous guarded actionsBrandt, Jens; Schneider, Klaus; Shukla, Sandeep K. · 2010
[ACM Press the ACM SIGPLAN/SIGBED 2010 conference - Stockholm, Sweden (2010.04.13-2010.04.15)] Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems - LCTES '10 - Semi-automatic derivation of timing models for WCET analysisSchlickling, Marc; Pister, Markus · 2010
[ACM Press the ACM SIGPLAN/SIGBED 2010 conference - Stockholm, Sweden (2010.04.13-2010.04.15)] Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems - LCTES '10 - Modeling structured event streams in system level performance analysisPerathoner, Simon; Rein, Tobias; Thiele, Lothar; Lampka, Kai; Rox, Jonas · 2010