Sciweavers

2695 search results - page 153 / 539
» A Visual Approach to Validating System Level Designs
Sort
View
127
Voted
FTCS
1996
132views more  FTCS 1996»
15 years 4 months ago
An Approach towards Benchmarking of Fault-Tolerant Commercial Systems
This paper presents a benchmark for dependablesystems. The benchmark consists of two metrics, number of catastrophic incidents and performance degradation, which are obtained by a...
Timothy K. Tsai, Ravishankar K. Iyer, Doug Jewitt
99
Voted
HICSS
2003
IEEE
85views Biometrics» more  HICSS 2003»
15 years 8 months ago
Designs for Ramp-Constrained Day-Ahead Auctions
— Some electric power markets allow bidders to specify constraints on ramp rates for increasing or decreasing power production. We show in a small example that a bidder could use...
Shmuel S. Oren, Andrew M. Ross
122
Voted
SAINT
2003
IEEE
15 years 8 months ago
A Proposal of the Person-centered Approach for Personal Task Management
This paper proposes a person-centered approach for personal task management in which people can decide management of their tasks according to their environments including their su...
Ikki Ohmukai, Hideaki Takeda, Mitsunori Miki
128
Voted
FORTE
2008
15 years 5 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
BMCBI
2008
178views more  BMCBI 2008»
15 years 3 months ago
Identification of coherent patterns in gene expression data using an efficient biclustering algorithm and parallel coordinate vi
Background: The DNA microarray technology allows the measurement of expression levels of thousands of genes under tens/hundreds of different conditions. In microarray data, genes ...
Kin-On Cheng, Ngai-Fong Law, Wan-Chi Siu, Alan Wee...