2448 search results - page 268 / 490 » The Octahedron Abstract Domain |
168
click to vote
SCCC
1998
IEEE
15 years 11 months ago
1998
IEEE
The last few years have seen a renewal of interest in the consideration of dynamic programming in compiler technology. This is due to the compactness of the representations, which...
151
click to vote
ISLPED
1998
ACM
15 years 11 months ago
1998
ACM
High-level power estimation is essential for designing complex low-power ICs. However, the lack of flexibility, or restriction to synthesizable code of previously presented high-...
176
click to vote
IUI
1998
ACM
15 years 11 months ago
1998
ACM
Software architectures are high-level design representations of software systems that focus on composition of software components and how those components interact. Software tures...
184
click to vote
FTP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We describe two methods on the basis of which efficient resolution decision procedures can be developed for a range of description logics. The first method uses an orderi...
155
click to vote
PRICAI
1998
Springer
15 years 10 months ago
1998
Springer
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...