3239 search results - page 573 / 648 » A Logical Process Calculus |
ICDAR
1999
IEEE
15 years 5 months ago
1999
IEEE
PixED (from Pixel to Electronic Document) is aimed at converting document images into structured electronic documents which can be read by a machine for information retrieval. The...
ECOOP
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. Automatic program specialization can derive efficient implementations from generic components, thus reconciling the often opposing goals of genericity and efficiency. Thi...
101
click to vote
DEXAW
1998
IEEE
15 years 4 months ago
1998
IEEE
Huge size and high complexity of legacy software are the main sources of today's software evolution problems. While we can ease software evolution with re-engineering tools, ...
122
Voted
ICNP
1998
IEEE
15 years 4 months ago
1998
IEEE
Wireless links can exhibit high error rates due to attenuation, fading, or interfering active radiation sources. To make matters worse, error rates can be highly variable due to c...
102
Voted
ITC
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper presents a logic synthesis tool called BETSY (BIST Environment Testable Synthesis) for synthesizing circuits that achieve complete (100%)fault coverage in a user specif...