17049 search results - page 329 / 3410 » cans 2007 |
170
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
176
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
Legacy software systems often suffer from code quality problems. Maintenance of legacy systems can therefore be costly, and the value of legacy systems may diminish due to a lack ...
139
click to vote
BTW
2007
Springer
16 years 28 days ago
2007
Springer
: Documents such as spreadsheets are easy to create, edit, and exchange. However, their use causes a set of well known problems such as poor data quality, lack of multi user suppor...
164
click to vote
PPAM
2007
Springer
16 years 26 days ago
2007
Springer
Dense linear algebra codes are often expressed and coded in terms of BLAS calls. This approach, however, achieves suboptimal performance due to the overheads associated to such cal...
183
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We give a short survey on computational techniques which can be used to solve the representation conversion problem for polyhedra up to symmetries. In particular we discuss decompo...