Sciweavers

34 search results - page 6 / 7
» O'Camelot: adding objects to a resource-aware functional lan...
Sort
View
OOPSLA
2009
Springer
13 years 12 months ago
Enhancing source-level programming tools with an awareness of transparent program transformations
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...
Myoungkyu Song, Eli Tilevich
COOPIS
2004
IEEE
13 years 9 months ago
Enabling Rapid Feature Deployment on Embedded Platforms with JeCOM Bridge
A new class of embedded devices is emerging that has a mixture of traditional firmware (written in C/C++) with an embedded virtual machine (e.g., Java). For these devices, the main...
Jun Li, Keith Moore
IFL
2007
Springer
120views Formal Methods» more  IFL 2007»
13 years 11 months ago
Lazy Contract Checking for Immutable Data Structures
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
Robert Bruce Findler, Shu-yu Guo, Anne Rogers
EUC
2005
Springer
13 years 11 months ago
New Area Management Method Based on "Pressure" for Plastic Cell Architecture
In the present paper, we propose a novel area management method based on the concept of “pressure”. Plastic Cell Architecture (PCA) is a dynamically reconfigurable architectur...
Taichi Nagamoto, Satoshi Yano, Mitsuru Uchida, Yui...
ACL
2007
13 years 6 months ago
Improved Word-Level System Combination for Machine Translation
Recently, confusion network decoding has been applied in machine translation system combination. Due to errors in the hypothesis alignment, decoding may result in ungrammatical co...
Antti-Veikko I. Rosti, Spyridon Matsoukas, Richard...