6796 search results - page 128 / 1360 » Java for Embedded Systems |
106
click to vote
ICPP
2007
IEEE
15 years 8 months ago
2007
IEEE
We propose and evaluate a novel approach for automatic parallelization. The approach uses traces as units of parallel work. We discuss the benefits and challenges of the use of t...
103
click to vote
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
133
click to vote
HASE
1999
IEEE
15 years 6 months ago
1999
IEEE
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
112
click to vote
RTCSA
2009
IEEE
15 years 9 months ago
2009
IEEE
—Componentised systems, in particular those with fault confinement through address spaces, are currently emerging as a hot topic in embedded systems research. This paper extends...
LCTRTS
2007
Springer
15 years 8 months ago
2007
Springer