1366 search results - page 183 / 274 » Modularizing Contexted Constraints |
152
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
118
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
The problem of transmit beamforming for single-group multicasting is considered, where the objective is to transmit common information to a (large) number of users. The transmitte...
128
click to vote
ASPDAC
2009
ACM
15 years 9 months ago
2009
ACM
Abstract— In the context of a design space exploration framework for supporting the platform-based design approach, we address the problem of robustness with respect to manufactu...
141
click to vote
CISIS
2008
IEEE
15 years 9 months ago
2008
IEEE
One of the most challenging problems in Grid environments concerns the matchmaking between resource requests and offers. As it happens in the physical economy, Grid economy must b...
128
click to vote
ICPR
2008
IEEE
15 years 9 months ago
2008
IEEE
Various local descriptors have been used successfully in a variety of tasks including object recognition. Although different descriptors have been shown to have different strength...