Sciweavers

3852 search results - page 339 / 771
» Construction of Codes for Network Coding
Sort
View
ACMMSP
2006
ACM
278views Hardware» more  ACMMSP 2006»
16 years 23 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 22 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 12 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 12 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
WAIM
2005
Springer
16 years 7 days ago
Understanding User Operations on Web Page in WISE
Unlike Internet portals, a typical Web Information System contains lots of user operations. However, existing Web design frameworks focus exclusively on data presentation: the proc...
Hongyan Li, Ming Xue, Jianjun Wang, Shiwei Tang, D...