1855 search results - page 147 / 371 » Composing model programs for analysis |
126
click to vote
FDL
2008
IEEE
15 years 3 months ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
137
Voted
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
90
Voted
STOC
2004
ACM
16 years 3 months ago
2004
ACM
Recently, approximation analysis has been extensively used to study algorithms for routing weighted packets in various network settings. Although different techniques were applied...
109
click to vote
ISSS
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper describes the application of a measurement based power analysis technique for an embedded DSP processor. An instruction-level power model for the processor has been dev...
151
Voted
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
In this paper we demonstrate how Interval Analysis and Constraint Logic Programming can be used to obtain an accurate geometric model of a scene that rigorously takes into account...