3130 search results - page 423 / 626 » Design Correctness of Digital Systems |
197
click to vote
EUROSYS
2010
ACM
16 years 3 months ago
2010
ACM
The benefits of virtualized IT environments, such as compute clouds, have drawn interested enterprises to migrate their applications onto new platforms to gain the advantages of ...
207
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
160
click to vote
ICMCS
2006
IEEE
16 years 19 days ago
2006
IEEE
A novel video encoding and splicing method is proposed which minimizes the tune-in time of “channel zapping”, i.e. changing from one audiovisual service to another, in IPDC ov...
206
click to vote
ACMMSP
2006
ACM
16 years 17 days ago
2006
ACM
A blossoming paradigm for block-recursive matrix algorithms is presented that, at once, attains excellent performance measured by • time, • TLB misses, • L1 misses, • L2 m...
163
click to vote
MIR
2006
ACM
16 years 16 days ago
2006
ACM
We present a general approach for automatically matching electronic slides to videos of corresponding presentations for use in distance learning and video proceedings of conferenc...