6197 search results - page 331 / 1240 » Sandbridge Software Tools |
194
click to vote
ICHIM
2001
15 years 8 months ago
2001
Watermarks are the most important tool for dating old, not explicitly dated paper documents. Hence, catalogues and databases of watermarks play an eminent role for the work of med...
155
click to vote
CN
2002
15 years 6 months ago
2002
Abstract. Two types of visualization and animation tools for LOTOS execution traces are presented: a translator from LOTOS traces to Message Sequence Charts and a graphic animator....
199
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
Students with visual disabilities face unique challenges in learning to be computer scientists. These challenges can be overcome, however, with the use of specialized software too...
171
click to vote
ENTCS
2010
15 years 4 months ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
164
Voted
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...