8828 search results - page 1158 / 1766 » Formal methods in practice |
186
click to vote
ICRA
2005
IEEE
16 years 1 months ago
2005
IEEE
— We describe VIsolate (Voronoi Isolate), a system which performs geometric computations associated with toolpath planning for mechanical etch (also called isolation routing) of ...
206
click to vote
IPPS
2005
IEEE
16 years 1 months ago
2005
IEEE
We live in an era of data explosion that necessitates the discovery of novel out-of-core techniques. The I/O bottleneck has to be dealt with in developing out-of-core methods. The...
180
click to vote
ISCAS
2005
IEEE
16 years 1 months ago
2005
IEEE
Abstract— Practical log-domain filter circuits might have multiple operating points in regions in which the translinear element does not obey the exponential law. In this paper,...
178
click to vote
ISMVL
2005
IEEE
16 years 1 months ago
2005
IEEE
It is believed that quantum computing will begin to have a practical impact in industry around year 2010. We propose an approach to test generation and fault localization for a wi...
163
click to vote
ISPW
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper proposes the unification of two complementary approaches to software process research. The two approaches can be characterized as macroprocess research, focused on pheno...