8179 search results - page 447 / 1636 » The PRACTIONIST Development Tool |
153
click to vote
ISOLA
2004
Springer
16 years 6 days ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
155
click to vote
TIDSE
2004
Springer
16 years 5 days ago
2004
Springer
Any movie production needs a whole group of contributing authors and creative artists from various fields. The same should obviously be true for the making of a compelling VR scena...
154
click to vote
ICSM
2003
IEEE
16 years 3 days ago
2003
IEEE
Software maintainers and auditors would benefit from a tool to help them focus their attention on functions that are likely to be the source of security vulnerabilities. However,...
181
click to vote
FCCM
2002
IEEE
15 years 11 months ago
2002
IEEE
Several projects have developed compiler tools that translate high-level languages down to hardware description languages for mapping onto FPGAbased reconfigurable computers. Thes...
164
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...