1403 search results - page 210 / 281 » Quantitative Interprocedural Analysis |
ECOOP
2007
Springer
14 years 3 months ago
2007
Springer
Although one of the main promises of aspect-oriented (AO) programming techniques is to promote better software changeability than objectoriented (OO) techniques, there is no empiri...
ILC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
IPSN
2007
Springer
14 years 3 months ago
2007
Springer
Energy-efficient image communication is one of the most important goals for a large class of current and future sensor network applications. This paper presents a quantitative com...
MICCAI
2007
Springer
14 years 3 months ago
2007
Springer
Motivated by the current limitations of automated quantitative image analysis in discriminating among intracellular immunohistochemical (IHC) staining patterns, this paper presents...
GLOBECOM
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— This paper presents an analytical model for evaluating the capability of wireless LANs (WLANs) to provision quantitative quality of service (QoS) guarantees. We conside...