4809 search results - page 387 / 962 » Scalable Analysis of Scalable Systems |
145
click to vote
WSC
2008
15 years 10 months ago
2008
SEARUMS is an Eco-modeling, bio-simulation, and analysis environment to study the global epidemiology of Avian Influenza. Originally developed in Java, SEARUMS enables comprehensi...
176
click to vote
WCET
2008
15 years 9 months ago
2008
Conditional branches connect the values of program variables with the execution paths and thus with the execution times, including the worstcase execution time (WCET). Flow analys...
195
click to vote
PLDI
2011
ACM
14 years 10 months ago
2011
ACM
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We firs...
223
click to vote
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
We present the design, implementation, and evaluation of a fully distributed directory service for Farsite, a logically centralized file system that is physically implemented on a...
212
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
—We present a system-level approach to localizing and tracking users on a basis of different sources of location information. We have applied a combination of the Cricket system ...