3436 search results - page 337 / 688 » Software Tools for Performance Modeling of Parallel Programs |
112
click to vote
ACSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
135
click to vote
MICCAI
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. High performance computing has become a key step to introduce computer tools, like real-time registration, in the medical field. To achieve real-time processing, one usua...
145
click to vote
ACMSE
2004
ACM
15 years 8 months ago
2004
ACM
Eclipse is a Java integrated development environment (IDE) and tool integration platform that offers numerous extension points for customization through a plug-in architecture. Th...
123
click to vote
ICSM
2006
IEEE
15 years 9 months ago
2006
IEEE
Spatial cognition and program development have both been examined using contrasting models. We suggest that sex-based differences in one’s perception of risk is the key to relat...
142
click to vote
SIGCSE
2008
ACM
15 years 3 months ago
2008
ACM
Coercing new programmers to adopt disciplined development practices such as thorough unit testing is a challenging endeavor. Test-driven development (TDD) has been proposed as a s...