967 search results - page 104 / 194 » Automated benchmarking and analysis tool |
135
Voted
SAMT
2007
Springer
15 years 9 months ago
2007
Springer
— aceMedia is a 4 year EC part-funded FP6 Integrated Project, ending in December 2007. The project has developed tools to enable users to manage and share both personal and purch...
118
click to vote
ACSD
2001
IEEE
15 years 7 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
155
click to vote
CADE
2004
Springer
16 years 4 months ago
2004
Springer
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...
104
click to vote
TLCA
1999
Springer
15 years 8 months ago
1999
Springer
AnnoDomini is a commercially available source-to-source conversion tool for finding and fixing Year 2000 problems in COBOL programs. AnnoDomini uses type-based specification, an...
174
Voted
AQUILEIA
2011
14 years 3 months ago
2011
A large number of technologies, such as Geographic Information Systems (GIS), Global Positioning Systems (GPS), Remote Sensing (RS), geophysical instruments, allows nowadays for fa...