6796 search results - page 79 / 1360 » Java for Embedded Systems |
STEP
2003
IEEE
14 years 3 months ago
2003
IEEE
With the rapid changes that occur in the area of Web technologies, the porting and adaptation of existing Web applications into new platforms that take advantage of modern technol...
LCR
2000
Springer
14 years 1 months ago
2000
Springer
We present Tigris, a high-performance computation and I/O substrate for clusters of workstations that is implemented entirely in Java. Tigris automatically balances resource load a...
JCIT
2007
13 years 10 months ago
2007
The embedded system has less fast CPU and lower memory than PC(Personal Computer) or Workstation system. Therefore, the embedded operating system is designed to efficiently use th...
PLDI
2009
ACM
14 years 11 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
CC
2008
Springer
14 years 6 days ago
2008
Springer
Java's annotation mechanism allows us to extend its type system with non-null types. However, checking such types cannot be done using the existing bytecode verification algor...