Sciweavers

1448 search results - page 137 / 290
» From Requirements to Code Revisited
Sort
View
WOA
2001
15 years 7 months ago
How to Support Adaptive Mobile Applications
The Mobile Agent (MA) paradigm seems to be a promising solution for the design and development of distributed value-added services. However, mobility has added complexity to the d...
Antonio Corradi, Rebecca Montanari, Gianluca Tonti...
CORR
2008
Springer
144views Education» more  CORR 2008»
15 years 6 months ago
Modular Compilation of a Synchronous Language
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
Annie Ressouche, Daniel Gaffé, Valér...
ICIAP
2005
ACM
16 years 6 months ago
Half-Pixel Correction for MPEG-2/H.264 Transcoding
To improve video quality and coding efficiency, H.264/AVC [1] has adopted several newer coding tools such as a 4?4 integer DCT and a method for calculating half pixels than the pre...
Soon-young Kwon, Joo-Kyong Lee, Ki-Dong Chung
CODES
2009
IEEE
16 years 1 months ago
On compile-time evaluation of process partitioning transformations for Kahn process networks
Kahn Process Networks is an appealing model of computation for programming and mapping applications onto multi-processor platforms. Autonomous processes communicate through unboun...
Sjoerd Meijer, Hristo Nikolov, Todor Stefanov
DATE
2009
IEEE
104views Hardware» more  DATE 2009»
16 years 1 months ago
Programming MPSoC platforms: Road works ahead!
Abstract—This paper summarizes a special session on multicore/multi-processor system-on-chip (MPSoC) programming challenges. The current trend towards MPSoC platforms in most com...
Rainer Leupers, Andras Vajda, Marco Bekooij, Soonh...