Concurrent computing

Model checking for programming languages using VeriSoft

Patrice Godefroid

Citations: 828 • 1997

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

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

Citations: 81 • 1997

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

Eli Eliyahu Binder, James H. Herzog

Citations: 43 • 1986

Towards programming tools for robots that integrate probabilistic computation and learning

Sebastian Thrun

Citations: 39 • 2002

Concurrent Programming and Robotics

Ingemar J. Cox, Narain Gehani

Citations: 30 • 1989

Concurrent programming of intelligent robots

Yutaka Kanayama

Citations: 26 • 1983

A multiagent robot language for communication and concurrency control

Hiroyuki Nishiyama, H. Ohwasa, Fumio Mizoguchi

Citations: 24 • 2002

Concurrent C and robotics

Ingemar J. Cox, NH Gehani

Citations: 10 • 2005

Concurrent modeling and simulation of multi-robot systems

David Ben‐Arieh

Citations: 9 • 1991

The Robot Brothers: An environment for learning parallel programming oriented to computer education

Giorgio Olimpo

Citations: 8 • 1988

Reliable and Efficient Concurrent Synchronization for Embedded Real-Time Software

Damian Dechev, Bjarne Stroustrup

Citations: 6 • 2009

Motion Session Types for Robotic Interactions (Brave New Idea Paper)

Rupak Majumdar, Marcus Pirron, Nobuko Yoshida, Damien Zufferey

Citations: 6 • 2019

Deriving concurrent control software from behavioral specifications

G. Ramanathan, Bill Morandi, Scott West, Sebastian Nanz, Bertrand Meyer

Citations: 5 • 2010

Implementing Flexible Parallelism for Modular Self-reconfigurable Robots

Mirko Bordignon, Lars Lindegaard Mikkelsen, Ulrik Pagh Schultz

Citations: 5 • 2008

Teach - a concurrent robot control language

C. F. Ruoff

Citations: 5 • 2005

Concurrency, Robotics, and RoboDeb

Christian L. Jacobsen, Matthew C. Jadud

Citations: 5 • 2007

Application of NXT Based Robots for Teaching Java-Based Concurrency

Łukasz Szweda, Daniel Wilusz, Jakub Flotyński

Citations: 4 • 2012

Orchestrating concurrency in robot swarms

Anthony Cowley, Camillo J. Taylor

Citations: 4 • 2007

Performance analysis of SCOOP programs

Benjamin Morandi, Sebastian Nanz, Bertrand Meyer

Citations: 3 • 2012

Advances in concurrent computers for autonomous robots

J. Barhen, E.C. Halbert, J. R. Einstein

Citations: 3 • 1986