6796 search results - page 120 / 1360 » Java for Embedded Systems |
196
click to vote
B
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
99
Voted
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
127
click to vote
CLEIEJ
2006
15 years 2 months ago
2006
This paper describes JADIMA (Java Distributed Machine), a collaborative platform to construct high performance distributed JAVA applications. JADIMA is a system that automatically...
111
click to vote
CASES
2000
ACM
15 years 6 months ago
2000
ACM
Fragmentation can cause serious loss of memory in systems that are using dynamic memory management. Any useful memory management system must therefore provide means to limit fragm...
ICEIS
2006
IEEE
15 years 8 months ago
2006
IEEE