Sciweavers

4328 search results - page 245 / 866
» A New Kind of Science
Sort
View
PLDI
1997
ACM
15 years 11 months ago
Generational Garbage Collection and the Radioactive Decay Model
If a fixed exponentially decreasing probability distribution function is used to model every object’s lifetime, then the age of an object gives no information about its future ...
William D. Clinger, Lars Thomas Hansen
ICCAD
1996
IEEE
106views Hardware» more  ICCAD 1996»
15 years 11 months ago
A general dispersive multiconductor transmission line model for interconnect simulation in SPICE
Although numerous methods have been proposed for interconnect simulation, no single model exists for all kind of transmission line problems. This paper presents a new, single, gen...
Mustafa Celik, Andreas C. Cangellaris
166
Voted
ICTAI
1996
IEEE
15 years 11 months ago
Forward-Tracking: A Technique for Searching Beyond Failure
In many applications, such as decision support, negotiation, planning, scheduling, etc., one needs to express requirements that can only be partially satisfied. In order to expres...
Elena Marchiori, Massimo Marchiori, Joost N. Kok
CAV
2009
Springer
165views Hardware» more  CAV 2009»
15 years 10 months ago
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
Sven Verdoolaege, Gerda Janssens, Maurice Bruynoog...
DAWAK
2007
Springer
15 years 10 months ago
Mining First-Order Temporal Interval Patterns with Regular Expression Constraints
Most methods for temporal pattern mining assume that time is represented by points in a straight line starting at some initial instant. In this paper, we consider a new kind of fir...
Sandra de Amo, Arnaud Giacometti, Waldecir Pereira...