Sciweavers

859 search results - page 61 / 172
» Implementing CMMI using a Combination of Agile Methods
Sort
View
SAS
2007
Springer
124views Formal Methods» more  SAS 2007»
16 years 8 days ago
Arithmetic Strengthening for Shape Analysis
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
Stephen Magill, Josh Berdine, Edmund M. Clarke, By...
USENIX
2001
15 years 7 months ago
Pragmatic Nonblocking Synchronization for Real-Time Systems
We present a pragmatic methodology for designing nonblocking real-time systems. Our methodology uses a combination of lock-free and wait-free synchronization techniques and clearl...
Michael Hohmuth, Hermann Härtig
ICRA
2006
IEEE
163views Robotics» more  ICRA 2006»
16 years 5 days ago
Actuation Compensation for Flexible Surgical Snake-like Robots with Redundant Remote Actuation
– This paper presents two actuation compensation methods for a snake-like robot implementing multi flexible backbones and actuation redundancy. This snake-like robot is designed ...
Kai Xu 0005, Nabil Simaan
GCC
2005
Springer
15 years 11 months ago
Research on Semantic-Based Web Services Registry Federation
Meta modeling is an effective approach to implement interoperability among distributed and heterogeneous information sources on Web. MMFI (Framework for Metamodel Interoperability)...
Bing Li, Fei He, Wudong Liu, Keqing He, Jin Liu
ACL
2004
15 years 7 months ago
Incremental Parsing with the Perceptron Algorithm
This paper describes an incremental parsing approach where parameters are estimated using a variant of the perceptron algorithm. A beam-search algorithm is used during both traini...
Michael Collins, Brian Roark