3909 search results - page 586 / 782 » Extreme Model Checking |
177
click to vote
IPPS
2008
IEEE
16 years 27 days ago
2008
IEEE
We present a decentralized market-based approach to resource allocation in a heterogeneous overlay network. The presented resource allocation strategy assigns overlay network reso...
175
click to vote
SMI
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract In this paper, we study the problem of approximate topological matching for quadrilateral meshes, that is, the problem of finding as large a set as possible of matching p...
167
click to vote
CODES
2007
IEEE
16 years 25 days ago
2007
IEEE
There is a strong need now for compilers of embedded systems to find effective ways of optimizing series of loop-nests, wherein majority of the memory references occur in the fo...
169
click to vote
DEXAW
2007
IEEE
16 years 25 days ago
2007
IEEE
In line with the growing success of e-commerce demands for an open infrastructure providing security services are growing stronger. Authentication and Authorisation Infrastructure...
157
click to vote
ICDE
2007
IEEE
16 years 24 days ago
2007
IEEE
Recently, systems providing access to extremely large data collections, managed in a distributed manner, gain emerging attention. A promising approach to implement the physical la...