Logical Characterizations of Heap Abstractions
Shape analysis concerns the problem of determining "shape invariants" for programs that perform destructive updating on dynamically allocated storage. In
arxiv.orgrank this link
Refine results · kind
stores)
17 indexed results
A Chart-Parsing Algorithm for Efficient Semantic Analysis
In some contexts, well-formed natural language cannot be expected as input to information or communication systems. In these contexts, the
arxiv.orgrank this link
An on-line Integrated Bookkeeping: electronic run log book and Meta-Data Repository for ATLAS
In the context of the ATLAS experiment there is growing evidence of the importance of different kinds of Meta-data including
arxiv.orgrank this link
BOSS: a tool for batch job monitoring and book-keeping
BOSS (Batch Object Submission System) has been developed to provide real-time monitoring and bookkeeping of jobs submitted to a compute
arxiv.orgrank this link
Compact Approximation of Lattice Functions with Applications to Large-Alphabet Text Search
We propose a very simple randomised data structure that stores an approximation from above of a lattice-valued function. Computing the
arxiv.orgrank this link
Efficient Management of Short-Lived Data
Motivated by the increasing prominence of loosely-coupled systems, such as mobile and sensor networks, which are characterised by intermittent connectivity
arxiv.orgrank this link
Enabling concepts for a dual spacecraft formation-flying optical interferometer for NASA's ST3 mission
We present the enabling concept and technology for a dual spacecraft formation-flying optical interferometer, to be launched into a deep
arxiv.orgrank this link
Microsoft TerraServer
The Microsoft TerraServer stores aerial and satellite images of the earth in a SQL Server Database served to the public
arxiv.orgrank this link
Microsoft TerraServer: A Spatial Data Warehouse
The TerraServer stores aerial, satellite, and topographic images of the earth in a SQL database available via the Internet. It
arxiv.orgrank this link
Models for Pedestrian Behavior
The behavior of pedestrians shows certain regularities, which can be described by quantitative (partly stochastic) models. The models are based
arxiv.orgrank this link
Pattern Discovery and Computational Mechanics
Computational mechanics is a method for discovering, describing and quantifying patterns, using tools from statistical physics. It constructs optimal, minimal
arxiv.orgrank this link
Primary Numbers Database for ATLAS Detector Description Parameters
We present the design and the status of the database for detector description parameters in ATLAS experiment. The ATLAS Primary
arxiv.orgrank this link
Rendezvous Regions: A Scalable Architecture for Resource Discovery and Service Location in Large-Scale Mobile Networks
In large-scale wireless networks such as mobile ad hoc and sensor networks, efficient and robust service discovery and data-access mechanisms
arxiv.orgrank this link
SNS Standard Power Supply Interface
The SNS has developed a standard power supply interface for the approximately 350 magnet power supplies in the SNS accumulator
arxiv.orgrank this link
Technology For Information Engineering (TIE): A New Way of Storing, Retrieving and Analyzing Information
The theoretical foundations of a new model and paradigm (called TIE) for data storage and access are introduced. Associations between
arxiv.orgrank this link
The Asilomar Report on Database Research
The database research community is rightly proud of success in basic research, and its remarkable record of technology transfer. Now
arxiv.orgrank this link
Using Regression Techniques to Predict Large Data Transfers
The recent proliferation of Data Grids and the increasingly common practice of using resources as distributed data stores provide a
arxiv.orgrank this link