626 search results - page 49 / 126 » When Can Formal Methods Make a Real Difference |
152
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
146
click to vote
LAWEB
2005
IEEE
15 years 9 months ago
2005
IEEE
Nowadays, networks can be accessed by multiple devices with different characteristics. Some of these characteristics such as low processing power and memory capacity restrict the ...
138
click to vote
ICASSP
2007
IEEE
15 years 7 months ago
2007
IEEE
Motion estimation is the most time-consuming subsystem in a video codec. Thus, more efficient methods of motion estimation should be investigated. Real video sequences usually exh...
157
click to vote
PAKDD
2000
ACM
15 years 7 months ago
2000
ACM
Combining multiple global models (e.g. back-propagation based neural networks) is an effective technique for improving classification accuracy by reducing a variance through manipu...
140
Voted
DAC
2011
ACM
14 years 3 months ago
2011
ACM
We study the problem on how to maximize the throughput for a periodic real-time system under the given peak temperature constraint. We assume that different tasks in our system ma...