Results 261 to 270 of about 937,369 (303)

A Survey of Symbolic Execution Techniques

ACM Computing Surveys, 2019
Roberto Baldoni, Camil Demetrescu, Irene Finocchi   +2 more
exaly  

Symbolic Execution and Program Testing

Communications of the ACM, 1976
James C King
exaly  

The executions of '45

Notes and Queries, 1880
openaire   +1 more source

The Worst-Case Execution-Time Problem—Overview of Methods and Survey of Tools

Transactions on Embedded Computing Systems, 2008
Isabelle Puaut, Frank Mueller, Peter Puschner   +2 more
exaly  

Execution by Lethal Injection

Lancet, The, 1996
James Welsh
exaly  

Executive Summary

Vaccine, 2012
openaire   +2 more sources

Phantom Motor Execution Facilitated by Machine Learning and Augmented Reality as Treatment for Phantom Limb Pain: A Single Group, Clinical Trial in Patients With Chronic Intractable Phantom Limb Pain

Lancet, The, 2016
Cathrine Widehammar, Morten B Kristoffersen, Max Ortiz-Catalan   +2 more
exaly  

Seamless Application Execution in Mobile Cloud Computing: Motivation, Taxonomy, and Open Challenges

Journal of Network and Computer Applications, 2015
Muhammad Khurram Khan, Samee U Khan, Rajkumar Buyya   +2 more
exaly  

Execution Monitoring in Robotics: A Survey

Robotics and Autonomous Systems, 2005
Ola Pettersson
exaly  

Directed Incremental Symbolic Execution

ACM Transactions on Software Engineering and Methodology, 2014
Guowei Yang, Sarfraz Khurshid, Neha Rungta   +2 more
exaly