Sciweavers

1579 search results - page 153 / 316
» On the Constructions of Constant-Weight Codes
Sort
View
ISPDC
2006
IEEE
16 years 13 days ago
Distributed, Real-Time Programming on Commodity POSIX Systems: A Preliminary Report
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
Stefan D. Bruda, Petter Haggholm, Scott Stoddard
ACMMSP
2006
ACM
278views Hardware» more  ACMMSP 2006»
16 years 11 days ago
Atomicity via source-to-source translation
We present an implementation and evaluation of atomicity (also known as software transactions) for a dialect of Java. Our implementation is fundamentally different from prior work...
Benjamin Hindman, Dan Grossman
VEE
2006
ACM
131views Virtualization» more  VEE 2006»
16 years 10 days ago
HotpathVM: an effective JIT compiler for resource-constrained devices
We present a just-in-time compiler for a Java VM that is small enough to fit on resource-constrained devices, yet is surprisingly effective. Our system dynamically identifies tr...
Andreas Gal, Christian W. Probst, Michael Franz
ACSD
2005
IEEE
121views Hardware» more  ACSD 2005»
16 years 1 days ago
LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level
We describe a toolbox for the analysis of Systems-on-achip described in SystemC at the transactional level. The tools are able to extract information from SystemC code, and to bui...
Matthieu Moy, Florence Maraninchi, Laurent Maillet...
APSEC
2005
IEEE
16 years 1 days ago
Model Checking Interrupt-Dependent Software
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
Colin J. Fidge, Phil Cook