1975 search results - page 14 / 395 » Property analysis and design understanding |
151
Voted
POPL
2011
ACM
14 years 4 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
128
click to vote
IMC
2006
ACM
15 years 7 months ago
2006
ACM
Understanding the characteristics of the Internet delay space (i.e., the all-pairs set of static round-trip propagation delays among edge networks in the Internet) is important fo...
114
click to vote
ICDAR
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper aims at automatic recognition of online handwritten mathematical expressions written on an electronic tablet. The proposed technique involves two major stages: symbol r...
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...
132
Voted
ICECCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...