6020 search results - page 844 / 1204 » A New Approach to Model Counting |
174
click to vote
ECBS
2009
IEEE
16 years 1 months ago
2009
IEEE
Software systems have to be changed continuously and evolutionarily throughout the whole time of their development and usage. Meanwhile, the software systems have to remain flexi...
165
Voted
EUROSEC
2009
ACM
16 years 1 months ago
2009
ACM
In this paper a new approach to API remoting for GPU virtualisation is described which aims to reduce the amount of trusted code involved in 3D rendering for guest VMs. To achieve...
129
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Abstract— This article describes how to accelerate the convergence of Preconditioned Conjugate Gradient (PCG) type eigensolvers for the computation of several states around the b...
157
click to vote
WECWIS
2009
IEEE
16 years 1 months ago
2009
IEEE
The current industry-driven trend of providing flexible eservices lays the ground for the new research area “service value networks” (SVNs). We observe a rising number of ind...
130
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— The paper deals with computing frictional forceclosure grasps of 3D objects problem. The key idea of the presented work is the demonstration that wrenches associated to...