Sciweavers

7640 search results - page 523 / 1528
» Event Database Processing
Sort
View
FM
2009
Springer
157views Formal Methods» more  FM 2009»
16 years 1 months ago
Symbolic Predictive Analysis for Concurrent Programs
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gu...
EICS
2009
ACM
16 years 1 months ago
Interactive usability instrumentation
Usage data logged from user interactions can be extremely valuable for evaluating software usability. However, instrumenting software to collect usage data is a time-intensive tas...
Scott Bateman, Carl Gutwin, Nathaniel Osgood, Gord...
BIBM
2008
IEEE
137views Bioinformatics» more  BIBM 2008»
16 years 1 months ago
Exploring Alternative Splicing Features Using Support Vector Machines
Alternative splicing is a mechanism for generating different gene transcripts (called isoforms) from the same genomic sequence. Finding alternative splicing events experimentally ...
Jing Xia, Doina Caragea, Susan Brown
DFT
2007
IEEE
103views VLSI» more  DFT 2007»
16 years 29 days ago
Reliable Network-on-Chip Using a Low Cost Unequal Error Protection Code
The network-on-chip (NoC) paradigm is seen as a way of facilitating the integration of a large number of computational and storage blocks on a chip to meet several performance and...
Avijit Dutta, Nur A. Touba
ICON
2007
IEEE
16 years 28 days ago
An Approximate Analysis of the Balance among Performance, Utilization and Power Estimation of Server Systems by Use of the Batch
- In this paper we analyze the performance, utilization, and power estimation of server systems by both adopting the batch service and adjusting the batch size. In addition to redu...
Ying-Wen Bai, Yung-Sen Cheng, Cheng-Hung Tsai