Sciweavers

ICESS
2005
Springer
14 years 5 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
ICESS
2005
Springer
14 years 5 months ago
Support Industrial Hard Real-Time Traffic with Switched Ethernet
: This paper presents a simple and efficient switched Ethernet communication protocol for industrial hard real-time LAN applications. The network is founded with end nodes and a sw...
Alimujiang Yiming, Toshio Eisaka
ICESS
2005
Springer
14 years 5 months ago
Localized Energy-Aware Broadcast Protocol for Wireless Networks with Directional Antennas
Abstract. We consider broadcast protocols in wireless networks that have limited energy and computation resources. The well-known algorithm, DBIP (Directional Broadcast Incremental...
Hui Xu, Manwoo Jeon, Lei Shu, Xiaoling Wu, Jinsung...
ICESS
2005
Springer
14 years 5 months ago
AMT6: End-to-End Active Measurement Tool for IPv6 Network
Since IPv6 has more benefits over IPv4, the development and deployment of the IPv6 protocol-based products are currently taking place and the migration of IPv4 to IPv6 has also be...
Jahwan Koo, Seong-Jin Ahn
ICESS
2005
Springer
14 years 5 months ago
Swarm Based Sensor Deployment Optimization in Ad Hoc Sensor Networks
Abstract. In ad hoc sensor networks, sensor nodes have very limited energy resources, thus energy consuming operations such as data collection, transmission and reception must be k...
Xiaoling Wu, Shu Lei, Jie Yang, Hui Xu, Jinsung Ch...
ICESS
2005
Springer
14 years 5 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
14 years 5 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
14 years 5 months ago
CDP: Component Development Platform for Communication Protocols
Complexity of software systems has significantly grown with social dependence on computer system, especially for mobile and internet. So we present component-based communication pr...
Hong-Jun Dai, Tian-Zhou Chen, Chun Chen, Jiang-Wei...
ICESS
2005
Springer
14 years 5 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
14 years 5 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