483 search results - page 70 / 97 » Reachability Analysis of Hybrid Systems Using Support Functi... |
VLDB
2001
ACM
14 years 7 months ago
2001
ACM
Abstract. The optimized distance-based access methods currently available for multidimensional indexing in multimedia databases have been developed based on two major assumptions: ...
CGO
2005
IEEE
14 years 1 months ago
2005
IEEE
The growing complexity of modern processors has made the generation of highly efficient code increasingly difficult. Manual code generation is very time consuming, but it is oft...
IPPS
2008
IEEE
14 years 1 months ago
2008
IEEE
—Hybrid P2P systems rely on the assumption that sufficient objects exist nearby in order to make the unstructured search component efficient. This availability depends on the o...
SERA
2004
Springer
14 years 23 days ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
CLOUD
2010
ACM
14 years 15 days ago
2010
ACM
Over the last 10–15 years, our industry has developed and deployed many large-scale Internet services, from e-commerce to social networking sites, all facing common challenges i...