Filters








4,032,868 Hits in 4.7 sec

A Delay Composition Theorem for Real-Time Pipelines

Praveen Jayachandran, Tarek Abdelzaher
2007 Real-Time Systems (ECRTS), Proceedings of the Euromicro Workshop on  
In this paper, we bound the end-to-end delay of a job in a multistage pipeline as a function of higher-priority job execution times on different stages.  ...  Uniprocessor schedulability theory made great strides, in part, due to the simplicity of composing the delay of a job from the execution times of higher-priority jobs that preempt it.  ...  Utility of Derived Result The reduction of the analysis of a multistage system to that of single stage systems based on the delay composition theorem, enables the use of a wide range of single stage schedulability  ... 
doi:10.1109/ecrts.2007.80 dblp:conf/ecrts/JayachandranA07 fatcat:hxkcmtqkrzg2zgx7onkewjpyqy

Composition Techniques for Tree Communication Schedules

Madhukar Anand, Sebastian Fischmeister, Insup Lee
2007 Real-Time Systems (ECRTS), Proceedings of the Euromicro Workshop on  
We illustrate the techniques by considering the composition of two control applications. Comments Abstract A critical resource in a distributed real-time system is its shared communication medium.  ...  A critical resource in a distributed real-time system is its shared communication medium. Unrestrained concurrent access to the network can lead to collisions that reduce the system's reliability.  ...  Time Compatibility by Unrolling One prerequisite for composition of tree schedules is that they are time compatible.  ... 
doi:10.1109/ecrts.2007.88 dblp:conf/ecrts/AnandFL07 fatcat:vrgkyqnoxverzbnaq3fcrxfcia

Compositional analysis of real-time embedded systems

Linh T.X. Phan, Insup Lee, Oleg Sokolsky
2011 Proceedings of the 14th international conference on Compilers, architectures and synthesis for embedded systems - CASES '11  
ABSTRACT This tutorial is concerned with various aspects of component-based design and compositional analysis of real-time embedded systems.  ...  Besides theoretical aspects, the tutorial will also present an implementation of the compositional analysis framework on Xen virtualization and a demonstration of the CARTS toolset with several examples  ...  ), Composition of Real-Time Systems (2008,2009), and Composition of Embedded Sys  ... 
doi:10.1145/2038698.2038736 dblp:conf/cases/PhanLS11 fatcat:ujzssa5v6zgajgxedotmcfl7ei

Model-based analysis of distributed real-time embedded system composition

Gabor Madl, Sherif Abdelwahed
2005 Proceedings of the 5th ACM international conference on Embedded software - EMSOFT '05  
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target platform.  ...  The proposed framework and verification strategy is demonstrated on a mission-critical avionics DRE system case study.  ...  We define a model on a distributed platform with possible execution preemptions. DRE system models can be built by the composition of these components.  ... 
doi:10.1145/1086228.1086294 dblp:conf/emsoft/MadlA05 fatcat:rmzqr35jvzdsti4d57e4eetltm

Influence of the cure systems on long time thermal aging behaviors of NR composites

Sung-Seen Choi, Jong-Chul Kim, Seung Goo Lee, Yong L. Joo
2008 Macromolecular Research  
The overall crosslink densities increased with increasing aging time irrespective of the aging temperatures and curing systems.  ...  NR composites with different curing systems were aged thermally at 60, 70, 80, and 90 o C for 2-185 days in a convection oven, and the changes in the crosslink density were investigated as a function of  ...  ΔX c for the short aging time of 2-35 days on the whole tends to increase as the aging time goes on but the variation is very complex.  ... 
doi:10.1007/bf03218560 fatcat:44y7vs27sbdunakzpnzhirm7um

Run-time composite event recognition

Alexander Artikis, Marek Sergot, Georgios Paliouras
2012 Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems - DEBS '12  
Events are particularly important pieces of knowledge, as they represent activities of special significance within an organisation: the automated recognition of events is of utmost importance.  ...  RTEC includes a number of novel techniques allowing for efficient run-time recognition, scalable to large data streams.  ...  Acknowledgments This work has been partially funded by EU, in the context of the PRONTO project (FP7-ICT 231738).  ... 
doi:10.1145/2335484.2335492 dblp:conf/debs/ArtikisSP12 fatcat:rgfjnqwt7rhbhdswxf2lckp2jy

System level design of real time face recognition architecture based on composite PCA

Rajkiran Gottumukkal, Vijayan K. Asari
2003 Proceedings of the 13th ACM Great Lakes Symposium on VLSI - GLSVLSI '03  
Design and implementation of a fast parallel architecture based on an improved principal component analysis (PCA) method called Composite PCA suitable for real-time face recognition is presented in this  ...  The system is able to recognize a person from a database of 110 images of 10 individuals in approximately 4 ms.  ...  But at any give time only one eigenvector will be used to compute the distances.  ... 
doi:10.1145/764844.764849 fatcat:onqougfi75anxd4tsvjla3m6kq

System level design of real time face recognition architecture based on composite PCA

Rajkiran Gottumukkal, Vijayan K. Asari
2003 Proceedings of the 13th ACM Great Lakes Symposium on VLSI - GLSVLSI '03  
Design and implementation of a fast parallel architecture based on an improved principal component analysis (PCA) method called Composite PCA suitable for real-time face recognition is presented in this  ...  The system is able to recognize a person from a database of 110 images of 10 individuals in approximately 4 ms.  ...  But at any give time only one eigenvector will be used to compute the distances.  ... 
doi:10.1145/764808.764849 dblp:conf/glvlsi/GottumukkalA03 fatcat:jk4ihogzpvce7b5y2uc55tuvqe

