2673 search results - page 179 / 535 » Guided Static Analysis |
111
click to vote
SIGMETRICS
2008
ACM
15 years 4 months ago
2008
ACM
Large-scale distributed systems provide the backbone for numerous distributed applications and online services. These systems span over a multitude of computing nodes located at d...
155
click to vote
ISI
2008
Springer
15 years 4 months ago
2008
Springer
Abstract--Releasing person-specific data could potentially reveal sensitive information of individuals. k-anonymization is a promising privacy protection mechanism in data publishi...
135
click to vote
BIB
2010
15 years 3 months ago
2010
The emergence of high-throughput technologies for measuring biological systems has introduced problems for data interpretation that must be addressed for proper inference. First, ...
122
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a method for static performance analysis of SoC architectures. The method is based on a network calculus theory known as LR servers. This network calculus is e...
132
click to vote
DBPL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Provenance is information recording the source, derivation, or history of some information. Provenance tracking has been studied in a variety of settings; however, althou...