Sciweavers

3667 search results - page 333 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
ISBI
2006
IEEE
16 years 7 months ago
Closed and open source neuroimage analysis tools and libraries at UNC
The emergence of open-source libraries and development tools in the last decade has changed the process of academic software development in many ways. In medical image processing ...
Martin Andreas Styner, Matthieu Jomier, Guido Geri...
CC
2009
Springer
141views System Software» more  CC 2009»
16 years 7 months ago
Compile-Time Analysis and Specialization of Clocks in Concurrent Programs
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...
Nalini Vasudevan, Olivier Tardieu, Julian Dolby, S...
SAFECOMP
2009
Springer
16 years 1 months ago
Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Fa
The advanced electric power grid is a cyber-physical system comprised of physical components such as transmission lines and generators and a network of embedded systems deployed fo...
Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin
ISSRE
2006
IEEE
16 years 19 days ago
BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
Jun Yan, Zhong Jie Li, Yuan Yuan, Wei Sun, Jian Zh...
ESWS
2005
Springer
16 years 4 days ago
Semantic Annotation of Images and Videos for Multimedia Analysis
Annotations of multimedia documents typically have been pursued in two different directions. Either previous approaches have focused on low level descriptors, such as dominant colo...
Stephan Bloehdorn, Kosmas Petridis, Carsten Saatho...