Sciweavers

1945 search results - page 188 / 389
» An Architectural Design for Digital Objects
Sort
View
IWMM
2000
Springer
78views Hardware» more  IWMM 2000»
15 years 10 months ago
On the Type Accuracy of Garbage Collection
We describe a novel approach to obtaining type-accurate information for garbage collection in a hardware and language independent way. Our approach uses a run-time analysis to pro...
Martin Hirzel, Amer Diwan
DC
2001
15 years 8 months ago
Personalizing Information Spaces: A Metadata Based Approach
The amount and variety of information available today in digital form continue to increase at a rapid rate. To keep pace with these trends, knowledge workers must be empowered wit...
David L. Hicks, Klaus Tochtermann
CADE
2000
Springer
15 years 11 months ago
The Nuprl Open Logical Environment
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
Stuart F. Allen, Robert L. Constable, Richard Eato...
DAC
1999
ACM
15 years 10 months ago
Hardware Reuse at the Behavioral Level
Standard interfaces for hardware reuse are currently de ned at the structural level. In contrast to this, our contribution de nes the reuse interface at the behavioral registertra...
Patrick Schaumont, Radim Cmar, Serge Vernalde, Mar...
HCI
2007
15 years 8 months ago
Comparing User and Software Information Structures for Compatibility
Eastern and Western cultures differ quite systematically in how they group objects, functions and concepts into categories [1,2,3]. This has implications for how navigation feature...
Thomas Plocher, Torkil Clemmensen