IEEE Computer Society

Videos: 99 Likes: 242 Views: 8,916

Videos by: IEEE Computer Society

Deadlock Verification of Cache Coherence Protocols and Communication Fabrics 0217 Chinese

2 days ago
Cache coherence plays a major role in manycore systems. The verification of deadlocks is a challenge in particular, because deadlock freedom is an emerging property. Formal methods often decouple verification of the protocol from verification of the communication interconnect. Modern communication fabrics, however, become more advanced and include a network topology, routing, arbitration, synchronization, and […]

Deadlock Verification of Cache Coherence Protocols and Communication Fabrics

2 days ago
Cache coherence plays a major role in manycore systems. The verification of deadlocks is a challenge in particular, because deadlock freedom is an emerging property. Formal methods often decouple verification of the protocol from verification of the communication interconnect. Modern communication fabrics, however, become more advanced and include a network topology, routing, arbitration, synchronization, and […]

Deadlock Verification of Cache Coherence Protocols and Communication Fabrics Chinese 0217

5 days ago
Cache coherence plays a major role in manycore systems. The verification of deadlocks is a challenge in particular, because deadlock freedom is an emerging property. Formal methods often decouple verification of the protocol from verification of the communication interconnect. Modern communication fabrics, however, become more advanced and include a network topology, routing, arbitration, synchronization, and […]

Deadlock Verification of Cache Coherence Protocols and Communication Fabrics 0217

2 weeks ago
Cache coherence plays a major role in manycore systems. The verification of deadlocks is a challenge in particular, because deadlock freedom is an emerging property. Formal methods often decouple verification of the protocol from verification of the communication interconnect. Modern communication fabrics, however, become more advanced and include a network topology, routing, arbitration, synchronization, and […]

Deadlock Verification of Cache Coherence Protocols and Communication Fabrics 0217 Spanish

2 weeks ago
Cache coherence plays a major role in manycore systems. The verification of deadlocks is a challenge in particular, because deadlock freedom is an emerging property. Formal methods often decouple verification of the protocol from verification of the communication interconnect. Modern communication fabrics, however, become more advanced and include a network topology, routing, arbitration, synchronization, and […]
C.C. Jay Kuo, 2016 Taylor L. Booth Award Recipient

C.C. Jay Kuo, 2016 Taylor L. Booth Award Recipient

3 weeks ago
This episode of C.S. Innovators C.C. Jay Kuo receives the Taylor L. Booth award for excellence as an inspiring educator and for distinguished contributions to multimedia education with impact on academic and industry realms.
Jason Cong 2016 Technical Achievement Award Recipient

Jason Cong 2016 Technical Achievement Award Recipient

1 month ago
Jason received this award for setting the algorithmic foundations for high-level synthesis of field programmable gate arrays.
A Machine-Learning-Driven Sky Model

A Machine-Learning-Driven Sky Model

1 month ago
A machine-learning-based approach can compactly represent sky illumination from both existing analytic sky models and from captured environment maps. The proposed model has low runtime overhead, so it can be used as a generic approach for both offline and real-time applications. This web extra video contains visual comparisons of a daylight simulation rendered using the […]
Improving 3D Character Posing with a Gestural Interface Web Extra 2

Improving 3D Character Posing with a Gestural Interface Web Extra 2

1 month ago
The most time-consuming part of character animation is 3D character posing.The proposed interface combines a mouse with the Leap Motion device to provide 3D input. This web extra video shows the extended character posing interface in use.
Improving 3D Character Posing with a Gestural Interface Web Extra 1

Improving 3D Character Posing with a Gestural Interface Web Extra 1

1 month ago
The most time-consuming part of character animation is 3D character posing.The proposed interface combines a mouse with the Leap Motion device to provide 3D input. This web extra is a sample screenshot video of an animator creating a crawling scene.
Thermal Safe Power (TSP): Efficient Power Budgeting for Heterogeneous Manicure…0117 Spanish

Thermal Safe Power (TSP): Efficient Power Budgeting for Heterogeneous Manicure…0117 Spanish

2 months ago
Chip manufacturers provide the Thermal Design Power (TDP) for a specific chip. The cooling solution is designed to dissipate this power level. But because TDP is not necessarily the maximum power that can be applied, chips are operated with Dynamic Thermal Management (DTM) techniques. To avoid excessive triggers of DTM, usually, system designers also use […]
Thermal Safe Power (TSP): Efficient Power Budgeting for Heterogeneous Manicure…0117 Chinese

Thermal Safe Power (TSP): Efficient Power Budgeting for Heterogeneous Manicure…0117 Chinese

2 months ago
Chip manufacturers provide the Thermal Design Power (TDP) for a specific chip. The cooling solution is designed to dissipate this power level. But because TDP is not necessarily the maximum power that can be applied, chips are operated with Dynamic Thermal Management (DTM) techniques. To avoid excessive triggers of DTM, usually, system designers also use […]