4421 search results - page 651 / 885 » Libraries |
109
click to vote
LCPC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In this paper, we describe transformation recipes, which provide a high-level interface to the code transformation and code generation capability of a compiler. These rec...
123
click to vote
MIG
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. There are very few software frameworks for steering behaviors that are publicly available for developing, evaluating, and sharing steering algorithms. Furthermore, there ...
114
Voted
MKM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Active mathematical documents are distinguished from traditional paper-oriented ones by their ability to interactively adapt to a reader’s inputs. This includes changes...
134
Voted
CP
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Selecting conformations for side-chains is an important subtask in building three-dimensional protein models. Side-chain placement is a difficult problem because of the l...
131
Voted
ICCS
2001
Springer
15 years 6 months ago
2001
Springer
Achieving peak performance from library subroutines usually requires extensive, machine-dependent tuning by hand. Automatic tuning systems have emerged in response, and they typic...