5608 search results - page 759 / 1122 » Structure description tools |
154
click to vote
ERLANG
2006
ACM
16 years 22 days ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
183
click to vote
PLDI
2006
ACM
16 years 21 days ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
155
click to vote
SOFTVIS
2006
ACM
16 years 21 days ago
2006
ACM
Enabling nonexperts to understand a software system and the scenarios of usage of that system can be challenging. Visually modeling a collection of scenarios as social interaction...
179
click to vote
BIBE
2005
IEEE
16 years 11 days ago
2005
IEEE
PSI-BLAST remains one of the popular tools for searching remote homologs in sequence databases. We recently demonstrated that hybrid alignment can function as the alignment core f...
213
Voted
VISSOFT
2005
IEEE
16 years 10 days ago
2005
IEEE
Using visualization and exploration tools can be of great use for the understanding of a software system when only its source code is available. However, understanding a large sof...