566 search results - page 45 / 114 » Adaptive Online Program Analysis |
144
click to vote
IEEEPACT
2009
IEEE
15 years 6 days 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...
128
click to vote
ISAAC
2010
Springer
15 years 12 days 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...
158
Voted
PLDI
1997
ACM
15 years 6 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...
130
Voted
LCPC
2007
Springer
15 years 8 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...
121
click to vote
SIGDOC
1997
ACM
15 years 6 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...