Sciweavers

7554 search results - page 1203 / 1511
» Process Diagnostics: A Method Based on Process Mining
Sort
View
FM
2009
Springer
190views Formal Methods» more  FM 2009»
16 years 1 months ago
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu
ICPR
2008
IEEE
16 years 1 months ago
Application of graph coloring in physical layout segmentation
Every-day, the postal sorting systems diffuse several tons of mails. It is noted that the principal origin of mail rejection is related to the failure of address-block localizatio...
Djamel Gaceb, Véronique Eglin, Frank Lebour...
ICSEA
2008
IEEE
16 years 1 months ago
Analyzing Software Evolvability of an Industrial Automation Control System: A Case Study
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
Hongyu Pei Breivold, Ivica Crnkovic, Rikard Land, ...
DATE
2007
IEEE
123views Hardware» more  DATE 2007»
16 years 1 months ago
Clock domain crossing fault model and coverage metric for validation of SoC design
Multiple asynchronous clock domains have been increasingly employed in System-on-Chip (SoC) designs for different I/O interfaces. Functional validation is one of the most expensiv...
Yi Feng 0002, Zheng Zhou, Dong Tong, Xu Cheng
ISBI
2007
IEEE
16 years 29 days ago
Harp Tracking Refinement Using Seeded Region Growing
Tagged magnetic resonance (MR) imaging makes it possible to image the motion of tissues such as the muscles found in the heart and tongue. The harmonic phase (HARP) method largely...
Xiaofeng Liu, Emi Murano, Maureen C. Stone, Jerry ...
« Prev « First page 1203 / 1511 Last » Next »