1415 search results - page 118 / 283 » Verified systems by composition from verified components |
153
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
We describe our experiences in using Spin to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connect...
175
click to vote
DAC
1999
ACM
15 years 10 months ago
1999
ACM
As the family of Alpha microprocessors continues to scale into more advanced technologies with very high frequency edge rates and multiple layers of interconnect, the issue of cha...
193
click to vote
SCIA
2005
Springer
15 years 12 months ago
2005
Springer
Recently, a number of methods for 3-D modeling from images have been developed. However, the accuracy of a reconstructed model depends on camera positions and postures with which t...
171
click to vote
HICSS
2008
IEEE
16 years 26 days ago
2008
IEEE
Proposed and developed is the language Service Composition (SC) CoJava, which extends the programming language Java with (1) a modular service composition framework; (2) an extens...
155
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The goal of this work was to explore modeling techniques to improve bird species classification from audio samples. We first developed an unsupervised approach to obtain approxima...