15777 search results - page 2825 / 3156 » Software Engineering |
129
Voted
WSC
2007
15 years 7 months ago
2007
Simulation modelers have a diversity of educational backgrounds including several engineering and scientific disciplines, mathematics and computer related fields. Many of the skil...
134
click to vote
WSC
2007
15 years 7 months ago
2007
Simulation languages and the GUIs supporting them may be excellent tools for creating simulation codes, but are not necessarily the best tools to use for creating descriptions of ...
128
click to vote
DEXA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...
120
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
138
click to vote
FPL
2008
Springer
15 years 6 months ago
2008
Springer
Due to continuous improvements in the resources available on FPGAs, it is becoming increasingly possible to accelerate floating point algorithms. The solution of a system of linea...