677 search results - page 66 / 136 » Rigorous Object-Oriented Analysis |
106
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Spectral clustering is one of the most widely used techniques for extracting the underlying global structure of a data set. Compressed sensing and matrix completion have emerged a...
CONCURRENCY
2007
15 years 22 days ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
76
Voted
CCE
2005
15 years 19 days ago
2005
The Petlyuk distillation configuration has received considerable attention because of its efficiency to reduce the energy required for the separation of ternary mixtures. The stru...
100
click to vote
CCR
2004
15 years 18 days ago
2004
This paper emphasizes the need for methodological frameworks for analysis and design of large scale networks which are independent of specific design innovations and their advocac...
114
Voted
TCAD
2002
15 years 11 days ago
2002
This paper introduces an accurate analysis of on-chip inductance effects for distributed interconnects that takes the effect of both the series resistance and the output parasitic ...