5314 search results - page 624 / 1063 » Hybrid Dynamic Programming |
164
click to vote
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...
172
click to vote
ECRTS
2005
IEEE
16 years 15 days ago
2005
IEEE
Branch prediction mechanisms are becoming commonplace within current generation processors. Dynamic branch predictors, albeit able to predict branches quite accurately in average,...
133
click to vote
PASTE
2004
ACM
16 years 9 days ago
2004
ACM
Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made i...
167
click to vote
AOSD
2010
ACM
16 years 6 days ago
2010
ACM
The integration of third-party aspects into applications creates security challenges. Due to the intrusive impact of aspects, one cannot guarantee that the dynamic composition of ...
170
click to vote
ECOOPW
2003
Springer
16 years 3 days ago
2003
Springer
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...