22 search results - page 2 / 5 » pdcat 2005 |
PDCAT
2005
Springer
13 years 10 months ago
2005
Springer
Chocolat/SMV is a translator that takes a CafeOBJ specification of a transition system called an OTS and generates an SMV specification of a finite version of the OTS. The prim...
PDCAT
2005
Springer
13 years 10 months ago
2005
Springer
A novel strategy for employing schedules obtained using standard static scheduling algorithms in a battery powered multiprocessor environment is investigated. The strategy is able...
PDCAT
2005
Springer
13 years 10 months ago
2005
Springer
Recent advances in wireless technology and availability of portable devices with networking capabilities made the increasing hot topic, ubiquitous computing become reality. Also, ...
PDCAT
2005
Springer
13 years 10 months ago
2005
Springer
This paper considers the on-line traffic grooming problem in WDM-TDM switched optical mesh networks without wavelength conversion capability. The objective is to efficiently rou...
PDCAT
2005
Springer
13 years 10 months ago
2005
Springer
This paper presents a performance study of a nonrigid registration algorithm for investigating lung disease on clusters. Our algorithm combines two conventional acceleration techn...