Sciweavers

30 search results - page 5 / 6
» Predicting Lifetimes in Dynamically Allocated Memory
Sort
View
ISORC
2006
IEEE
15 years 3 months ago
Automatic Memory Management in Utility Accrual Scheduling Environments
Convenience, reliability, and effectiveness of automatic memory management have long been established in modern systems and programming languages such as Java. The timeliness req...
Shahrooz Feizabadi, Godmar Back
DEXAW
2002
IEEE
102views Database» more  DEXAW 2002»
15 years 2 months ago
Indexing Mobile Objects on the Plane
We present a method to index objects moving on the plane in order to efficiently answer range queries about their position in the future. This problem is motivated by real-life a...
Dimitris Papadopoulos, George Kollios, Dimitrios G...
FCCM
1998
IEEE
148views VLSI» more  FCCM 1998»
15 years 1 months ago
JHDL - An HDL for Reconfigurable Systems
JHDL is a design tool for reconfigurable systems that allows designers to express circuit organizations that dynamically change over time in a natural way, using only standard pro...
Peter Bellows, Brad L. Hutchings
NFM
2011
252views Formal Methods» more  NFM 2011»
14 years 4 months ago
Call Invariants
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
Shuvendu K. Lahiri, Shaz Qadeer
JCSS
2008
81views more  JCSS 2008»
14 years 9 months ago
A simulator for adaptive parallel applications
Dynamically allocating computing nodes to parallel applications is a promising technique for improving the utilization of cluster resources. Detailed simulations can help identify...
Basile Schaeli, Sebastian Gerlach, Roger D. Hersch