Sciweavers

8723 search results - page 111 / 1745
» A New Analysis of Co-Training
Sort
View
PE
2008
Springer
106views Optimization» more  PE 2008»
15 years 6 months ago
Heavy traffic analysis of polling models by mean value analysis
In this paper we present a new approach to derive heavy-traffic asymptotics for polling models. We consider the classical cyclic polling model with exhaustive or gated service at ...
Robert D. van der Mei, Erik M. M. Winands
DFT
1997
IEEE
141views VLSI» more  DFT 1997»
15 years 10 months ago
Analysis of a Hybrid Defect-Tolerance Scheme for High-Density Memory ICs
Recent increases in the density and size of memory ICs made it ne cessary to search for new defect tolerance techniques since the traditional methods are no longer e ective enough...
Israel Koren, Zahava Koren
KI
2004
Springer
15 years 12 months ago
A Pragmatics-First Approach to the Analysis and Generation of Dialogues
Integration of new utterances into context is a central task in any model for rational (human-machine) dialogues in natural language. In this paper, a pragmatics-first approach to...
Bernd Ludwig
DATE
1999
IEEE
80views Hardware» more  DATE 1999»
15 years 10 months ago
Symbolic Reachability Analysis of Large Finite State Machines Using Don't Cares
Reachability analysis of finite state machines is essential to many computer-aided design applications. We present new techniques to improve both approximate and exact reachabilit...
Youpyo Hong, Peter A. Beerel
CAV
2012
Springer
236views Hardware» more  CAV 2012»
13 years 9 months ago
Lock Removal for Concurrent Trace Programs
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
Vineet Kahlon, Chao Wang