Sciweavers

3824 search results - page 726 / 765
» Geometry Constructions Language
Sort
View
SIGMOD
2010
ACM
227views Database» more  SIGMOD 2010»
14 years 19 days ago
SecureBlox: customizable secure distributed data processing
We present SecureBlox, a declarative system that uniļ¬es a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speciļ...
William R. Marczak, Shan Shan Huang, Martin Braven...
ICALP
2010
Springer
14 years 18 days ago
On the Inapproximability of Vertex Cover on k-Partite k-Uniform Hypergraphs
Computing a minimum vertex cover in graphs and hypergraphs is a well-studied optimizaton problem. While intractable in general, it is well known that on bipartite graphs, vertex c...
Venkatesan Guruswami, Rishi Saket
ICSE
2010
IEEE-ACM
14 years 18 days ago
Views: object-inspired concurrency control
We present views, a new approach to controlling concurrency. Fine-grained locking is often necessary to increase concurrency. Correctly implementing ļ¬ne-grained locking with tod...
Brian Demsky, Patrick Lam
IWOMP
2010
Springer
14 years 18 days ago
A ROSE-Based OpenMP 3.0 Research Compiler Supporting Multiple Runtime Libraries
OpenMP is a popular and evolving programming model for shared-memory platforms. It relies on compilers to target modern hardware architectures for optimal performance. A variety of...
Chunhua Liao, Daniel J. Quinlan, Thomas Panas, Bro...
SAC
2009
ACM
14 years 14 days ago
Aspect-oriented procedural content engineering for game design
Generally progressive procedural content in the context of 3D scene rendering is expressed as recursive functions where a ļ¬ner level of detail gets computed on demand. Typical e...
Walter Cazzola, Diego Colombo, Duncan Harrison