6308 search results - page 308 / 1262 » Modeling Urgency in Timed Systems |
181
Voted
ICS
2001
Tsinghua U.
15 years 11 months ago
2001
Tsinghua U.
An accurate, tractable, analytic cache model for time-shared systems is presented, which estimates the overall cache missrate of a multiprocessing system with any cache size and t...
208
click to vote
ICTAI
2005
IEEE
16 years 7 days ago
2005
IEEE
A hybrid learning neuro-fuzzy system with asymmetric fuzzy sets (HLNFS-A) is proposed in this paper. The learning methods of random optimization (RO) and least square estimation (...
199
Voted
SAC
2003
ACM
15 years 12 months ago
2003
ACM
Adaptive web sites are sites that automatically improve their internal organization and/or presentation by observing userbrowsing behavior. In this paper we argue that adaptive be...
211
Voted
IJVR
2006
15 years 6 months ago
2006
In this paper, we will present an overview of existing research in the vast area of IVH systems. We will also present our ongoing work on improving the expressive capabilities of I...
199
Voted
FORMATS
2004
Springer
16 years 23 hour ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...