Concurrency

Knowledge in action: logical foundations for specifying and implementing dynamical systems

引用数: 1115 • 2002

Model checking for programming languages using VeriSoft

Patrice Godefroid

引用数: 828 • 1997

Microsoft robotics studio: A technical introduction

Jared Jackson

引用数: 221 • 2007

Adapting Futures: Scalability for Real-World Computing

Johannes Helander, Risto Serg, Margus Veanes, Pritam Roy

引用数: 179 • 2007

Formal analysis of a space-craft controller using SPIN

Klaus Havelund, M. Lowry, John Penix

引用数: 178 • 2001

Fixed point theorems and semantics: a folk tale

J.-L. Lassez, V.L. Nguyen, Ea Sonenberg

引用数: 133 • 1982

On real-time transactions

John A. Stankovic, Wei Zhao

引用数: 114 • 1988

Petri Net Plans

V. A. Ziparo, Luca Iocchi, Pedro U. Lima, Daniele Nardi, Pier Francesco Palamara

引用数: 110 • 2010

S^3DNN: Supervised Streaming and Scheduling for GPU-Accelerated Real-Time DNN Workloads

Husheng Zhou, Soroush Bateni, Cong Liu

引用数: 88 • 2018

Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus

Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque

引用数: 81 • 1997

Professional Microsoft Robotics Developer Studio

Kyle Johns, Trevor Taylor

引用数: 66 • 2008

PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time

Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos

引用数: 66 • 2020

The build-time software architecture view

Qiang Tu, Michael W. Godfrey

引用数: 65 • 2002

RAFCON: A graphical tool for engineering complex, robotic tasks

Sebastian G. Brunner, Franz Steinmetz, Rico Belder, Andreas Dömel

引用数: 61 • 2016

Failure Recognition and Fault Tolerance of an Autonomous Robot

Cynthia Ferrell

引用数: 58 • 1994

Linguistic Geometry: From Search to Construction

Boris Stilman

引用数: 48 • 2000

Distributed Computer Architecture and Fast Parallel Algorithms in Real-Time Robot Control

Eli Eliyahu Binder, James H. Herzog

引用数: 43 • 1986

RTC: Language support for real-time concurrency

Victor Fay Wolfe, Susan B. Davidson, Insup Lee

引用数: 42 • 1993

Modeling and Performance Analysis of a Flexible PCB Assembly Station Using Petri Nets

MengChu Zhou, Ming C. Leu

引用数: 42 • 1991

Planning Ergonomic Sequences of Actions in Human-Robot Interaction

Baptiste Busch, Marc Toussaint, Manuel Lopes

引用数: 41 • 2018