4867 search results - page 173 / 974 » Fluid Models in Performance Analysis |
161
click to vote
DSVIS
1994
Springer
15 years 9 months ago
1994
Springer
This paper presents a complete model-based approach to the building of presentation for a business oriented highly interactive application. This approach is considered complete in...
234
click to vote
FOSAD
2009
Springer
16 years 20 days ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
159
Voted
TCSV
2008
15 years 6 months ago
2008
This paper addresses the automatic analysis of court-net sports video content. We extract information about the players, the playing-field in a bottom-up way until we reach scene-l...
139
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
– Due to reduction in device feature size and supply voltage, the sensitivity of digital systems to transient faults is increasing dramatically. As technology scales further, the...
149
Voted
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
– In real-time data-dominated communication and multimedia processing applications, due to the manipulation of large sets of data, a multi-layer memory hierarchy is used to enhan...