Search results for "execution"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Kang-Bok Seo, Junhyung Kim, Woo Jin Lee	Arduino practice judgment system based on function execution log in virtual execution environment.	Comput. Appl. Eng. Educ.	2024	DBLP DOI BibTeX RDF
15	Yeganeh Asghari Alaie, Mirsaeid Hosseini Shirvani, Amir Masoud Rahmani	A hybrid bi-objective scheduling algorithm for execution of scientific workflows on cloud platforms with execution time and reliability approach.	J. Supercomput.	2023	DBLP DOI BibTeX RDF
15	Zhenyu Bai, Hugues Cassé, Thomas Carle, Christine Rochange	Computing Execution Times With Execution Decision Diagrams in the Presence of Out-of-Order Resources.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2023	DBLP DOI BibTeX RDF
15	Leonie Köhler, Phil Hertha, Matthias Beckert, Alex Bendrick, Rolf Ernst	Robust Cause-Effect Chains with Bounded Execution Time and System-Level Logical Execution Time.	ACM Trans. Embed. Comput. Syst.	2023	DBLP DOI BibTeX RDF
15	Anuran Roy, Sridhar Raj S	SerPyTor: A distributed context-aware computational graph execution framework for durable execution.	CoRR	2023	DBLP DOI BibTeX RDF
15	Yannick Emonds, Lorenz Braun, Holger Fröning	CUDAsap: Statically-Determined Execution Statistics as Alternative to Execution-Based Profiling.	CCGrid	2023	DBLP DOI BibTeX RDF
15	Dave Mason	Threaded-Execution and CPS Provide Smooth Switching Among Execution Modes.	IWST	2023	DBLP BibTeX RDF
15	Rémi Meunier	Execution time prediction for applications running on multi-core architectures. (Prédiction du temps d'exécution d'applications dans des architectures multi-coeur).		2023	RDF
15	Florian Vanhems	Conception, implémentation et preuve d'un service de transfert de flôt d'exécution au sein d'un noyau de système d'exploitation. (Conception, implementation and proof of an execution flow transfer service in an operating system's kernel).		2023	RDF
15	Ding Han, Guohui Li 0001, Quan Zhou 0003, Jianjun Li, Yong Yang, Xiaofei Hu	An Efficient Execution Framework of Two-Part Execution Scenario Analysis.	ACM Trans. Design Autom. Electr. Syst.	2022	DBLP DOI BibTeX RDF
15	Zhenyu Bai, Hugues Cassé, Thomas Carle, Christine Rochange	Computing Execution Times with eXecution Decision Diagrams in the Presence of Out-Of-Order Resources.	CoRR	2022	DBLP DOI BibTeX RDF
15	Hazem Abaza, Zain Alabedin Haj Hammadeh, Daniel Lüdtke	DELOOP: Automatic Flow Facts Computation Using Dynamic Symbolic Execution.	WCET	2022	DBLP DOI BibTeX RDF
15	Kuniyasu Suzaki, Kenta Nakajima, Tsukasa Oi, Akira Tsukamoto	TS-Perf: General Performance Measurement of Trusted Execution Environment and Rich Execution Environment on Intel SGX, Arm TrustZone, and RISC-V Keystone.	IEEE Access	2021	DBLP DOI BibTeX RDF
15	Kai-Björn Gemlau, Leonie Köhler, Rolf Ernst, Sophie Quinton	System-level Logical Execution Time: Augmenting the Logical Execution Time Paradigm for Distributed Real-time Automotive Software.	ACM Trans. Cyber Phys. Syst.	2021	DBLP DOI BibTeX RDF
15	Jagriti Agrawal, Wayne Chi, Steve A. Chien, Gregg R. Rabideau, Daniel M. Gaines, Stephen Kuhn	Analyzing the effectiveness of rescheduling and Flexible Execution methods to address uncertainty in execution duration for a planetary rover.	Robotics Auton. Syst.	2021	DBLP DOI BibTeX RDF
15	Maysam Zoor	Latency verification in execution traces of HW/SW partitioning model. (Vérification de la latence dans les traces d'exécution de modèle de partitionnement logiciel / matériel).		2021	RDF
15	Alexandre Bardakoff	Analysis and Execution of a Data-Flow Graph Explicit Model Using Static Metaprogramming. (Analyse et exécution d'un modèle explicite de graphe de flux de données par métaprogrammation statique).		2021	RDF
15	Guangyuan Hu, Zecheng He, Ruby B. Lee	SoK: Hardware Defenses Against Speculative Execution Attacks.	SEED	2021	DBLP DOI BibTeX RDF
15	Vasily A. Sartakov, Daniel O'Keeffe, David M. Eyers, Lluís Vilanova, Peter R. Pietzuch	Spons & Shields: practical isolation for trusted execution.	VEE	2021	DBLP DOI BibTeX RDF
15	Andrea Bonci, Sauro Longhi, Giacomo Nabissi, Giuseppe Antonio Scala	Execution Time of Optimal Controls in Hard Real Time, a Minimal Execution Time Solution for Nonlinear SDRE.	IEEE Access	2020	DBLP DOI BibTeX RDF
15	Akshay Gangal, Mengmei Ye, Sheng Wei 0001	HybridTEE: Secure Mobile DNN Execution Using Hybrid Trusted Execution Environment.	AsianHOST	2020	DBLP DOI BibTeX RDF
15	Jiyong Yu, Namrata Mantri, Josep Torrellas, Adam Morrison 0001, Christopher W. Fletcher	Speculative Data-Oblivious Execution: Mobilizing Safe Prediction For Safe and Efficient Speculative Execution.	ISCA	2020	DBLP DOI BibTeX RDF
15	Chen Cao, Le Guan, Jiang Ming 0002, Peng Liu 0005	Device-agnostic Firmware Execution is Possible: A Concolic Execution Approach for Peripheral Emulation.	ACSAC	2020	DBLP DOI BibTeX RDF
15	Jonathan Salwan	L'usage de l'exécution symbolique pour la déobfuscation binaire en milieu industriel. (Use of symbolic execution for binary deobfuscation in an industrial environment).		2020	RDF
15	Slim Ben-Amor	Scheduling of Dependent Tasks with Probabilistic Execution Times on Multi-core Processors. (Ordonnancement des Tâches avec des Dépendances et des Temps d'Exécution Probabilistes sur Processeur Multi-cœurs).		2020	RDF
15	Sebastian Poeplau	Increasing the performance of symbolic execution by compiling symbolic handling into binaries. (Exécution symbolique haute performance par la compilation du moteur symbolique dans le programme testé).		2020	RDF
15	Valentin Besnard	EMI : Une approche pour unifier l'analyse et l'exécution embarquée à l'aide d'un interpréteur de modèles pilotable - Application aux modèles UML des systèmes embarqués. (EMI : An approach to unify analysis and embedded execution with a controllable model interpreter - Application to UML models of embedded systems).		2020	RDF
15	Mamadou Lakhassane Cisse	Modélisation et exécution flexible de processus collaboratifs. (Collaborative processes modeling and flexible execution).		2020	RDF
15	Corina S. Pasareanu, Rody Kersten, Kasper Søe Luckow, Quoc-Sang Phan	Chapter Six - Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis.	Adv. Comput.	2019	DBLP DOI BibTeX RDF
15	Xun Gong, Xiang Gong, Leiming Yu, David R. Kaeli	HAWS: Accelerating GPU Wavefront Execution through Selective Out-of-order Execution.	ACM Trans. Archit. Code Optim.	2019	DBLP DOI BibTeX RDF
15	Martin Hentschel 0002, Richard Bubel, Reiner Hähnle	The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more.	Int. J. Softw. Tools Technol. Transf.	2019	DBLP DOI BibTeX RDF
15	Robert P. Lee, Konstantinos Markantonakis, Raja Naeem Akram	Ensuring Secure Application Execution and Platform-Specific Execution in Embedded Devices.	ACM Trans. Embed. Comput. Syst.	2019	DBLP DOI BibTeX RDF
15	Shiqi Shen, Shweta Shinde, Soundarya Ramesh, Abhik Roychoudhury, Prateek Saxena	Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints.	NDSS	2019	DBLP BibTeX RDF
15	Luciano Baresi, Giovanni Denaro, Giovanni Quattrocchi	Symbolic execution-driven extraction of the parallel execution plans of Spark applications.	ESEC/SIGSOFT FSE	2019	DBLP DOI BibTeX RDF
15	Valentin Touzeau	Static analysis of least recently used caches: complexity, optimal analysis, and applications to worst-case execution time and security. (Analyse statique de caches LRU : complexité, analyse optimale, et applications au calcul de pire temps d'exécution et à la sécurité).		2019	RDF
15	Pierre Donat-Bouillud	Models, Analysis and Execution of Audio Graphs in Interactive Multimedia Systems. (Modélisation, analyse et éxécution de graphes audio dans les systèmes interactifs multimédia).		2019	RDF
15	Anchen Chai	Realistic simulation of the execution of applications deployed on large distributed systems with a focus on improving file management. (Simulation réaliste de l'exécution des applications déployées sur des systèmes distribués avec un focus sur l'amélioration de la gestion des fichiers).		2019	RDF
15	Guillaume Rosinosky	Élasticité de l'exécution des processus métier. (Elasticity of business processes execution).		2019	RDF
15	Furkan Turan, Ingrid Verbauwhede	Propagating trusted execution through mutual attestation.	SysTEX@SOSP	2019	DBLP DOI BibTeX RDF
15	Hassaan Janjua, Mahmoud Ammar, Bruno Crispo, Danny Hughes 0001	Towards a standards-compliant pure-software trusted execution environment for resource-constrained embedded devices.	SysTEX@SOSP	2019	DBLP DOI BibTeX RDF
15	Ahmed Awad, Brad Karp	Execution integrity without implicit trust of system software.	SysTEX@SOSP	2019	DBLP DOI BibTeX RDF
15	Daniel Kästner, Markus Pister 0002, Simon Wegener, Christian Ferdinand	TimeWeaver: A Tool for Hybrid Worst-Case Execution Time Analysis.	WCET	2019	DBLP DOI BibTeX RDF
15	Wenhao Li, Yubin Xia, Long Lu, Haibo Chen 0001, Binyu Zang	TEEv: virtualizing trusted execution environments on mobile platforms.	VEE	2019	DBLP DOI BibTeX RDF
15	Martin Kristien, Tom Spink, Harry Wagstaff, Björn Franke, Igor Böhm, Nigel P. Topham	Mitigating JIT compilation latency in virtual execution environments.	VEE	2019	DBLP DOI BibTeX RDF
15	Shiqi Shen, Soundarya Ramesh, Shweta Shinde, Abhik Roychoudhury, Prateek Saxena	Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution.	CoRR	2018	DBLP BibTeX RDF
15	Pawel Rosciszewski	Optimization of hybrid parallel application execution in heterogeneous high performance computing systems considering execution time and power consumption.	CoRR	2018	DBLP BibTeX RDF
15	Hwi Ahn, Sungwon Kang, Seonah Lee 0001	Reconstruction of execution architecture view using dependency relationships and execution traces.	SAC	2018	DBLP DOI BibTeX RDF
15	Christopher Scherb, Christian F. Tschudin	Smart Execution Strategy Selection for Multi Tier Execution in Named Function Networking.	ICC Workshops	2018	DBLP DOI BibTeX RDF
15	Andrea Aquino, Giovanni Denaro, Pasquale Salza	Worst-Case Execution Time Testing via Evolutionary Symbolic Execution.	ISSRE	2018	DBLP DOI BibTeX RDF
15	Van Long Tran	Optimization of checkpointing and execution model for an implementation of OpenMP on distributed memory architectures. (Optimisation des checkpoints et du modèle d'exécution pour une implémentation de OpenMP sur architectures à mémoire distribuée).		2018	RDF
15	Vitor Silva Souza	Análise de dados científicos sobre múltiplas fontes de dados ao longo da execução de simulações computacionais. (Analysis of raw data from multiple data sources during the execution of computational simulations / Analyse de données brutes provenant de multiples sources de données pendant l'exécution de simulations numériques).		2018	RDF
15	Faical Y. P. Congo	Proposing a representation model of computational simulations' execution context for reproducibility purposes. (Proposition d'un modèle pour la représentation de contexte d'exécution de simulations informatiques à des fins de reproductibilité).		2018	RDF
15	Jens Knoop, Laura Kovács, Jakob Zwirchmayr	Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution.	J. Symb. Comput.	2017	DBLP DOI BibTeX RDF
15	Ayman Aljarbouh	Accelerated Simulation of Hybrid Systems : Method combining static analysis and run-time execution analysis. (Simulation Accélérée des Systèmes Hybrides : méthode combinant analyse statique et analyse à l'exécution).		2017	RDF
15	Fabrice Guet	Study of the Extreme Value Theory Application to Reliable and Robust Probabilistic Worst-Case Execution Time Estimations. (Etude de l'application de la théorie des valeurs extrèmes pour l'estimation fiable et robuste du pire temps d'exécution probabiliste).		2017	RDF
15	Franck de Goër de Herve	Reverse-engineering of binaries in a single execution : a lightweight function-grained dynamic analysis. (Rétro-ingénierie de programmes binaires en une exécution : une analyse dynamique légère basée au niveau des fonctions).		2017	RDF
15	Jordy Ruiz	Détermination de propriétés de flot de données pour améliorer les estimations de temps d'exécution pire-cas. (Lookup of data flow properties to improve worst-case execution time estimations).		2017	RDF
15	Alexis Martin	Infrastructure pour la gestion générique et optimisée des traces d'exécution pour les systèmes embarqués. . (An Infrastructure for the generic and optimized analysis of execution traces of embedded systems).		2017	RDF
15	Jo Van Bulck, Frank Piessens, Raoul Strackx	SGX-Step: A Practical Attack Framework for Precise Enclave Execution Control.	SysTEX@SOSP	2017	DBLP DOI BibTeX RDF
15	Florian Brandner, Amine Naji	Worst-Case Execution Time Analysis of Predicated Architectures.	WCET	2017	DBLP DOI BibTeX RDF
15	Fabrice Guet, Luca Santinelli, Jérôme Morio	On the Representativity of Execution Time Measurements: Studying Dependence and Multi-Mode Tasks.	WCET	2017	DBLP DOI BibTeX RDF
15	Damien Hardy, Benjamin Rouxel, Isabelle Puaut	The Heptane Static Worst-Case Execution Time Estimation Tool.	WCET	2017	DBLP DOI BibTeX RDF
15	Thomas Feilhauer, Martin Sobotka	DEF - a programming language agnostic framework and execution environment for the parallel execution of library routines.	J. Cloud Comput.	2016	DBLP DOI BibTeX RDF
15	Frédéric Le Mouël	Complexité du logiciel ambiant : de la composition dynamique à l'exécution distribuée, contextuelle, autonome et large-échelle. (Complexity of Ambient Software: from Composition to Distributed, Contextual, Autonomous, Large-scale Execution).		2016	RDF
15	Yongjin Seo, Hyeon Soo Kim	Operator-data type pair based execution environments independent worst-case execution time measuring method.	ICIS	2016	DBLP DOI BibTeX RDF
15	Kohjiro Hashimoto, Shinji Doki, Kae Doki	Modeling method of execution timing of operation to analyze the reaction time from judgment to execution of operation.	IECON	2016	DBLP DOI BibTeX RDF
15	Rui Chang, Liehui Jiang, Qing Yin, Wei Liu, Shengqiao Zhang	A Novel Method of APK-Based Automated Execution and Traversal with a Trusted Execution Environment.	CIS	2016	DBLP DOI BibTeX RDF
15	Rémy Dautriche	Multi-scale interaction techniques for the interactive visualization of execution traces. (Techniques d'interaction multi-échelles pour la visualisation interactive de traces d'exécution).		2016	RDF
15	Justine Rochas	Execution support for multi-threaded active objects : design and implementation. (Support à l'exécution pour objets actifs multi-threadés : conception et implémentation).		2016	RDF
15	George Matheou, Costas Kyriacou, Paraskevas Evripidou	Data-Driven execution of the Tile LU Decomposition.	DFM@PACT	2016	DBLP DOI BibTeX RDF
15	Vincent Nélis, Patrick Meumeu Yomsi, Luís Miguel Pinho	The Variability of Application Execution Times on a Multi-Core Platform.	WCET	2016	DBLP DOI BibTeX RDF
15	Heiko Falk, Sebastian Altmeyer, Peter Hellinckx, Björn Lisper, Wolfgang Puffitsch, Christine Rochange, Martin Schoeberl, Rasmus Bo Sørensen, Peter Wägemann, Simon Wegener	TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research.	WCET	2016	DBLP DOI BibTeX RDF
15	Ahmad Atamli-Reineh, Ravishankar Borgaonkar, Ranjbar A. Balisane, Giuseppe Petracca, Andrew P. Martin	Analysis of Trusted Execution Environment usage in Samsung KNOX.	SysTEX@Middleware	2016	DBLP DOI BibTeX RDF
15	Min-Woo Jung, Daejin Park, Jeonghun Cho	Efficient Remote Software Execution Architecture Based on Dynamic Address Translation for Internet-of-Things Software Execution Platform.	NBiS	2015	DBLP DOI BibTeX RDF
15	Hamid Mushtaq, Zaid Al-Ars, Koen Bertels	Calculation of worst-case execution time for multicore processors using deterministic execution.	PATMOS	2015	DBLP DOI BibTeX RDF
15	Khawar Hasham, Kamran Munir, Richard McClatchey, Jetendr Shamdasani	Re-provisioning of Cloud-Based Execution Infrastructure Using the Cloud-Aware Provenance to Facilitate Scientific Workflow Execution Reproducibility.	CLOSER (Selected Papers)	2015	DBLP DOI BibTeX RDF
15	Jin Soo Jang, Sunjune Kong, Minsu Kim, Daegyeong Kim, Brent ByungHoon Kang	SeCReT: Secure Channel between Rich Execution Environment and Trusted Execution Environment.	NDSS	2015	DBLP BibTeX RDF
15	Dohyeong Kim, Yonghwi Kwon 0001, William N. Sumner, Xiangyu Zhang 0001, Dongyan Xu	Dual Execution for On the Fly Fine Grained Execution Comparison.	ASPLOS	2015	DBLP DOI BibTeX RDF
15	Erwan Bousse	Execution trace management to support dynamic V&V for executable DSMLs. (Gestion de traces d'exécution pour permettre la vérification et la validation pour des langages de modélisation dédiés exécutables).		2015	RDF
15	Quoc-Cuong To	Privacy-Preserving Query Execution using Tamper Resistant Hardware. Design and Performance Considerations. (Exécution de requêtes respectueuses de la vie privée grâce à l'utilisation de matériel sécurisé).		2015	RDF
15	Jean-François Dollinger	A framework for efficient execution on GPU and CPU+GPU systems. (Un framework pour l'exécution efficace d'applications sur GPU et CPU+GPU).		2015	RDF
15	Pathathai Na-Lumpoon	Toward a framework for automated service composition and execution : E-tourism Applications. (Vers une plateforme dédiée à la composition automatique et l'exécution de services : Applications E-Tourisme).		2015	RDF
15	Hoang Nam Ho	Décision multicritère à base de traces pour les applications interactives à exécution adaptative. (Trace-Based Multi-Criteria Decision Making in Interactive Application for Adaptive Execution).		2015	RDF
15	Damien Dosimont	Agrégation spatiotemporelle pour la visualisation de traces d'exécution. (Spatiotemporal Aggregation for Execution Trace Visualization).		2015	RDF
15	Pei Li 0003	Unified system of code transformation and execution for heterogeneous multi-core architectures. (Système unifié de transformation de code et d'éxécution pour un passage aux architectures multi-coeurs hétérogènes).		2015	RDF
15	Niklas Holsti, Jan Gustafsson, Linus Källberg, Björn Lisper	Analysing Switch-Case Code with Abstract Execution.	WCET	2015	DBLP DOI BibTeX RDF
15	Georg Wassen, Stefan Lankes	Bare-Metal Execution of Hard Real-Time Tasks Within a General-Purpose Operating System.	WCET	2015	DBLP DOI BibTeX RDF
15	Boris Dreyer, Christian Hochberger, Simon Wegener, Alexander Weiss	Precise Continuous Non-Intrusive Measurement-Based Execution Time Estimation.	WCET	2015	DBLP DOI BibTeX RDF
15	Jianbao Ren, Yong Qi, Yue-hua Dai, Xiaoguang Wang 0003, Yi Shi	AppSec: A Safe Execution Environment for Security Sensitive Applications.	VEE	2015	DBLP DOI BibTeX RDF
15	JinSeok Oh, Jin-woo Kwon, Hyukwoo Park, Soo-Mook Moon	Migration of Web Applications with Seamless Execution.	VEE	2015	DBLP DOI BibTeX RDF
15	Jens Lang 0002, Gudula Rünger	An execution time and energy model for an energy-aware execution of a conjugate gradient method with CPU/GPU collaboration.	J. Parallel Distributed Comput.	2014	DBLP DOI BibTeX RDF
15	Rogério Luís de Carvalho Costa, Pedro Furtado 0001	Express execution lines and execution time estimation.	IDEAS	2014	DBLP DOI BibTeX RDF
15	Mingkun Yang, Qimin Peng, Xiaohui Hu	Extending execution plan with execution path set partitions.	Internetware	2014	DBLP DOI BibTeX RDF
15	Stefan Konecny, Sebastian Stock 0001, Federico Pecora, Alessandro Saffiotti	Planning Domain + Execution Semantics: A Way Towards Robust Execution?	AAAI Spring Symposia	2014	DBLP BibTeX RDF
15	Ameer Armaly, Casey Ferris, Collin McMillan	Reusable execution replay: execution record and replay for source code reuse.	ICSE Companion	2014	DBLP DOI BibTeX RDF
15	Jingyi Bin	Controlling execution time variability using COTS for Safety-critical systems. (Contrôler la variabilité du temps d'exécution en utilisant COTS pour les systèmes Safety-critical).		2014	RDF
15	Cédrick Lelionnais	Contribution à la considération du comportement des plates-formes d'exécution logicielles temps réel. (Contribution to the Consideration of the Behavior of Real-Time Software Execution Platforms).		2014	RDF
15	Guillaume Laville	Exécution efficace de systèmes Multi-Agents sur GPU. (Efficient execution of multi-agent systems on GPU).		2014	RDF
15	Christiane Kamdem Kengne	Abstraction and comparison of execution traces for analysis of embedded multimedia applications. (Abstraction et comparaison de traces d'exécution pour l'analyse d'applications multimédias embarquées).		2014	RDF
15	André Oliveira Maroneze	Certified Compilation and Worst-Case Execution Time Estimation. (Compilation formellement vérifiée et estimation du pire temps d'éxécution).		2014	RDF