1863 search results - page 93 / 373 » Level-Based Link Analysis |
CAV
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
PATMOS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. An extensible and configurable processor is a programmable platform offering the possibility to customize the instruction set and/or underlying microarchitecture. Efficie...
TOOLS
1998
IEEE
14 years 1 months ago
1998
IEEE
Program information extracted from source codes is valuable for research in many software engineering fields. Many program analysis tools in these fields usually share some common...
IEEEVAST
2010
13 years 3 months ago
2010
DimStiller is a system for dimensionality reduction and analysis. It frames the task of understanding and transforming input dimensions as a series of analysis steps where users t...
GLOBECOM
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— Network calculus is an established theory for deterministic quality of service analysis of fixed networks. Due to the failures inherent in fading channels it is, howev...