1140 search results - page 82 / 228 » Generating compilers for generated datapaths |
119
click to vote
SAT
2005
Springer
15 years 8 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
140
click to vote
SC
2004
ACM
15 years 8 months ago
2004
ACM
To achieve maximum performance gains through compiler optimization, most automatic performance tuning systems use a feed-back directed approach to rate the code versions generated...
136
click to vote
IEEEINTERACT
2002
IEEE
15 years 8 months ago
2002
IEEE
Embedded systems require control of many concurrent real-time activities, leading to system designs which feature multiple hardware peripherals with each providing a specific, ded...
137
click to vote
PPOPP
1997
ACM
15 years 7 months ago
1997
ACM
Array remappings are useful to many applications on distributed memory parallel machines. They are available in High Performance Fortran, a Fortran-based data-parallel language. T...
143
click to vote
SAMOS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract—Geometric Algebra (GA), a generalization of quaternions, is a very powerful form for intuitively expressing and manipulating complex geometric relationships common to en...