9444 search results - page 1722 / 1889 » The Language Model LMNtal |
182
click to vote
GPCE
2009
Springer
15 years 7 months ago
2009
Springer
Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as g...
133
Voted
AIPS
2010
15 years 6 months ago
2010
We present Shopper, a plan execution engine that facilitates experimental evaluation of plans and makes it easier for planning researchers to incorporate replanning. Shopper inter...
129
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Nested paging is a hardware solution for alleviating the software memory management overhead imposed by system virtualization. Nested paging complements existing page walk hardwar...
126
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Industry vendors hesitate to disseminate proprietary applications to academia and third party vendors. By consequence, the benchmarking process is typically driven by standardized...
147
click to vote
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...