3736 search results - page 273 / 748 » Generative Programming |
150
Voted
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool au...
132
Voted
EXPCS
2007
15 years 7 months ago
2007
Predictors are inherent components of state-of-the-art microprocessors. Branch predictors are discussed actively from diverse perspectives. Performance of a branch predictor large...
129
Voted
AAAI
2008
15 years 6 months ago
2008
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...
132
Voted
JUCS
2008
15 years 3 months ago
2008
: In the representation approach to computable analysis (TTE) [Grz55, i00], abstract data like rational numbers, real numbers, compact sets or continuous real functions are represe...
124
Voted
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
Intelligent Tutoring Systems (ITSs) have proved useful in a variety of domains, but are notoriously resource intensive to build. We have created two programs (“tutor generators...