4311 search results - page 45 / 863 » Code Generation for Distributed Systems |
IESS
2007
Springer
14 years 3 months ago
2007
Springer
The stringent performance constraints and short time to market of modern digital systems require automatic methods for design of high performance applicationspecific architectures...
TCOM
2008
13 years 8 months ago
2008
This paper proposes a general and systematic code design method to efficiently combine constrained codes with parity-check (PC) codes for optical recording. The proposed constraine...
DCC
2011
IEEE
13 years 3 months ago
2011
IEEE
With the simplicity of its application together with compression efficiency, the Discrete Cosine Transform(DCT) plays a vital role in the development of video compression standar...
ICDCSW
2003
IEEE
14 years 2 months ago
2003
IEEE
Access control in existing Java-based mobile agents is mostly based on code source due to limitations of early Java security architecture. That is, authorization is based on where...
PADL
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...