Sciweavers

6796 search results - page 108 / 1360
» Java for Embedded Systems
Sort
View
106
Voted
DATE
2003
IEEE
122views Hardware» more  DATE 2003»
15 years 7 months ago
A General Framework for Analysing System Properties in Platform-Based Embedded System Designs
We present a framework (Real-Time Calculus) for analysing various system properties pertaining to timing analysis, loads on various components and on-chip buffer memory requiremen...
Samarjit Chakraborty, Simon Künzli, Lothar Th...
115
Voted
IISWC
2006
IEEE
15 years 8 months ago
A Quantitative Evaluation of the Contribution of Native Code to Java Workloads
— Many performance analysis tools for Java focus on tracking executed bytecodes, but provide little support in determining the specific contribution of native code libraries. Th...
Walter Binder, Jarle Hulaas, Philippe Moret
IPPS
2003
IEEE
15 years 7 months ago
Model Checking a Cache Coherence Protocol for a Java DSM Implementation
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald...
89
Voted
SP
2000
IEEE
121views Security Privacy» more  SP 2000»
15 years 6 months ago
A Security Infrastructure for Distributed Java Applications
We describe the design and implementation of a security infrastructure for a distributed Java application. This work is inspired by SDSI/SPKI, but has a few twists of its own. We ...
Dirk Balfanz, Drew Dean, Mike Spreitzer
PLDI
2000
ACM
15 years 6 months ago
Type-based race detection for Java
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
Cormac Flanagan, Stephen N. Freund