Sciweavers

3718 search results - page 569 / 744
» Programming by Integration in Robotics
Sort
View
ECOOP
2005
Springer
16 years 14 days ago
The Emergent Structure of Development Tasks
Abstract. Integrated development environments have been designed and engineered to display structural information about the source code of large systems. When a development task li...
Gail C. Murphy, Mik Kersten, Martin P. Robillard, ...
ESOP
2005
Springer
16 years 14 days ago
Computationally Sound, Automated Proofs for Security Protocols
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
Véronique Cortier, Bogdan Warinschi
LCPC
2005
Springer
16 years 13 days ago
Compiler Control Power Saving Scheme for Multi Core Processors
With the increase of transistors integrated onto a chip, multi core processor architectures have attracted much attention to achieve high effective performance, shorten developmen...
Jun Shirako, Naoto Oshiyama, Yasutaka Wada, Hiroak...
SCOPES
2005
Springer
16 years 12 days ago
Generic Software Pipelining at the Assembly Level
Software used in embedded systems is subject to strict timing and space constraints. The growing software complexity creates an urgent need for fast program execution under the co...
Daniel Kästner, Markus Pister
ISSTA
2004
ACM
16 years 11 days ago
Model checking XML manipulating software
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
Xiang Fu, Tevfik Bultan, Jianwen Su