Sciweavers

Share
22 search results - page 2 / 5
» pdcat 2005
Sort
View
PDCAT
2005
Springer
10 years 10 months ago
Chocolat/SMV: A Translator from CafeOBJ into SMV
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...
Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, ...
PDCAT
2005
Springer
10 years 10 months ago
Gracefully Degrading Battery-Aware Static Multiprocessor Schedules Based on Symmetric Task Fusion
A novel strategy for employing schedules obtained using standard static scheduling algorithms in a battery powered multiprocessor environment is investigated. The strategy is able...
Frode Eika Sandnes, Oliver Sinnen, Yo-Ping Huang
PDCAT
2005
Springer
10 years 10 months ago
Collaborative MPEG-4 Contents Authoring, Presentation and Interaction in a Mobile Environment
Recent advances in wireless technology and availability of portable devices with networking capabilities made the increasing hot topic, ubiquitous computing become reality. Also, ...
SongLu Li, Sangwook Kim, Sunkyung Kim
PDCAT
2005
Springer
10 years 10 months ago
On-Line Routing in WDM-TDM Switched Optical Mesh Networks
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...
Arun Vishwanath, Weifa Liang
PDCAT
2005
Springer
10 years 10 months ago
Performance Study of Nonrigid Registration Algorithm for Investigating Lung Disease on Clusters
This paper presents a performance study of a nonrigid registration algorithm for investigating lung disease on clusters. Our algorithm combines two conventional acceleration techn...
Fumihiko Ino, Yuya Tanaka, Kenichi Hagihara, Hirok...
books