4139 search results - page 461 / 828 » Designing and Implementing Combinator Languages |
195
click to vote
HOTOS
2007
IEEE
15 years 11 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
197
click to vote
DAS
2006
Springer
15 years 11 months ago
2006
Springer
This paper presents a novel approach for designing a semi-automatic adaptive OCR for large document image collections in digital libraries. We describe an interactive system for co...
209
click to vote
TACAS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
189
click to vote
WCE
2007
15 years 8 months ago
2007
— The paper deals with the design and realization of a secure multicarrier modem on FPGA. The crypto-modem principle is adopted. An encryption block is integrated in the modem tr...
222
click to vote
CAL
2006
15 years 7 months ago
2006
Modern programming languages often include complex mechanisms for dynamic memory allocation and garbage collection. These features drive the need for more efficient implementation ...