66 search results - page 11 / 14 » Intermediate Predicate Format for Design Automation Tools |
ISSTA
2009
ACM
15 years 3 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
NAR
2002
14 years 9 months ago
2002
The ASTRAL compendium provides several databases and tools to aid in the analysis of protein structures, particularly through the use of their sequences. It is partially derived f...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
Markup languages, representations, schemas, and tools have significantly increased the ability for organizations to share their information. Languages, such as the Extensible Mark...
XIMEP
2005
ACM
15 years 3 months ago
2005
ACM
Markup languages, representations, schemas, and tools have significantly increased the ability for organizations to share their information. Languages such as the Extensible Marku...
163
click to vote
GIS
2008
ACM
15 years 10 months ago
2008
ACM
An abundance of geospatial information is flourishing on the Internet but mining and disseminating these data is a daunting task. With anything published on the web available to t...