3901 search results - page 323 / 781 » software 2008 |
154
click to vote
FCSC
2008
15 years 6 months ago
2008
Abstract. We discuss the verification of mathematical software solving polynomial systems symbolically by way of triangular decomposition. Standard verification techniques are high...
202
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—NCTUns is a novel network simulator and emulator that has many unique features over traditional network simulators and emulators. It is an open-source software running o...
168
click to vote
VLSISP
2008
15 years 6 months ago
2008
The speedups and the energy reductions achieved in a generic single-chip microprocessor system by employing a high-performance data-path are presented. The data-path acts as a copr...
147
click to vote
MKWI
2008
15 years 8 months ago
2008
: The configuration of the collaboration environment has a significant influence on the development and the use of a collaboration tool. During the development process an optimal a...
223
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Timing-related defects are among the most difficult types of defects to catch while testing software. They are by definition difficult to reproduce and hence they are difficult to...