2539 search results - page 308 / 508 » Debugging Method Names |
135
Voted
ICMCS
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper, we propose an original indexing by shape of image databases based on extended grid files. We first introduce a recently developed shape description method and tailo...
107
click to vote
RTCSA
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper, we propose a protocol synthesis method based on a partial order model (called event structures) for the class of context-free processes. First, we assign a unique n...
103
Voted
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
ZUM
1992
Springer
15 years 6 months ago
1992
Springer
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
125
Voted
ACMICEC
2007
ACM
15 years 6 months ago
2007
ACM
Bids during an online auction arrive at unequally-spaced discrete time points. Our goal is to capture the entire continuous price-evolution function by representing it as a functi...