10055 search results - page 1496 / 2011 » Structured programming using processes |
140
Voted
UML
2001
Springer
15 years 9 months ago
2001
Springer
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...
135
Voted
DSOM
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Object middleware is an enabling technology for distributed applications that are required to operate in heterogeneous computing and communication environments. Although ...
156
click to vote
ICRA
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper presents a new globally convergent rangesensor based navigation algorithm in three-dimensions, called 3DBug. The 3DBug algorithm navigates a point robot in a three-dime...
119
click to vote
TACS
1997
Springer
15 years 8 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
151
Voted
DAC
2010
ACM
15 years 8 months ago
2010
ACM
The identification of speedpaths is required for post-silicon (PS) timing validation, and it is currently becoming timeconsuming due to manufacturing variations. In this paper we...