8190 search results - page 1302 / 1638 » From Timed to Hybrid Systems |
181
click to vote
SIGMETRICS
2005
ACM
16 years 12 days ago
2005
ACM
- Since many Web applications employ a multi-tier architecture, in this paper, we focus on the problem of analytically modeling the behavior of such applications. We present a mode...
168
click to vote
OOPSLA
2005
Springer
16 years 10 days ago
2005
Springer
Garbage collection yields numerous software engineering benefits, but its quantitative impact on performance remains elusive. One can compare the cost of conservative garbage col...
173
click to vote
RTA
2005
Springer
16 years 9 days ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
220
click to vote
CLEF
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Recent research has suggested that there is no general similarity measure, which can be applied on arbitrary databases without any parameterization. Hence, the optimal co...
180
click to vote
FCCM
2003
IEEE
16 years 4 days ago
2003
IEEE
Hardware simulation of channel codes offers the potential of improving code evaluation speed by orders of magnitude over workstation- or PC-based simulation. We describe a hardwar...