6693 search results - page 1043 / 1339 » Methods of Automatic Algorithm Generation |
133
Voted
RTSS
1999
IEEE
15 years 8 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...
121
Voted
ACSD
1998
IEEE
15 years 8 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 [...
118
Voted
ICCAD
1996
IEEE
15 years 7 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...
139
click to vote
SC
1993
ACM
15 years 7 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 ...
145
Voted
CAIP
2007
Springer
15 years 7 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...