![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Study on Parallel Computing
In this talk, we present a general survey on parallel computing. The main contents include parallel computer system which is the hardware platform of parallel computing, parallel algorithm which is the theoret...
-
Chapter and Conference Paper
Learning Minimal Separating DFA’s for Compositional Verification
Algorithms for learning a minimal separating DFA of two disjoint regular languages have been proposed and adapted for different applications. One of the most important applications is learning minimal contextu...
-
Chapter and Conference Paper
GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic
This paper reports extensions to the GOAL tool that enable it to become a research tool for omega automata and temporal logic. The extensions include an expanded collection of translation, simplification, and ...
-
Chapter and Conference Paper
Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
Recent studies have suggested the applicability of learning to automated compositional verification. However, current learning algorithms fall short when it comes to learning liveness properties. We extend the au...
-
Chapter and Conference Paper
A Direction to Avoid Re-encryption in Cryptographic File Sharing
Almost all cryptographic file sharing systems need re-encryption when the sharing was revoked. These systems differ from each other only in the timing of re-encryption. As re-encryption is an expensive operati...
-
Chapter and Conference Paper
The Implementation and Evaluation of a Low-Power Clock Distribution Network Based on EPIC
The multiply clock domain (MCD) technique is a novel technique to compromising between synchronous systems and asynchronous systems to reduce the power. However, most present studies of MCD are based on supers...
-
Chapter and Conference Paper
GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae
In this paper, we present a tool named GOAL (an acronym derived from “Graphical Tool for Omega-Automata and Logics”) whose main functions include (1) drawing and testing Büchi automata, (2) checking the language ...
-
Chapter and Conference Paper
Study on Controller with Online Decision Support System for Laser-Controlled Leveling
A controller and its hardware structure for laser-controlled field leveling was developed that has online decision support function. S3C44B0X and μC/OS-II were adopted as the CPU and operating system respectiv...
-
Chapter and Conference Paper
Open Issues on Intelligent Sensor Networks
In this paper, we address some open issues on intelligent sensor networks research. Recent advancement in wireless communications and electronics has enabled the development of low-cost sensor networks, which ...
-
Chapter and Conference Paper
A Parameterized Model of TCP Slow Start
Based on analysis on multiple packet losses of standard slow start caused by exponential growth of congestion window (cwnd), this paper proposes a new phase-divided TCP start scheme and designs a parameterized mo...
-
Chapter and Conference Paper
LEAPS: A Location Estimation and Action Prediction System in a Wireless LAN Environment
Location estimation and user behavior recognition are research issues that go hand in hand. In the past, these two issues have been investigated separately. In this paper, we present an integrated framework ca...
-
Chapter and Conference Paper
GOOMPI: A Generic Object Oriented Message Passing Interface
This paper discusses the application of object-oriented and generic programming techniques in high performance parallel computing, then presents a new message-passing interface based on object-oriented and gen...
-
Chapter and Conference Paper
Life Cycle Modeling of News Events Using Aging Theory
In this paper, an adaptive news event detection method is proposed. We consider a news event as a life form and propose an aging theory to model its life span. A news event becomes popular with a burst of news...