Sciweavers

2129 search results - page 146 / 426
» Cutting-Edge Timing Analysis Techniques
Sort
View
MOMM
2006
ACM
15 years 4 months ago
Change Detection from Multitemporal Land-cover Class Images
Earth-observing satellites, such Landsat, provide many multitemporal images of earth and with classification techniques, land-cover class images can easily be prepared. Multitempo...
Petrus Paryono
CORR
2011
Springer
127views Education» more  CORR 2011»
14 years 5 months ago
Is a probabilistic modeling
— A new standpoint on financial time series, without the use of any mathematical model and of probabilistic tools, yields not only a rigorous approach of trends and volatility, ...
Michel Fliess, Cédric Join, Fréd&eac...
IWMM
2000
Springer
113views Hardware» more  IWMM 2000»
15 years 1 months ago
On the Effectiveness of GC in Java
We study the effectiveness of garbage collection (GC) algorithms by measuring the time difference between the actual collection time of an object and the potential earliest collec...
Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv
CORR
2010
Springer
116views Education» more  CORR 2010»
14 years 10 months ago
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
Musab AlTurki, José Meseguer
OSDI
2006
ACM
15 years 10 months ago
Operating System Profiling via Latency Analysis
Operating systems are complex and their behavior depends on many factors. Source code, if available, does not directly help one to understand the OS's behavior, as the behavi...
Nikolai Joukov, Avishay Traeger, Rakesh Iyer, Char...