Search results for "execution"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Vladimir-Alexandru Paun	Precise and Adaptable Worst-Case Execution Time Estimation in Hard Real-Time Systems. (Détermination des pire-temps d'exécution (WCET) pour des plateformes embarquées par analyse statique).		2014	RDF
15	Mohamad Othman Abdallah	MELQART : un système d'exécution de mashups avec disponibilité de données. (MELQART : a mashup execution system with data availability).		2014	RDF
15	Heidar Pirzadeh, Sara Shanian, Abdelwahab Hamou-Lhadj, Luay Alawneh, Arya Shafiee	Stratified sampling of execution traces: Execution phases serving as strata.	Sci. Comput. Program.	2013	DBLP DOI BibTeX RDF
15	Sergio Jiménez Celorrio, Fernando Fernández 0001, Daniel Borrajo	Integrating Planning, Execution, and Learning to Improve Plan Execution.	Comput. Intell.	2013	DBLP DOI BibTeX RDF
15	Phuong Thao Pham	Architecture à base de situations pour le traitement des quiproquos dans l'exécution adaptative d'applications interactives. (Situation-based architecture for misunderstanding management in the adaptive execution of interactive applications).		2013	RDF
15	Patricia López Cueva	Débogage des traces d'exécution des applications multimédia embarquées en utilisant la recherche de motifs périodiques. (Debugging Embedded Multimedia Application Execution Traces through Periodic Pattern Mining).		2013	RDF
15	Jonas Dias	Exécution interactive pour expériences computationnelles à grande échelleInteractive Execution for Large Scale Computational Experiments.		2013	RDF
15	Benjamin Lesage	Architecture multi-coeurs et temps d'exécution au pire cas. (Multicore architectures and worst-case execution time).		2013	RDF
15	Matthieu Ospici	Modèles de programmation et d'exécution pour les architectures parallèles et hybrides. Applications à des codes de simulation pour la physique. (Programming models and execution models for parallel and hybrid architectures. Application to physics simulations.).		2013	RDF
15	Diana Moreno-Garcia	Modèles, outils et plate-forme d'exécution pour les applications à service dynamiques. (Models, tools and execution platform for dynamique service-oriented applications).		2013	RDF
15	Joeffrey Legaux	Squelettes algorithmiques pour la programmation et l'exécution efficaces de codes parallèles. (Algorithmic skeletons for efficient programming and execution of parallel codes).		2013	RDF
15	Azzeddine Amiar	Aide à l'analyse de traces d'exécution dans le contexte des microcontrôleurs 32 bits. (Assit to execution trace analysis in the microcontrollers 32 bits context).		2013	RDF
15	Nicolas Rempulski	Synthèse dynamique de superviseur pour l'exécution adaptative d'applications interactives. (Dynamic synthesis of supervisor for interactive application adaptive execution).		2013	RDF
15	Mohamed Djouani	Recherche d'information dans les documents numériques : vers une variation des modalités d'exécution procédurale. (Information retrieval in digital documents : a variation patterns of procedural execution).		2013	RDF
15	Chen Wang 0030	A chemistry-inspired middleware for flexible execution of service based applications. (Un middleware inspiré par la chimie pour l'exécution et l'adaptation flexible d'applications basées sur des services).		2013	RDF
15	Yaroub Elloumi	Parallélisme des nids de boucles pour l'optimisation du temps d'exécution et de la taille du code. (Nested loop parallelism to optimize execution time and code size).		2013	RDF
15	Nenad Stojnic, Heiko Schuldt	OSIRIS-SR: a scalable yet reliable distributed workflow execution engine.	SWEET@SIGMOD	2013	DBLP DOI BibTeX RDF
15	Francisco J. Cazorla, Tullio Vardanega, Eduardo Quiñones, Jaume Abella 0001	Upper-bounding Program Execution Time with Extreme Value Theory.	WCET	2013	DBLP DOI BibTeX RDF
15	Dumitru Potop-Butucaru, Isabelle Puaut	Integrated Worst-Case Execution Time Estimation of Multicore Applications.	WCET	2013	DBLP DOI BibTeX RDF
15	Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr	The Auspicious Couple: Symbolic Execution and WCET Analysis.	WCET	2013	DBLP DOI BibTeX RDF
15	Ruijin Zhou, Tao Li 0006	Leveraging phase change memory to achieve efficient virtual machine execution.	VEE	2013	DBLP DOI BibTeX RDF
15	Se Jung Kwon, Tag Gon Kim	Design and implementation of event-based DEVS execution environment for faster execution of iterative simulation.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
15	Imen Ben Lahmar	Continuity of user tasks execution in pervasive environments. (La continuité d'exécution des tâches d'utilisateurs dans les environnements pervasifs).		2012	RDF
15	Jonathan Bardin	RoSe : un framework pour la conception et l'exécution d'applications distribuées dynamiques et hétérogènes. (RoSe : A framework for the design and execution of dynamic and heterogeneous distributed applications).		2012	RDF
15	Thomas Moulard	Optimisation numérique pour la robotique et exécution de trajectoires référencées capteurs. (Numerical optimization for robotics and closed-loop trajectory execution).		2012	RDF
15	Rodrigue Chakode Noumowe	Environnement d'exécution pour des services de calcul à la demande sur des grappes mutualisées. (Execution Environment for On-demand Computing Services Based on Shared Clusters).		2012	RDF
15	Artur Pietrek	TIREX : une représentation textuelle intermédiaire pour un environnement d'exécution virtuel, échanger des informations du compilateur et d'analyse du programme. (TIREX : A textual target-level intermediate representation for virtual execution environment, compiler information exchange and program analysis).		2012	RDF
15	Sébastien Miquée	Exécution d'applications parallèles en environnements hétérogènes et volatils : déploiement et virtualisation. (Parallel applications execution in heterogeneous and volatile environnments : mapping and virtualization).		2012	RDF
15	Roman Bourgade	Analyse du temps d'exécution pire-cas de tâches temps-réel exécutées sur une architecture multi-cœurs. (Worst-case execution time analysis of real-time tasks executed on a multicore architecture).		2012	RDF
15	Issac Noe Garcia Garza	Modèles de conception et d'exécution pour la médiation et l'intégration de services. (Conception and execution models to mediate and integrate service).		2012	RDF
15	Wei Wang 0054, Tanima Dey, Ryan W. Moore, Mahmut Aktasoglu, Bruce R. Childers, Jack W. Davidson, Mary Jane Irwin, Mahmut T. Kandemir, Mary Lou Soffa	REEact: a customizable virtual execution manager for multicore platforms.	VEE	2012	DBLP DOI BibTeX RDF
15	Geoffrey Lefebvre, Brendan Cully, Christopher Head, Mark Spear, Norman C. Hutchinson, Mike Feeley, Andrew Warfield	Execution mining.	VEE	2012	DBLP DOI BibTeX RDF
15	Guilherme Piêgas Koslovski	Dynamically provisioned virtual infrastructures : specification, allocation and execution. (Infrastructures virtuelles dynamiquement approvisionnées : spécification, allocation et exécution).		2011	RDF
15	Pierre Riteau	Dynamic Execution Platforms over Federated Clouds. (Plates-formes d'exécution dynamiques sur des fédérations de nuages informatiques).		2011	RDF
15	Daniele Perito	Exécution sécurisée de code sur systèmes embarqués. (Trustworthy code execution on embedded devices).		2011	RDF
15	Benoît Pradelle	Static and Dynamic Methods of Polyhedral Compilation for an Efficient Execution in Multicore Environments. (Méthodes Statiques et Dynamiques de Compilation Polyédrique pour l'Exécution en Environnement Multi-Cœurs).		2011	RDF
15	Sébastien Moutault	Définition et implémentation d'un modèle causal d'exécution temps-réel distribuée. (Definition and implementation of a causal distributed real-time execution model).		2011	RDF
15	Bilel Benhamamouch	Calcul du pire temps d'exécution : méthode formelle s'adaptant à la sophistication croissante des architectures matérielles. (Computation of the worst case execution time : formal analysis method that fits the increasing complexity of the hardware architecture).		2011	RDF
15	Anna Sasak, Marcin Brzuszek	Speculative execution plan for multiple query execution systems.	Ann. UMCS Informatica	2010	DBLP DOI BibTeX RDF
15	Gilles Dodinet, Michel Zamfirou, Geneviève Jomier	Coevolutive Meta-execution Support - Towards a Design and Execution Continuum.	ICSOFT (2)	2010	DBLP BibTeX RDF
15	Mathieu Petit	Approche spatiale pour la caractérisation du contexte d'exécution d'un système d'information ubiquitaire. (A spatial approach to execution-context modeling in ubiquitous informations systems).		2010	RDF
15	Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft, René Rydhof Hansen, Kim Guldstrand Larsen	METAMOC: Modular Execution Time Analysis using Model Checking.	WCET	2010	DBLP DOI BibTeX RDF
15	David Griffin 0002, Alan Burns 0001	Realism in Statistical Analysis of Worst Case Execution Times.	WCET	2010	DBLP DOI BibTeX RDF
15	Stefan Stattelmann, Florian Martin 0001	On the Use of Context Information for Precise Measurement-Based Execution Time Estimation.	WCET	2010	DBLP DOI BibTeX RDF
15	Thomas Ropars	Services et protocoles pour l'exécution fiable d'applications distribuées dans les grilles de calcul. (Services and protocols for reliable execution of distributed applications in computational grids).		2009	RDF
15	Antoine Allombert	Aspects temporels d'un système de partitions musicales interactives pour la composition et l'exécution. (Temporal aspects of a system of interactive musical scores for composition and execution).		2009	RDF
15	Louis Gesbert	Développement systématique et sûreté d'exécution en programmation parallèle structurée. (Systematic development and safety of execution in structured parallel programming).		2009	RDF
15	Niklas Holsti	WCET 2009 -- Preface to 9th International Workshop on Worst-Case Execution Time Analysis.	WCET	2009	DBLP BibTeX RDF
15	Zhen Ming Jiang, Ahmed E. Hassan, Gilbert Hamann, Parminder Flora	An automated approach for abstracting execution logs to execution events.	J. Softw. Maintenance Res. Pract.	2008	DBLP DOI BibTeX RDF
15	Yuhong Feng, Wentong Cai 0001	Execution coordination in mobile agent-based distributed job workflow execution.	J. Syst. Archit.	2008	DBLP DOI BibTeX RDF
15	Antonin Chazalet	Déploiement d'Applications à Services sur des Environnements d'Exécution à Services : Une Approche Dirigée par les Modèles. (Services Applications Deployment on Services Execution Environments: A Model Driven Approach).		2008	RDF
15	Frédéric Thomas	Contribution à la prise en compte des plates-formes logicielles d'exécution dans une ingénierie générative dirigée par les modèles. (Contribution to the software execution platform integration in a generative model driven engineering).		2008	RDF
15	Frédéric Loiret	Tinap : Modèle et infrastructure d'exécution orienté composant pour applications multi-tâches à contraintes temps réel souples et embarquées. (Tinap: A component-based model and execution infrastructure for multi-task, soft real-time, and embedded applications).		2008	RDF
15	Jan Gustafsson, Andreas Ermedahl	Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution.	WCET	2008	DBLP BibTeX RDF
15	Adrian Prantl, Markus Schordan, Jens Knoop	TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis.	WCET	2008	DBLP BibTeX RDF
15	Niklas Holsti, Jan Gustafsson, Guillem Bernat, Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne De Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, Markus Schordan	WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.	WCET	2008	DBLP BibTeX RDF
15	David Hickey, Diarmuid Early, Michel P. Schellekens	A tool for average and worst-case execution time analysis.	WCET	2008	DBLP BibTeX RDF
15	Raimund Kirner	WCET 2008 Abstracts Collection - 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.	WCET	2008	DBLP BibTeX RDF
15	Andrew M. Cheadle, A. J. Field, Johan Nyström-Persson	A method specialisation and virtualised execution environment for Java.	VEE	2008	DBLP DOI BibTeX RDF	method virtualization, memory management, language implementation, read barrier, incremental garbage collection
15	Toshihiro Tabata, Yoshinari Nomura, Hideo Taniguchi	Mechanism of regulating execution performance for process group by execution resource on tender operating system.	Syst. Comput. Jpn.	2007	DBLP DOI BibTeX RDF
15	Yvan Royon	Environnements d'exécution pour passerelles domestiques. (Execution environments for home gateways).		2007	RDF
15	Emmanuel Jeanvoine	Intergiciel pour l'exécution efficace et fiable d'applications distribuées dans des grilles dynamiques de très grande taille. (Middleware for the efficient and reliable execution of distributed applications in dynamic and very large scale grids).		2007	RDF
15	Sylvain Joyeux	Un composant logiciel pour la gestion et l'exécution de plan en robotique: Application aux systèmes multi-robots. (A Software Framework for Plan Management and Execution in Robotics: Application to Multi-Robot Systems).		2007	RDF
15	Adnene Guabtni	Sphères de comportement pour la modélisation et l'exécution de procédés flexibles. (Behavioural Spheres for Flexible Business Process Modelling and Execution).		2007	RDF
15	Alexandre Demeure	Modèles et outils pour la conception et l'exécution d'Interfaces Homme-Machine Plastiques, Ecosystème. (Models and tools for conception and execution of Plastic User Interface, Ecosystem).		2007	RDF
15	Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon	Automatic Amortised Worst-Case Execution Time Analysis.	WCET	2007	DBLP BibTeX RDF
15	Johan Fredriksson, Thomas Nolte, Andreas Ermedahl, Mikael Nolin	Clustering Worst-Case Execution Times for Software Components.	WCET	2007	DBLP BibTeX RDF
15	Christine Rochange	WCET 2007 Abstracts Collection - 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.	WCET	2007	DBLP BibTeX RDF
15	Damien Ciabrini	Débogage symbolique multi-langages pour les plates-formes d'exécution généralistes. (Language agnostic source level debugging for general purpose execution platforms).		2006	RDF
15	Michael Balser	Verifying concurrent systems with symbolic execution: temporal reasoning is symbolic execution with a little induction.		2006	RDF
15	Frank Mueller 0001	2006 WCET Preface - Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time Analysis (WCET'06).	WCET	2006	DBLP BibTeX RDF
15	Frank Mueller 0001	2006 WCET Abstracts Collection - 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.	WCET	2006	DBLP BibTeX RDF
15	Lobna Kriaa	Modélisation et validation des systèmes hétérogènes : définition d'un modèle d'exécution. (Modeling and validation of heterogeneous system : execution model definition).		2005	RDF
15	Raimund Kirner, Peter P. Puschner	Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis.	WCET	2005	DBLP BibTeX RDF
15	Michael Haupt, Mira Mezini, Christoph Bockisch, Tom Dinkelaker, Michael Eichberg, Michael Krebs	An execution layer for aspect-oriented programming languages.	VEE	2005	DBLP DOI BibTeX RDF	virtual machine support, aspect-oriented programming
15	Björn Lisper	Fully Automatic, Parametric Worst-Case Execution Time Analysis.	WCET	2003	DBLP BibTeX RDF
15	Vicente Lorente Garcés, Agustín Espinosa, Andrés Terrasa, Ana García-Fornes, Alfons Crespo	Evaluating Reasons for Unexpected Results When Measuring Execution Time of Code.	WCET	2003	DBLP BibTeX RDF
15	Stéphane Louise	Calcul de majorants sûrs de temps d'exécution au pire pour des tâches d'applications temps-réels critiques, pour des systèmes disposants de caches mémoire. (Calculation of Worst Case Execution Time safe upper bounds for hard real-time tasks, for systems using cache memories).		2002	RDF
15	Gerson Geraldo Homrich Cavalheiro	Athapascan-1 : interface générique pour l'ordonnancement dans un environnement d'exécution parallèle. (Athapascan-1 : generic scheduling interface in a parallel execution environment).		1999	RDF
15	Gwo-Dong Chen, Chen-Chung Liu, Jorng-Tzong Horng	Maintaining Execution Histories for Understanding the Execution of Business Processes.	COMPSAC	1998	DBLP DOI BibTeX RDF
15	Po-Yung Chang, Eric Hao, Yale N. Patt, Pohua P. Chang	Using Predicated Execution to Improve the Performance of a Dynamically Scheduled Machine with Speculative Execution.	Int. J. Parallel Program.	1996	DBLP DOI BibTeX RDF
15	Thierry Coupaye	Un modèle d'exécution paramétrique pour systèmes de bases de données actifs. (A parametric execution model for active database systems).		1996	RDF
15	Tai-Yi Huang, Jane W.-S. Liu	Predicting the Worst-Case Execution Time of the Concurrent Execution of Instructions and Cycle-Stealing DMA I/O Operations.	Workshop on Languages, Compilers, & Tools for Real-Time Systems	1995	DBLP BibTeX RDF
15	Po-Yung Chang, Eric Hao, Yale N. Patt, Pohua P. Chang	Using predicated execution to improve the performance of a dynamically scheduled machine with speculative execution.	PACT	1995	DBLP BibTeX RDF
15	Augustus K. Uht, Vijay Sindagi, Kelley Hall	Disjoint eager execution: an optimal form of speculative execution.	MICRO	1995	DBLP DOI BibTeX RDF
15	Frédéric Guinand	Ordonnancement avec communications pour systèmes multiprocesseurs dans divers modèles d'exécution. (Scheduling with Communication under Various Execution Models).		1995	RDF
15	Yves Mahéo	Environnement pour la compilation dirigée par les données : supports d'exécution et expérimentations. (Environments for data-driven compilation: execution supports and experiments).		1995	RDF
15	Olivier Causse	Navigation sous contraintes : planification et contrôle d'exécution pour un robot mobile autonome. (Navigation with constraints: Planning and execution control for an autonomous mobile robot).		1994	RDF
15	Michael Butler	Aggressive execution engines for surpassing single basic block execution.		1993	RDF
15	R. Govindarajan, Lalit M. Patnaik	Lenient Execution and Concurrent Execution of Re-Entrant Routines: Efficient Implementation in Data Flow Systems.	Comput. J.	1990	DBLP DOI BibTeX RDF
14	Eduardo S. Ogasawara, Daniel de Oliveira 0001, Fernando Seabra Chirigati, Carlos Eduardo Barbosa, Renato N. Elias, Vanessa Braganholo, Alvaro L. G. A. Coutinho, Marta Mattoso	Exploring many task computing in scientific workflows.	SC-MTAGS	2009	DBLP DOI BibTeX RDF	parallelization, computational fluid dynamics, scientific workflows, provenance
14	Stijn Eyerman, Lieven Eeckhout	Per-thread cycle accounting in SMT processors.	ASPLOS	2009	DBLP DOI BibTeX RDF	cycle accounting, simultaneous multithreading (smt), thread-progress aware fetch policy
14	Frederic Montagut, Refik Molva, Silvan Tecumseh Golega	The Pervasive Workflow: A Decentralized Workflow System Supporting Long-Running Transactions.	IEEE Trans. Syst. Man Cybern. Part C	2008	DBLP DOI BibTeX RDF
14	Josep Aguilar-Saborit, Mohammad Jalali, Dave Sharpe, Victor Muntés-Mulero	Exploiting pipeline interruptions for efficient memory allocation.	CIKM	2008	DBLP DOI BibTeX RDF	query optimizatioin, query processing
14	Mohamed Khamiss Hussein, Kenneth R. Mayes, Mikel Luján, John R. Gurd	Adaptive performance control for distributed scientific coupled models.	ICS	2007	DBLP DOI BibTeX RDF	PerCo, coupled models, performance control, adaptivity, grid
14	Luis Ceze, Karin Strauss, James Tuck 0001, Josep Torrellas, Jose Renau	CAVA: Using checkpoint-assisted value prediction to hide L2 misses.	ACM Trans. Archit. Code Optim.	2006	DBLP DOI BibTeX RDF	checkpointed processor architectures, multiprocessor, memory hierarchies, Value prediction
14	Panagiotis G. Ipeirotis, Eugene Agichtein, Pranay Jain, Luis Gravano	To search or to crawl?: towards a query optimizer for text-centric tasks.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF	information extraction, query optimization, research, metasearching, focused crawling, text databases
14	Koushik Sen, Gul Agha	Automated Systematic Testing of Open Distributed Programs.	FASE	2006	DBLP DOI BibTeX RDF
14	Alexander Helleboogh, Tom Holvoet, Danny Weyns, Yolande Berbers	Towards Time Management Adaptability in Multi-agent Systems.	Adaptive Agents and Multi-Agent Systems	2005	DBLP DOI BibTeX RDF
14	Ion Constantinescu, Walter Binder, Boi Faltings	Optimally Distributing Interactions Between Composed Semantic Web Services.	ESWC	2005	DBLP DOI BibTeX RDF