566 search results - page 45 / 114 » Adaptive Online Program Analysis |
153
click to vote
IEEEPACT
2009
IEEE
15 years 1 months ago
2009
IEEE
Transactional memory is being advanced as an alternative to traditional lock-based synchronization for concurrent programming. Transactional memory simplifies the programming mode...
135
click to vote
ISAAC
2010
Springer
15 years 1 months ago
2010
Springer
We study polynomial time complexity of type 2 functionals. For that purpose, we introduce a first order functional stream language. We give criteria, named well-founded, on such pr...
164
click to vote
PLDI
1997
ACM
15 years 7 months ago
1997
ACM
This paper presents dynamic feedback, a technique that enables computations to adapt dynamically to different execution environments. A compiler that uses dynamic feedback produce...
138
click to vote
LCPC
2007
Springer
15 years 9 months ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
131
Voted
SIGDOC
1997
ACM
15 years 7 months ago
1997
ACM
CogentHelp is a prototype tool for authoring dynamically generated on-line help for applications with graphical user interfaces (GUIs) built using the tract Windowing Toolkit (AWT...