6528 search results - page 1092 / 1306 » On the architecture of software component systems |
304
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Current shared memory multicore and multiprocessor systems are nondeterministic. Each time these systems execute a multithreaded application, even if supplied with the same input,...
223
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Much of modern software development consists of building on older changes. Older periods provide the structure (e.g., functions and data types) on which changes in future period...
195
click to vote
VSTTE
2005
Springer
16 years 19 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
324
click to vote
ICTAC
2010
Springer
15 years 5 months ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
197
click to vote
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
The state of the art in visual object retrieval from large databases is achieved by systems that are inspired by text retrieval. A key component of these approaches is that local ...