Sciweavers

10 search results - page 1 / 2
» icess 2005
Sort
View
ICESS
2005
Springer
13 years 10 months ago
Ahead of Time Deployment in ROM of a Java-OS
This article shows how it is possible to place a great part of a Java system in read-only memory in order to fit with the requirements of tiny devices. Java systems for such devic...
Kevin Marquet, Alexandre Courbot, Gilles Grimaud
ICESS
2005
Springer
13 years 10 months ago
Semantic Web Based Knowledge Searching System in Mobile Environment
In this paper we propose semantic web-based mobile knowledge searching systems for display Web pages on mobile terminals. The proposed system reduces the time of verification when ...
Dae-Keun Si, Yang-Seung Jeon, Jong-Ok Choi, Young-...
ICESS
2005
Springer
13 years 10 months ago
Formalization of fFSM Model and Its Verification
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
Sachoun Park, Gihwon Kwon, Soonhoi Ha
ICESS
2005
Springer
13 years 10 months ago
Self-correction of FPGA-Based Control Units
This paper presents a self-correcting control unit design using Hamming codes for finite state machine (FSM) state encoding. The adopted technique can correct single-bit errors and...
Iouliia Skliarova
ICESS
2005
Springer
13 years 10 months ago
Separate Compilation for Synchronous Modules
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
Jia Zeng, Stephen A. Edwards