261 search results - page 4 / 53 » Ten CAD Challenges |
SP
2002
IEEE
13 years 5 months ago
2002
IEEE
The design and implementation of a national computing system and data grid has become a reachable goal from both the computer science and computational science point of view. A di...
IDEAS
2002
IEEE
13 years 10 months ago
2002
IEEE
A system has been developed permitting database queries over data extracted from a CAD system where the query result is returned back to the CAD for visualization and analysis. Th...
DAGSTUHL
2001
13 years 7 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
IPPS
2009
IEEE
14 years 13 days ago
2009
IEEE
Abstract—This paper presents a capture of the queries managed by an eDonkey server during almost 10 weeks, leading to the observation of almost 9 billion messages involving almos...
CISIS
2010
IEEE
13 years 4 months ago
2010
IEEE
The new generation of open networked IT systems poses particular challenges to software engineering due to their evolving nature and their high quality requirements. In particular...