9018 search results - page 119 / 1804 » 3D-Brain Model Software |
VAMOS
2008
Springer
15 years 11 days ago
2008
Springer
With current trends towards moving variability from hardware to software, and given the increasing desire to postpone design decisions as much as is economically feasible, managin...
78
Voted
IASTEDSEA
2004
15 years 10 days ago
2004
Today's software faces escalating technical and business difficulties, yet it continues to be coded in static, inflexible structures that are not prepared for automation and ...
ESEM
2009
ACM
15 years 5 months ago
2009
ACM
Over the last 25+ years, the software community has been searching for the best models for estimating variables of interest (e.g., cost, defects, and fault proneness). However, li...
101
click to vote
KBSE
2007
IEEE
15 years 5 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
101
click to vote
CASES
2006
ACM
15 years 2 months ago
2006
ACM
When integrating software threads together to boost performance on a processor with instruction-level parallel processing support, it is rarely clear which code regions should be ...