A generic and compositional framework for multicore response time analysis

Sebastian Altmeyer, Robert I. Davis, Leandro Indrusiak, Claire Maiza, Vincent Nelis, Jan Reineke
2015 Proceedings of the 23rd International Conference on Real Time and Networks Systems - RTNS '15  
Instead, the analysis formulates response times directly from the demands on different hardware resources.  ...  The MRTA framework decouples response time analysis from a reliance on context independent WCET values.  ...  Acknowledgements This work was supported in part by the COST Action IC1202 TACLe, by the DFG as part of the Transregional Collaborative Research Centre SFB/TR 14 (AVACS), by National Funds through FCT/  ... 
doi:10.1145/2834848.2834862 dblp:conf/rtns/AltmeyerDIMNR15 fatcat:4ad3vtbawjer7otj44q4dbotqe

Experiments on Parallel Composition of Timed Finite State Machines
Эксперименты по построению параллельной композиции временных автоматов

A. Sotnikov, N. Shabaldina, M. Gromov
2017 Proceedings of the Institute for System Programming of RAS  
In this paper, we continue our work that is devoted to the parallel composition of Timed Finite State Machines (TFSMs). We consider the composition of TFSMs with timeouts and output delays.  ...  To conduct these experiments we have created two tools: the first one for converting TFSMs into automata (this tool is integrated into BALM-II), the second one for converting the global automaton of the  ...  To build an FSM composition BALM-II (Berkeley Automata and Language Manipulation) can be used [3] . For more precise description of a system one should consider time aspects of its behavior as well.  ... 
doi:10.15514/ispras-2017-29(3)-13 fatcat:tyaapepx7nhq7lnbvgjyzppmxy

Effectively Testing of Timed Composite Systems using Test Case Prioritization

Huu Nghia Nguyen, Fatiha Zaidi, Ana Cavalli
2016 Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering  
We present in this paper a framework to generate test cases and to select the efficient ones to test the composite systems with taking into account time properties.  ...  Particularly, the framework generates a set of test cases based on a model of the system, which cover a given test objective.  ...  We also model timed composite systems by TIOTSs. The legal behaviors of a composition depends on the communication model used for the description of the message exchanges between its components.  ... 
doi:10.18293/seke2016-153 dblp:conf/seke/NguyenZC16 fatcat:p5ytp7acufcolow2dhmrcktrmu

On the possibilities of FSM description of Parallel composition of Timed Finite State Machines
О возможностях автоматного описания параллельной композиции временных автоматов

A. Tvardovskii, A. Laputenko
2018 Proceedings of the Institute for System Programming of RAS  
On the possibilities of FSM description of parallel composition of timed Finite State Machines. Trudy ISP RAN/Proc. ISP RAS, vol. 30, issue 1, 2018, pp. 25-40 (in Russian).  ...  DOI: 10.15514/ISPRAS-2018-30(1)-2 Список литературы On the possibilities of FSM description of Parallel composition of Timed Finite State Machines A.S. Tvardovskii <tvardal@mail.ru> A.V.  ... 
doi:10.15514/ispras-2018-30(1)-2 fatcat:zqnmm4prpnet7gahukvivi4rwe

Effect of Light Irradiation Time on the Mechanical Properties of Two Flowable Composites with Different Initiation Systems in Bonded and Unbonded Cavities

Ma'an M. NAYIF, Masatoshi NAKAJIMA, Richard M. FOXTON, Junji TAGAMI
2007 Dental materials journal  
The aim of this study was to evaluate the regional mechanical properties of flowable composites with different initiation systems under free and constrained conditions.  ...  The results indicated that the UTS and KHN of both flowable composites decreased toward the bottom of the cavity and increased with prolonged light irradiation time.  ...  The aim of this study was to evaluate the effects of light irradiation time on the regional ultimate tensile strength and Knoop hardness of two flowable composites with different initiation systems under  ... 
doi:10.4012/dmj.26.687 fatcat:gaqgxmlst5alrgsfdtkckmqv2y

A compositional proof system for real-time systems based on explicit clock temporal logic

J. Hooman, R. Kuiper, P. Zhou
Proceedings of the Sixth International Workshop on Software Specification and Design  
The proof system is compositional, sound, and relaiively complete. 110 1 7 I 1 7 Axiom 5.6 (Skip) The assignment axiom expresses that z := e terminates after K" time units and that the final value of z  ...  To specify timing properties of real-time systems, we consider Explicit Clock Temporal Logic. Programs are written in an Occam-like real-time language.  ...  The present paper also builds on the approach to compositionality and realtime introduced in [7].  ... 
doi:10.1109/iwssd.1991.213070 fatcat:imowyc63cbczpjnptk6tnomw34

Beyond the Accuracy-Complexity Tradeoffs of Compositional Analyses using Network Calculus for Complex Networks

Ahlem Mifdaoui, Thierry Leydier
2017 10th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems   unpublished
Achieving the accuracy-complexity tradeoffs for compositional timing analyses using Network Calculus is still a hot research topic.  ...  the network links on the input and output traffic models at each network node.  ...  The Network Calculus is a compositional algebraic framework to derive maximum bounds on system performance, such as delays and backlogs.  ... 
fatcat:qzcf2wshsbarhap2asvescgq6a
« Previous Showing results 1 — 15 out of 4,032,868 results