Sciweavers

94 search results - page 13 / 19
» Generational Real-Time Garbage Collection
Sort
View
SIGPLAN
2002
13 years 9 months ago
Write barrier removal by static analysis
We present a new analysis for removing unnecessary write barriers in programs that use generational garbage collection. To our knowledge, this is the first static program analysis...
Karen Zee, Martin C. Rinard
BIRTHDAY
2007
Springer
14 years 4 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
ICFP
2000
ACM
14 years 1 months ago
Fully reflexive intensional type analysis
Compilers for polymorphic languages can use runtime type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and ...
Valery Trifonov, Bratin Saha, Zhong Shao
ICRA
2007
IEEE
114views Robotics» more  ICRA 2007»
14 years 4 months ago
Generating Traffic Statistical Profiles Using Unmanned Helicopter-Based Video Data
: Small unmanned vertical take off and landing vehicles are used to provide the eye-in-the-sky alternative to monitoring and regulating traffic dynamically. Spatial-temporal visual...
Anuj Puri, Kimon P. Valavanis, Michael Kontitsis
IWMM
2009
Springer
127views Hardware» more  IWMM 2009»
14 years 4 months ago
Investigating the effects of using different nursery sizing policies on performance
In this paper, we investigate the effects of using three different nursery sizing policies on overall and garbage collection performances. As part of our investigation, we modify ...
Xiaohua Guan, Witawas Srisa-an, ChengHuan Jia