4693 search results - page 926 / 939 » Verifying Hybrid Systems |
DAC
1997
ACM
15 years 4 months ago
1997
ACM
A number of industry trends are shaping the requirements for IC and electronic equipment design. The density and complexity of circuit technologies have increased to a point where...
137
click to vote
SIGGRAPH
1992
ACM
15 years 4 months ago
1992
ACM
To reduce the cost of correcting design errors, assemblies of mechanical parts are modeled using CAD systems and verified electronically before the designs are sent to manufacturi...
108
Voted
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
Substructure similarity search is to retrieve graphs that approximately contain a given query graph. It has many applications, e.g., detecting similar functions among chemical com...
124
Voted
KDD
2010
ACM
15 years 4 months ago
2010
ACM
This paper intends to provide some insights of a scientific problem: how likely one’s interests can be inferred from his/her social connections – friends, friends’ friends,...
102
click to vote
ESCIENCE
2007
IEEE
15 years 4 months ago
2007
IEEE
The improvements of the luminosity of the Tevatron Collider require large increases in computing requirements for the CDF experiment which has to be able to increase proportionally...