Search results for "execution"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Sukhdeep Sodhi, Jaspal Subhlok	Automatic Construction and Evaluation of Performance Skeletons.	IPDPS	2005	DBLP DOI BibTeX RDF
14	Milenko Drinic, Darko Kirovski	A Hardware-Software Platform for Intrusion Prevention.	MICRO	2004	DBLP DOI BibTeX RDF
14	A. Murat Fiskiran, Ruby B. Lee	Evaluating Instruction Set Extensions for Fast Arithmetic on Binary Finite Fields.	ASAP	2004	DBLP DOI BibTeX RDF
14	John R. Graham, Keith Decker, Michael Mersic	DECAF - A Flexible Multi Agent System Architecture.	Auton. Agents Multi Agent Syst.	2003	DBLP DOI BibTeX RDF	DECAF, TÆMS, RETSINA, agent toolkits, multi-agent systems, infrastructure, agent architectures
14	Minsoo Ryu, Seongsoo Hong	Deterministic and Statistical Deadline Guarantees for a Mixed Set of Periodic and Aperiodic Tasks.	RTCSA	2003	DBLP DOI BibTeX RDF
14	Ankit Goel, Abhik Roychoudhury, Tulika Mitra	Compactly representing parallel program executions.	PPoPP	2003	DBLP DOI BibTeX RDF	program path compression, dynamic program analysis, path profiling
14	Reinhard Wilhelm	Run-Time Guarantees for Real-Time Systems.	FORMATS	2003	DBLP DOI BibTeX RDF
14	Bradley C. Kuszmaul, Dana S. Henry, Gabriel H. Loh	A Comparison of Asymptotically Scalable Superscalar Processors.	Theory Comput. Syst.	2002	DBLP DOI BibTeX RDF
14	Craig B. Zilles, Gurindar S. Sohi	Master/slave speculative parallelization.	MICRO	2002	DBLP DOI BibTeX RDF
14	Wendell D. Jones, John P. Hudepohl, Taghi M. Khoshgoftaar, Edward B. Allen	Application of a Usage Profile in Software Quality Models.	CSMR	1999	DBLP DOI BibTeX RDF
14	Alistair P. Barros, Arthur H. M. ter Hofstede	Modeling Extensions for Concurrent Workflow Coordination.	CoopIS	1999	DBLP DOI BibTeX RDF	workflow, conceptual modelling, Process Algebra, formal semantics, business process re-engineering
14	Muthucumaru Maheswaran, Howard Jay Siegel	A Dynamic Matching and Scheduling Algorithm for Heterogeneous Computing Systems.	Heterogeneous Computing Workshop	1998	DBLP DOI BibTeX RDF	scheduling, parallel processing, mapping, matching, dynamic scheduling, heterogeneous computing, list scheduling
14	Rajiv Gupta 0001, Mary Lou Soffa, John Howard	Hybrid Slicing: Integrating Dynamic Information with Static Analysis.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF	dynamic call graph, hybrid slice, dynamic slice, breakpoint, static slice
14	Brian L. Deitrich, Wen-mei W. Hwu	Speculative Hedge: Regulating Compile-time Speculation Against Profile Variations.	MICRO	1996	DBLP DOI BibTeX RDF
14	Margaret Martonosi, Anoop Gupta, Thomas E. Anderson	Effectiveness of Trace Sampling for Performance Debugging Tools.	SIGMETRICS	1993	DBLP DOI BibTeX RDF
14	Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy	Abstract Machine for LDL.	EDBT	1990	DBLP DOI BibTeX RDF
14	Bernd Hindel	An object-oriented programming language for distributed systems: Heraklit.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
14	Paul A. Ponville	Describing distributed environments (abstract only).	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
13	Oren Laadan, Nicolas Viennot, Jason Nieh	Transparent, lightweight application execution replay on commodity multiprocessor operating systems.	SIGMETRICS	2010	DBLP DOI BibTeX RDF	record-replay, fault-tolerance, debugging, virtualization
13	Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, Dan Grossman	CoreDet: a compiler and runtime system for deterministic multithreaded execution.	ASPLOS	2010	DBLP DOI BibTeX RDF	compilers, multithreading, multicore, determinism
13	Davide Francesco Barbieri, Daniele Braga, Stefano Ceri, Michael Grossniklaus	An execution environment for C-SPARQL queries.	EDBT	2010	DBLP DOI BibTeX RDF
13	Femke de Jonge, Nico Roos, Cees Witteveen	Primary and secondary diagnosis of multi-agent plan execution.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	Multi-agent systems, Planning, Diagnosis
13	Saswat Anand, Corina S. Pasareanu, Willem Visser	Symbolic execution with abstraction.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF
13	Abhishek Udupa, R. Govindarajan, Matthew J. Thazhuthaveetil	Synergistic execution of stream programs on multicores with accelerators.	LCTES	2009	DBLP DOI BibTeX RDF	CUDAa, partitioning, software pipelining, stream programming, GPU programming
13	Mohit Tiwari, Xun Li 0001, Hassan M. G. Wassel, Frederic T. Chong, Timothy Sherwood	Execution leases: a hardware-supported mechanism for enforcing strong non-interference.	MICRO	2009	DBLP DOI BibTeX RDF	gate level information flow tracking, covert channels, high assurance systems, timing channels
13	Daniel Sánchez 0004, Juan L. Aragón, José M. García 0001	REPAS: Reliable Execution for Parallel ApplicationS in Tiled-CMPs.	Euro-Par	2009	DBLP DOI BibTeX RDF
13	Trevor Hansen, Peter Schachte, Harald Søndergaard	State Joining and Splitting for the Symbolic Execution of Binaries.	RV	2009	DBLP DOI BibTeX RDF
13	Vlad Mihai Sima, Koen Bertels	Runtime decision of hardware or software execution on a heterogeneous reconfigurable platform.	IPDPS	2009	DBLP DOI BibTeX RDF
13	Ping Jiang 0005, Liang Gao 0001, Peigen Li, Haobo Qiu	Collaborative execution mechanisms for the TCPN-enhanced process-view approach based inter-enterprises workflow.	CSCWD	2009	DBLP DOI BibTeX RDF
13	Soyeon Park, Yuanyuan Zhou 0001, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu 0001	PRES: probabilistic replay with execution sketching on multiprocessors.	SOSP	2009	DBLP DOI BibTeX RDF	replay, concurrency bug
13	Chao Chen, Ke Wang, Shuren Liao, Qiuyan Zhang, Yiqi Dai	A Novel Server-Based Application Execution Architecture.	CSE (2)	2009	DBLP DOI BibTeX RDF
13	Avinash Malik, Zoran A. Salcic, Alain Girault, Adam Walker, Sung Chul Lee	A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution.	JTRES	2009	DBLP DOI BibTeX RDF	synchronous and asynchronous concurrency, multiprocessor, GALS, reactivity
13	Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte	Dynamic Symbolic Execution for Testing Distributed Objects.	TAP@TOOLS	2009	DBLP DOI BibTeX RDF
13	Farrukh Nadeem, Thomas Fahringer	Predicting the execution time of grid workflow applications through local learning.	SC	2009	DBLP DOI BibTeX RDF
13	Mark Silberstein, Artyom Sharov, Dan Geiger, Assaf Schuster	GridBot: execution of bags of tasks in multiple grids.	SC	2009	DBLP DOI BibTeX RDF
13	M. Aater Suleman, Onur Mutlu, Moinuddin K. Qureshi, Yale N. Patt	Accelerating critical section execution with asymmetric multi-core architectures.	ASPLOS	2009	DBLP DOI BibTeX RDF	heterogeneous cores, parallel programming, cmp, multi-core, locks, critical sections
13	Amine Marref, Guillem Bernat	Predicated Worst-Case Execution-Time Analysis.	Ada-Europe	2009	DBLP DOI BibTeX RDF
13	Brian P. Bailey, Shamsi T. Iqbal	Understanding changes in mental workload during execution of goal-directed tasks and its application for interruption management.	ACM Trans. Comput. Hum. Interact.	2008	DBLP DOI BibTeX RDF	user studies, Attention, task models, interruption, workload, pupil size
13	Liang Gu, Xuhua Ding, Robert Huijie Deng, Bing Xie, Hong Mei 0001	Remote attestation on program execution.	STC	2008	DBLP DOI BibTeX RDF	trusted computing, program dependency, remote attestation
13	Hong Liu 0018, Xiaoning Wang, Tian Luo, Xiaosong Li, Wei Li 0008	Improving the Performance of Service-based Applications by Dynamic Service Execution.	PDP	2008	DBLP DOI BibTeX RDF	Web Services, Performance, Virtual Machine
13	Qiming Chen, Meichun Hsu	Correlated Query Process and P2P Execution.	Globe	2008	DBLP DOI BibTeX RDF
13	Dang Minh Quan, Jörn Altmann, Laurence Tianruo Yang	Optimizing the Execution Time of the SLA-based Workflow in the Grid with Parallel Processing Technology.	APSCC	2008	DBLP DOI BibTeX RDF
13	Nadathur Satish, Kaushik Ravindran, Kurt Keutzer	Scheduling task dependence graphs with variable task execution times onto heterogeneous multiprocessors.	EMSOFT	2008	DBLP DOI BibTeX RDF	statistical scheduling, scheduling, simulated annealing, variability, list-scheduling
13	Ajay Nair, Roman L. Lysecky	Non-intrusive dynamic application profiler for detailed loop execution characterization.	CASES	2008	DBLP DOI BibTeX RDF	nonintrusive, embedded systems, profiling, dynamic optimization
13	Mingzhong Wang, Kotagiri Ramamohanarao, Jinjun Chen	Robust Scheduling and Runtime Adaptation of Multi-agent Plan Execution.	IAT	2008	DBLP DOI BibTeX RDF
13	José Luis Vázquez-Poletti, Eduardo Huedo, Rubén S. Montero, Ignacio Martín Llorente	CD-HIT Workflow Execution on Grids Using Replication Heuristics.	CCGRID	2008	DBLP DOI BibTeX RDF	CD-HIT, Replication Heuristics, Grid Computing, Workflows, Bioinformatics
13	Tushar Kumar, Romain Cledat, Jaswanth Sreeram, Santosh Pande	Statistically Analyzing Execution Variance for Soft Real-Time Applications.	LCPC	2008	DBLP DOI BibTeX RDF
13	Andrew Brown 0005, Mark Ryan 0001	Synthesising Monitors from High-Level Policies for the Safe Execution of Untrusted Software.	ISPEC	2008	DBLP DOI BibTeX RDF
13	Claudia Di Napoli, Maurizio Giordano	Explicit Control of Service Execution to Support QoS-Based Grid Scheduling.	ICA3PP	2008	DBLP DOI BibTeX RDF
13	Stefan Leye, Jan Himmelspach, Matthias Jeschke, Roland Ewald, Adelinde M. Uhrmacher	A Grid-Inspired Mechanism for Coarse-Grained Experiment Execution.	DS-RT	2008	DBLP DOI BibTeX RDF
13	Serena Fritsch, Siobhán Clarke	TimeAdapt: timely execution of dynamic software reconfigurations.	Middleware (Doctoral Symposium)	2008	DBLP DOI BibTeX RDF	dynamic software reconfiguration, real-time embedded systems, timeliness
13	Babak Salamat, Andreas Gal, Todd Jackson, Karthikeyan Manivannan, Gregor Wagner, Michael Franz	Multi-variant Program Execution: Using Multi-core Systems to Defuse Buffer-Overflow Vulnerabilities.	CISIS	2008	DBLP DOI BibTeX RDF
13	Andriy V. Miranskyy, Nazim H. Madhavji, Mechelle Gittens, Matthew Davison 0001, Mark Wilding, David Godwin, Colin A. Taylor	SIFT: a scalable iterative-unfolding technique for filtering execution traces.	CASCON	2008	DBLP DOI BibTeX RDF
13	John T. E. Timm, Gerald C. Gannod	Grounding and Execution of OWL-S Based Semantic Web Services.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF
13	Yan Zhang 0004, Zhifeng Chen, Yuanyuan Zhou 0001	Efficient Execution of Multiple Queries on Deep Memory Hierarchy.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	mini-task scheduling, concurrent queries, cache performance, temporal locality
13	Okehee Goh, Yann-Hang Lee, Ziad Kaakani, Elliott Rachlin	Schedulable garbage collection in CLI virtual execution system.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	Garbage-collection scheduling, Garbage collection cost model, Virtual machine, Real-time garbage collection
13	Yi Ma, Hongliang Gao, Martin Dimitrov, Huiyang Zhou	Optimizing Dual-Core Execution for Power Efficiency and Transient-Fault Recovery.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	Multiple data stream architectures, fault tolerance, low-power design
13	Francisco J. Cazorla, Enrique Fernández, Peter M. W. Knijnenburg, Alex Ramírez, Rizos Sakellariou, Mateo Valero	On the Problem of Minimizing Workload Execution Time in SMT Processors.	ICSAMOS	2007	DBLP DOI BibTeX RDF
13	Abdelbaki Bouguerra, Lars Karlsson, Alessandro Saffiotti	Semantic Knowledge-Based Execution Monitoring for Mobile Robots.	ICRA	2007	DBLP DOI BibTeX RDF
13	Shinichi Yamagiwa, Leonel Sousa, Tomás Brandão	Meta-Pipeline: A New Execution Mechanism for Distributed Pipeline Processing.	ISPDC	2007	DBLP DOI BibTeX RDF
13	Yijian Bai, Hetal Thakkar, Haixun Wang, Carlo Zaniolo	A Flexible Query Graph Based Model for the Efficient Execution of Continuous Queries.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
13	Nanjangud C. Narendra, Bart Orriëns	Modeling web service composition and execution via a requirements-driven approach.	SAC	2007	DBLP DOI BibTeX RDF	web services, requirements
13	Huong Giang Nguyen, Seokjoong Hwang, Seon Wook Kim	Compiler Construction for Lockstep Execution of Multithreaded Processors.	CIT	2007	DBLP DOI BibTeX RDF
13	Zuling Kang, Hongbing Wang, Patrick C. K. Hung	WS-CDL+: An Extended WS-CDL Execution Engine for Web Service Collaboration.	ICWS	2007	DBLP DOI BibTeX RDF
13	Joachim Biskup, Barbara Carminati, Elena Ferrari, Frank Müller, Sandra Wortmann	Towards Secure Execution Orders for CompositeWeb Services.	ICWS	2007	DBLP DOI BibTeX RDF
13	Chunming Gao, Huang Tan, Huowang Chen	Frameworks of Composite Services Execution Engine with Feedback Control.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
13	Basile Schaeli, Sebastian Gerlach, Roger D. Hersch	Decomposing Partial Order Execution Graphs to Improve Message Race Detection.	IPDPS	2007	DBLP DOI BibTeX RDF
13	Srinivas Vadlamani, Stephen F. Jenks	Architectural Considerations for Efficient Software Execution on Parallel Microprocessors.	IPDPS	2007	DBLP DOI BibTeX RDF
13	Matthias Jacob, Mariusz H. Jakubowski, Ramarathnam Venkatesan	Towards integral binary execution: implementing oblivious hashing using overlapped instruction encodings.	MM&Sec	2007	DBLP DOI BibTeX RDF	anti-disassembly, oblivious hashing, overlapped code, obfuscation, tamper-resistance, integrity checking
13	Sangsoo Park, Walter Olds, Kang G. Shin, Shige Wang	Integrating Virtual Execution Platform for Accurate Analysis in Distributed Real-Time Control System Development.	RTSS	2007	DBLP DOI BibTeX RDF
13	Jonghan Park, Soonhoi Ha	Performance Analysis of Parallel Execution of H.264 Encoder on the Cell Processor.	ESTIMedia	2007	DBLP DOI BibTeX RDF
13	Paolo Bottoni, Juan de Lara, Esther Guerra	Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages.	VL/HCC	2007	DBLP DOI BibTeX RDF	Visual Languages, Meta-Modelling, Operational Semantics, Graph Transformation
13	Cristian Tapus, Jason Hickey	A Theory of Nested Speculative Execution.	COORDINATION	2007	DBLP DOI BibTeX RDF
13	Eduardo Aranha, Paulo Borba	An Estimation Model for Test Execution Effort.	ESEM	2007	DBLP DOI BibTeX RDF
13	Toshihiro Tabata, Satoshi Hakomori, Kazutoshi Yokoyama, Hideo Taniguchi	Controlling CPU Usage for Processes with Execution Resource for Mitigating CPU DoS Attack.	MUE	2007	DBLP DOI BibTeX RDF
13	Andreas Moser, Christopher Krügel, Engin Kirda	Exploring Multiple Execution Paths for Malware Analysis.	S&P	2007	DBLP DOI BibTeX RDF
13	Jia Yu 0009, Michael Kirley, Rajkumar Buyya	Multi-objective planning for workflow execution on Grids.	GRID	2007	DBLP DOI BibTeX RDF
13	Christian Buckl, Matthias Regensburger, Alois C. Knoll, Gerhard Schrott	Generic Fault-Tolerance Mechanisms Using the Concept of Logical Execution Time.	PRDC	2007	DBLP DOI BibTeX RDF
13	Sten A. Lundesgaard, Arnor Solberg, Jon Oldevik, Robert B. France, Jan Øyvind Aagedal, Frank Eliassen	Construction and Execution of Adaptable Applications Using an Aspect-Oriented and Model Driven Approach.	DAIS	2007	DBLP DOI BibTeX RDF
13	Pavel Krcál, Martin Stigge, Wang Yi 0001	Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times.	FORMATS	2007	DBLP DOI BibTeX RDF
13	A. K. M. Khaled Ahsan Talukder, Michael Kirley, Rajkumar Buyya	Multiobjective differential evolution for workflow execution on grids.	MGC	2007	DBLP DOI BibTeX RDF	multiobjective differential evolution, multiobjective optimization, grid scheduling
13	Frederic Montagut, Refik Molva	Enforcing Integrity of Execution in Distributed Workflow Management Systems.	IEEE SCC	2007	DBLP DOI BibTeX RDF
13	Vineet Chadha, Ramesh Illikkal, Ravi R. Iyer 0001, Jaideep Moses, Donald Newell, Renato J. O. Figueiredo	I/O processing in a virtualized platform: a simulation-driven approach.	VEE	2007	DBLP DOI BibTeX RDF	simulation, virtual machines, virtualization, performance model, xen
13	Gregory Levitin, Yuan-Shun Dai, Hanoch Ben-Haim	Reliability and Performance of Star Topology Grid Service With Precedence Constraints on Subtask Execution.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
13	Alexander Lazovik, Marco Aiello 0001, Mike P. Papazoglou	Planning and monitoring the execution of web service requests.	Int. J. Digit. Libr.	2006	DBLP DOI BibTeX RDF
13	Sang-Min Park, Glenn S. Wasson, Marty Humphrey	Authorizing Remote Job Execution Based on Job Properties.	e-Science	2006	DBLP DOI BibTeX RDF
13	Dohyung Kim 0007, Soonhoi Ha, Rajesh Gupta 0001	Parallel co-simulation using virtual synchronization with redundant host execution.	DATE	2006	DBLP DOI BibTeX RDF
13	Saswat Anand, Corina S. Pasareanu, Willem Visser	Symbolic Execution with Abstract Subsumption Checking.	SPIN	2006	DBLP DOI BibTeX RDF
13	V. Santhosh Kumar, Matthew J. Thazhuthaveetil, R. Govindarajan	Exploiting programmable network interfaces for parallel query execution in workstation clusters.	IPDPS	2006	DBLP DOI BibTeX RDF
13	Yohei Hasegawa, Shohei Abe, Shunsuke Kurotaki, Vu Manh Tuan, Naohiro Katsura, Takuro Nakamura, Takashi Nishimura, Hideharu Amano	Performance and power analysis of time-multiplexed execution on dynamically reconfigurable processor.	IPDPS	2006	DBLP DOI BibTeX RDF
13	Divya Arora, Anand Raghunathan, Srivaths Ravi 0001, Niraj K. Jha	Architectural support for safe software execution on embedded processors.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	type safety, memory safety, extensible processors
13		Multi-paradigm and Multi-grain Parallel Execution Model Based on SMP-Cluster.	John Vincent Atanasoff Symposium	2006	DBLP DOI BibTeX RDF
13	Lukasz Masko, Gregory Mounie, Denis Trystram, Marek Tudruj	Program Graph Structuring for Execution in Dynamic SMP Clusters Using Moldable Tasks.	PARELEC	2006	DBLP DOI BibTeX RDF
13	José María Fuentes, Jorge E. López de Vergara, Pablo Castells	An Ontology-Based Approach to the Description and Execution of Composite Network Management Processes for Network Monitoring.	DSOM	2006	DBLP DOI BibTeX RDF	WSBPEL, Composite Process, Network Management, Network Monitoring, OWL-S
13	Jan Gustafsson, Andreas Ermedahl, Christer Sandberg, Björn Lisper	Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution.	RTSS	2006	DBLP DOI BibTeX RDF
13	Harith T. Al-Jumaily, César de Pablo-Sánchez, Dolores Cuadra, Paloma Martínez	Using UML's Sequence Diagrams for Representing Execution Models Associated to Triggers.	BNCOD	2006	DBLP DOI BibTeX RDF
13	André Severo Pereira Gomes, André Merzky, Lucas Visscher	A Framework for Execution of Computational Chemistry Codes in Grid Environments.	International Conference on Computational Science (3)	2006	DBLP DOI BibTeX RDF	Grid(lab) Application Toolkit, Command–line Interface, Grid Computing, Heterogeneous Environment, Computational Chemistry
13	Demosthenes Akoumianakis, Athanassios Katsis, Nikolas Vidakis	Non-functional User Interface Requirements Notation (NfRn) for Modeling the Global Execution Context of Tasks.	TAMODIA	2006	DBLP DOI BibTeX RDF	HCI Notations, User interfaces, Scenarios, Context models
13	Femke de Jonge, Nico Roos, Cees Witteveen	Diagnosis of Multi-agent Plan Execution.	MATES	2006	DBLP DOI BibTeX RDF
13	Yongwei Wu, Likun Liu, Weimin Zheng, Feng He	On Interoperability: The Execution Management Perspective Based on ChinaGrid Support Platform*.	GCC Workshops	2006	DBLP DOI BibTeX RDF