Search results for "worst-case-execution-time"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Frank Mueller 0001	Timing Analysis: In Search of Multiple Paradigms.	IPDPS	2004	DBLP DOI BibTeX RDF
9	Lonnie R. Welch, Binoy Ravindran, Paul V. Werme, Michael W. Masters, Behrooz A. Shirazi, Prashant A. Shirolkar, Robert D. Harrison, D. Wayne Mills, Tuy Do, Judy Lafratta, Shafqat Anwar, Steve Sharp, Terry Sergeant, George Bilowus, Mark Swick, Jim Hoppel, Joseph M. Caruso	Distributed, Scalable, Dependable Real-Time Systems: Middleware Services and Applications.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
9	Paul Lokuciejewski, Heiko Falk, Peter Marwedel, Henrik Theiling	WCET-driven, code-size critical procedure cloning.	SCOPES	2008	DBLP DOI BibTeX RDF
9	Zhiyuan Li 0001, Santosh Pande	Editorial: Languages, compilers, and tools for embedded systems.	ACM Trans. Embed. Comput. Syst.	2009	DBLP DOI BibTeX RDF
9	Clément Ballabriga, Hugues Cassé	Improving the First-Miss Computation in Set-Associative Instruction Caches.	ECRTS	2008	DBLP DOI BibTeX RDF
9	Clément Ballabriga, Hugues Cassé, Pascal Sainrat	An improved approach for set-associative instruction cache partial analysis.	SAC	2008	DBLP DOI BibTeX RDF	WCET computation, partial cache analysis, partial static analysis, abstract interpretation, COTS, instruction cache
9	Lei Ju 0001, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty	Performance debugging of Esterel specifications.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	Esterel, WCET analysis, synchronous programming
9	Crineu Tres, Leandro Buss Becker, Edgar Nett	Real-Time Tasks Scheduling with Value Control to Predict Timing Faults During Overload.	ISORC	2007	DBLP DOI BibTeX RDF
9	Christof Pitter, Martin Schoeberl	Time Predictable CPU and DMA Shared Memory Access.	FPL	2007	DBLP DOI BibTeX RDF
9	Hung Ledang, Dang Van Hung	Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development.	TASE	2007	DBLP DOI BibTeX RDF
9	Christian Ferdinand, Reinhold Heckmann	Verifying Timing Behavior by Abstract Interpretation of Executable Code.	CHARME	2005	DBLP DOI BibTeX RDF
9	Iria Estévez-Ayres, Marisol García-Valls, Pablo Basanta-Val	Static Composition of Service-Based Real-Time Applications.	SEUS	2005	DBLP DOI BibTeX RDF
9	Christine Rochange, Pascal Sainrat	A time-predictable execution mode for superscalar pipelines with instruction prescheduling.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	real-time, pipeline, WCET, processor architecture
9	Sven Beyer, Peter Böhm, Michael Gerke 0002, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul	Towards the Formal Verification of Lower System Layers in Automotive Systems.	ICCD	2005	DBLP DOI BibTeX RDF
9	Dennis Brylow, Jens Palsberg	Deadline Analysis of Interrupt-Driven Software.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	multiresolution static analysis, Real time, testing oracles
9	Peter Marwedel, Lars Wehmeyer, Manish Verma, Stefan Steinke, Urs Helmig	Fast, predictable and low energy memory references through architecture-aware compilation.	ASP-DAC	2004	DBLP DOI BibTeX RDF
9	Xianfeng Li, Abhik Roychoudhury, Tulika Mitra	Modeling Out-of-Order Processors for Software Timing Analysis.	RTSS	2004	DBLP DOI BibTeX RDF
9	Dennis Brylow, Jens Palsberg	Deadline analysis of interrupt-driven software.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	multi-resolution static analysis, real time, testing oracles
9	Junhyung Um, Taewhan Kim	Code Placement with Selective Cache Activity Minimization for Embedded Real-time Software Design.	ICCAD	2003	DBLP DOI BibTeX RDF
9	Niklas Holsti, Thomas Långbacka	Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software.	Ada-Europe	2003	DBLP DOI BibTeX RDF
9	Wanghong Yuan, Klara Nahrstedt	Integration of dynamic voltage scaling and soft real-time scheduling for open mobile systems.	NOSSDAV	2002	DBLP DOI BibTeX RDF	scheduling, multimedia, power management
9	João Ventura 0001, Fridtjof Siebert, Andy Walter, James J. Hunt	HIDOORS-A High Integrity Distributed Deterministic Java Environment.	WORDS	2002	DBLP DOI BibTeX RDF
9	Michael Ward, Neil C. Audsley	Hardware compilation of sequential Ada.	CASES	2001	DBLP DOI BibTeX RDF	Ada
9	Alexander Münnich, Georg Färber	Calculating Worst-Case Execution Times of Transactions in Databases for Event-Driven, Hard Real-Time Embedded Systems.	IDEAS	2000	DBLP DOI BibTeX RDF	worst-case execution, transaction managenrent, real-time systems, concurrency control, real-time embedded systems, safety-critical
9	Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe	Performance estimation of embedded software with instruction cache modeling.	ACM Trans. Design Autom. Electr. Syst.	1999	DBLP DOI BibTeX RDF
9	Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe	Performance estimation of embedded software with instruction cache modeling.	ICCAD	1995	DBLP DOI BibTeX RDF
9	Seongsoo Hong, Richard Gerber 0001	Compiling Real-Time Programs into Schedulable Code.	PLDI	1993	DBLP DOI BibTeX RDF
8	Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann 0001	Static determination of quantitative resource usage for higher-order programs.	POPL	2010	DBLP DOI BibTeX RDF	resource analysis, functional programming, types
8	Philippe Stellwag, Alexander Ditter, Wolfgang Schröder-Preikschat	A wait-free queue for multiple enqueuers and multiple dequeuers using local preferences and pragmatic extensions.	SIES	2009	DBLP DOI BibTeX RDF
8	Heiko Falk, Jan C. Kleinsorge	Optimal static WCET-aware scratchpad allocation of program code.	DAC	2009	DBLP DOI BibTeX RDF	scratchpad allocation, WCET
8	Heiko Falk	WCET-aware register allocation based on graph coloring.	DAC	2009	DBLP DOI BibTeX RDF	register allocation, WCET
8	Björn Andersson, Konstantinos Bletsas	Sporadic Multiprocessor Scheduling with Few Preemptions.	ECRTS	2008	DBLP DOI BibTeX RDF
8	Jack Whitham, Neil C. Audsley	Forming Virtual Traces for WCET Analysis and Reduction.	RTCSA	2008	DBLP DOI BibTeX RDF
8	Marianne De Michiel, Armelle Bonenfant, Hugues Cassé, Pascal Sainrat	Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation.	RTCSA	2008	DBLP DOI BibTeX RDF
8	Sanjit A. Seshia, Alexander Rakhlin	Game-theoretic timing analysis.	ICCAD	2008	DBLP DOI BibTeX RDF
8	Johann Blieberger, Bernd Burgstaller, Robert Mittermayr	Static Detection of Livelocks in Ada Multitasking Programs.	Ada-Europe	2007	DBLP DOI BibTeX RDF
8	Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen	Efficient detection and exploitation of infeasible paths for software timing analysis.	DAC	2006	DBLP DOI BibTeX RDF	infeasible path detection, WCET analysis
8	Qiuhua Cao, John A. Stankovic	Dual face phased array radar scheduling with multiple constraints.	EMSOFT	2005	DBLP DOI BibTeX RDF	dual phased array radars systems, scheduling, performance, real time systems, resource allocations, heuristic algorithms
8	Javier Miranda, Edmond Schonberg, Gary Dismukes	The Implementation of Ada 2005 Interface Types in the GNAT Compiler.	Ada-Europe	2005	DBLP DOI BibTeX RDF	Abstract Interface Types, Tagged Types, Ada 2005, GNAT
8	Andreas Ermedahl, Friedhelm Stappert, Jakob Engblom	Clustered calculation of worst-case execution times.	CASES	2003	DBLP DOI BibTeX RDF	WCET calculation, embedded systems, hard real-time, WCET analysis
8	Jan Gustafsson, Björn Lisper, Christer Sandberg, Nerina Bermudo	A Tool for Automatic Flow Analysis of C-programs for WCET Calculation.	WORDS	2003	DBLP DOI BibTeX RDF
8	Michael Ward, Neil C. Audsley	Language Issues of Compiling Ada to Hardware.	Ada-Europe	2002	DBLP DOI BibTeX RDF
8	Christopher A. Healy, David B. Whalley	Tighter Timing Predictions by Automatic Detection and Exploitation of Value-Dependent Constraints.	IEEE Real Time Technology and Applications Symposium	1999	DBLP DOI BibTeX RDF
8	Daniel Kästner, Stephan Thesing	Cache-Sensitive Pre-runtime Scheduling.	LCTES	1998	DBLP DOI BibTeX RDF
8	Andreas Ermedahl, Jan Gustafsson	Deriving Annotations for Tight Calculation of Execution Time.	Euro-Par	1997	DBLP DOI BibTeX RDF
8	Lei Ju 0001, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty	Timing analysis of esterel programs on general-purpose multiprocessors.	DAC	2010	DBLP DOI BibTeX RDF	multiprocessor, timing analysis, synchronous language, esterel
8	Du Li, Rui Li 0018	An Operational Transformation Algorithm and Performance Evaluation.	Comput. Support. Cooperative Work.	2008	DBLP DOI BibTeX RDF	performance evaluation, concurrency control, consistency, operational transformation, group editing
8	Iain Bate	Utilising Application Flexibility in Energy Aware Computing.	RTCSA	2008	DBLP DOI BibTeX RDF
8	Bernhard Rieder, Peter P. Puschner, Ingomar Wenzel	Using model checking to derive loop bounds of general loops within ANSI-C applications for measurement based WCET analysis.	WISES	2008	DBLP DOI BibTeX RDF
8	Fridtjof Siebert	Realtime garbage collection in the JamaicaVM 3.0.	JTRES	2007	DBLP DOI BibTeX RDF	Java, garbage collection, RTSJ, realtime
8	Thomas Preußer, Martin Zabel, Rainer G. Spallek	Bump-pointer method caching for embedded Java processors.	JTRES	2007	DBLP DOI BibTeX RDF	method cache, Java
8	Yixin Shou, Robert van Engelen, Johnnie Birch	Flow-Sensitive Loop-Variant Variable Classification in Linear Time.	LCPC	2007	DBLP DOI BibTeX RDF
8	Christian Ferdinand, Florian Martin 0001, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann	New Developments in WCET Analysis.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
8	Leo Yuen, Chung Keung Poon	Relational Index Support for XPath Axes.	XSym	2005	DBLP DOI BibTeX RDF
8	Thomas In der Rieden, Dirk Leinenbach, Wolfgang J. Paul	Towards the Pervasive Verification of Automotive Systems.	CHARME	2005	DBLP DOI BibTeX RDF
8	Suraiya Khan, Issa Traoré	A Prevention Model for Algorithmic Complexity Attacks.	DIMVA	2005	DBLP DOI BibTeX RDF
8	Joxan Jaffar	A CLP Approach to Modelling Systems.	ICFEM	2004	DBLP DOI BibTeX RDF
8	Joxan Jaffar	A CLP Approach to Modelling Systems.	APLAS	2004	DBLP DOI BibTeX RDF
8	S. Himavathi, B. Umamaheswari	Implementation of Nonlinear Fuzzy Models Using Microcontrollers.	AFSS	2002	DBLP DOI BibTeX RDF
8	Raimund Kirner, Peter P. Puschner	Transformation of Path Information for WCET Analysis during Compilation.	ECRTS	2001	DBLP DOI BibTeX RDF
8	Stewart Edgar, Alan Burns 0001	Statistical Analysis of WCET for Scheduling.	RTSS	2001	DBLP DOI BibTeX RDF
8	André Hergenhan, Wolfgang Rosenstiel	Static Timing Analysis of Embedded Software on Advanced Processor Architectures.	DATE	2000	DBLP DOI BibTeX RDF
8	Thomas Lundqvist, Per Stenström	Integrating Path and Timing Analysis Using Instruction-Level Simulation Techniques.	LCTES	1998	DBLP DOI BibTeX RDF
8	Hanan Samet, Robert E. Webber	Storing a Collection of Polygons Using Quadtrees.	ACM Trans. Graph.	1985	DBLP DOI BibTeX RDF	line representations, map overlay, quadtrees, geographic information, hierarchical data structures, polygonal representations