2219 search results - page 61 / 444 » An environment for synchronous software development |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
ECBS
2011
IEEE
12 years 7 months ago
2011
IEEE
Abstract—With the availability of the off-the-shelf quadrocopter platforms, the implementation of autonomous unmanned aerial vehicle (UAV) has substantially been simplified. Suc...
HPCC
2009
Springer
14 years 11 days ago
2009
Springer
Compared with lock-based synchronization techniques, Software Transactional Memory (STM) can significantly improve the programmability of multithreaded applications. Existing res...
ICSE
2010
IEEE-ACM
14 years 16 days ago
2010
IEEE-ACM
Large, multinational software development organizations face a number of issues in supporting software design and modeling by geographically distributed architects. To address the...
ICRA
1999
IEEE
14 years 1 days ago
1999
IEEE
In this paper, we describe a modular software that allows fast development of eye-in-hand image-based visual servoing applications (ViSP states for "Visual Servoing Platform&...