1271 search results - page 53 / 255 » On Simulation-Checking with Sequential Systems |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
This paper presents a realization for the reliable and fast startup of distributed systems written in Erlang. The traditional startup provided by the Erlang/OTP library is sequenti...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— In this paper, we study an optimal control problem arising in plasma transport which is governed by a singularly perturbed system. Time-scale separation allows us to focus on a...
TCS
2008
13 years 10 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
CIMCA
2005
IEEE
14 years 3 months ago
2005
IEEE
Research on the optimization of Vehicle Routing Problem with Time Windows (VRPTW) is a significant investigation area of ant colony system (ACS). This paper proposes an enhanced AC...
JUCS
2007
13 years 10 months ago
2007
: Multi-processor systems have become the standard in current computer architectures. Software developers have the possibility to take advantage of the additional computing power a...