43 search results - page 7 / 9 » The Elimination of Nesting in SPCF |
ICCD
2004
IEEE
14 years 2 months ago
2004
IEEE
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...
SC
1994
ACM
13 years 9 months ago
1994
ACM
In recent years, interior point algorithms have been used successfully for solving mediumto large-size linear programming LP problems. In this paper we describe a highly parallel ...
IEEEPACT
2007
IEEE
13 years 12 months ago
2007
IEEE
Loop nest optimization is a combinatorial problem. Due to the growing complexity of modern architectures, it involves two increasingly difficult tasks: (1) analyzing the profita...
IROS
2006
IEEE
13 years 11 months ago
2006
IEEE
In this investigation a robotic system’s dynamic performance is optimized for high reliability under uncertainty. The dynamic capability equations allow designers to predict the...
INFOVIS
2000
IEEE
13 years 10 months ago
2000
IEEE
Data visualization environments help users understand and analyze their data by permitting interactive browsing of graphical representations of the data. To further facilitate und...