2935 search results - page 531 / 587 » An Integrated Approach to High Integrity Software Verificati... |
151
click to vote
ECCV
2004
Springer
16 years 6 months ago
2004
Springer
In this paper, we propose a new PDE-based methodology for deformable surfaces that is capable of automatically evolving its shape to capture the geometric boundary of the data and ...
127
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
timing analysis tools to replace standard deterministic static timing analyzers whereas [8,27] develop approaches for the statistical estimation of leakage power considering within...
147
click to vote
SSD
1999
Springer
15 years 8 months ago
1999
Springer
There is an increasing need to integrate spatial index structures into commercial database management systems. In geographic information systems (GIS), huge amounts of information ...
149
click to vote
ISPASS
2005
IEEE
15 years 10 months ago
2005
IEEE
A wide spectrum of e-commerce (B2B/B2C), banking, financial trading and other business applications require the exchange of data to be highly secure. The Secure Sockets Layer (SSL...
133
click to vote
MICRO
2008
IEEE
15 years 4 months ago
2008
IEEE
UAL PRIVATE MACHINE ABSTRACTION WOULD ALLOW SOFTWARE POLICIES TO EXPLICITLY MANAGE MICROARCHITECTURE RESOURCES. VPM POLICIES, IMPLEMENTED PRIMARILY IN SOFTWARE, TRANSLATE APPLICATI...