6693 search results - page 1043 / 1339 » Methods of Automatic Algorithm Generation |
175
click to vote
RTSS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
165
click to vote
ACSD
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper makes the idea of memory shadowing [5] applicable to symbolic ternary simulation. Memory shadowing, an extension of Burch and Dill's pipeline verification method [...
158
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper, we propose a method to generate high quality test waveform on chip to avoid the parasitic eects in an analog testability bus test environment. For the test response...
178
click to vote
SC
1993
ACM
15 years 10 months ago
1993
ACM
Simulation of complex 3-dimensional phenomena generate data sets which are hard to comprehend using conventional 2-dimensionally oriented visualization tools. One way to overcome ...
192
click to vote
CAIP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a new hybrid split-and-merge image segmentation method based on computational geometry and topology using persistent homology. The algorithm uses edge...