10048 search results - page 220 / 2010 » The Structure and Performance of Interpreters |
197
click to vote
TCS
2008
15 years 7 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
193
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of -theories. Relying on the notion of easy intersection type theory we succes...
170
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we study non-binary regular LDPC cycle codes whose parity check matrix has fixed column weight 2 and fixed row weight d. We prove that the parity check matrix of ...
183
click to vote
ITNG
2008
IEEE
16 years 1 months ago
2008
IEEE
The performance of an OCR system depends upon printing quality of the input document. Many OCRs have been designed which correctly identify fine printed documents in Indian and ot...
203
click to vote
PPOPP
2006
ACM
16 years 1 months ago
2006
ACM
As multi-core architectures with Thread-Level Speculation (TLS) are becoming better understood, it is important to focus on TLS compilation. TLS compilers are interesting in that,...