A key challenge in model checking software is the difficulty of verifying properties of implementation code, as opposed to checking an abstract algorithmic description. We describe a tool for verifying multithreaded C programs that uses the SPIN model checker. Our tool works by compiling a multi-threaded C program into a typed bytecode format, and then using a virtual machine that interprets th...

This paper discusses the design of a public domain web based ATM PVC Management tool for the Dutch SURFnet research ATM network. The aim of this tool is to assists in the creation and deletion of PVCs through local and remote ATM network domains. The tool includes security mechanisms to restrict the access to these ATM domains, and provides a high level graphical user interface to hide the diff...

This paper introduces a novel two transistors forward topology employing a z-source to achieve ZVZCS and power transformer resetting for various applications. Comparing with the forward converter, this topology has the advantage of displaying ZCS condition with an added Z-Source and no additional switches when the switches turn on, and that ZVS condition happens when the switches turn off. Duty...

In this paper a novel four-leg interleaved DC-DC boost converter is proposed which is well suitable for fuel cell vehicles (FCV) application. The voltage stress of two switches of this converter is half of the conventional interleaved converters. Therefore, smaller and cheaper switches can be utilized. Also "on" state duration of the two of four switches are reduced in comparison with...

Due to the increasing growth of processing cores in complex computational systems, all the connection converted bottleneck for all systems. With the protection of progressing and constructing complex photonic connection on chip, optical data transmission is the best choice for replacing with electrical interconnection for the reason of gathering connection with a high bandwidth and insertion lo...