Sciweavers

6423 search results - page 248 / 1285
» Maintaining Information Resources
Sort
View
170
Voted
TACAS
2009
Springer
131views Algorithms» more  TACAS 2009»
16 years 1 months ago
Verifying Reference Counting Implementations
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Ma...
IESS
2007
Springer
156views Hardware» more  IESS 2007»
16 years 27 days ago
Automatic Data Path Generation from C code for Custom Processors
The stringent performance constraints and short time to market of modern digital systems require automatic methods for design of high performance applicationspecific architectures...
Jelena Trajkovic, Daniel Gajski
DSN
2006
IEEE
16 years 24 days ago
Storage Allocation in Unreliable Peer-to-Peer Systems
Peer-to-peer systems provide the opportunity to pool large amounts of distributed resources to enable internetscale applications. However, the participant nodes are highly dynamic...
John A. Chandy
RULEML
2004
Springer
16 years 3 days ago
R-DEVICE: A Deductive RDF Rule Language
In this paper we present R-DEVICE, a deductive rule language for reasoning about RDF metadata. R-DEVICE includes features such as normal and generalized path expressions, stratifie...
Nick Bassiliades, Ioannis P. Vlahavas
205
Voted
JSW
2008
96views more  JSW 2008»
15 years 6 months ago
A Collaborative Inter-Data Grid Strong Semantic Model with Hybrid Namespace
The Data Grid, like all other collaboration models, has strict rules for contributors to follow and many criteria to abide with. Namespace is one of the rules that govern the contr...
Dalia El-Mansy, Ahmed Sameh