IEEE Computer Society

Videos: 216 Likes: 437 Views: 20,948

Videos by: IEEE Computer Society

A Compositional Approach for Verifying Protocols Running on On-Chip Networks (0718) Chinese

3 weeks ago
In modern many-core architectures, advanced on-chip networks provide the means of communication for the cores. This greatly complicates the design and verification of the cache coherence protocols deployed by those cores. A common approach to deal with this complexity is to decompose the whole system into the protocol and the network.

A Compositional Approach for Verifying Protocols Running on On-Chip Networks (0718) Spanish

3 weeks ago
In modern many-core architectures, advanced on-chip networks provide the means of communication for the cores. This greatly complicates the design and verification of the cache coherence protocols deployed by those cores. A common approach to deal with this complexity is to decompose the whole system into the protocol and the network.

A Compositional Approach for Verifying Protocols Running on On-Chip Networks (0718)

3 weeks ago
In modern many-core architectures, advanced on-chip networks provide the means of communication for the cores. This greatly complicates the design and verification of the cache coherence protocols deployed by those cores. A common approach to deal with this complexity is to decompose the whole system into the protocol and the network.

Accessibility Award winner of 2018 GameSIG

2 months ago
Judges gave the Accessibility Award to the Chapman University student team that created the Hive Armada game: Kara Mendez, Perry Sidler, Miguel Gotao, Chad Johnson, Ryan Britton, and Marc Karam. In the video, one of the student developers dons the virtual reality goggles and gives a demonstration of the game.

Third place winners of 2018 GameSIG

2 months ago
A team made up of students from the University of Southern California and Laguna College of Art and Design took third place at 2018 GameSIG, an intercollegiate game development competition in Southern California, which was held at Chapman University on May 5, 2018.

Winners of 2018 GameSIG Cup

2 months ago
Bragging rights for owning the 2018 GameSIG Cup went to the team from University of California, Irvine: Christopher Ayuso, Mengfan Wang, Pafoua Fang, and Dong Phan. The 7th Annual IEEE GameSIG Intercollegiate Computer Game Showcase, co-sponsored by IEEE Computer Society, provided student video game developers the chance to present their best creations to an elite panel of […]

Analytic Multi-Core Processor Model for 2 Fast Design-Space Exploration Chinese (0618)

2 months ago
Simulators help computer architects optimize system designs. The limited performance of simulators even of moderate size 6 and detail makes the approach infeasible for design-space exploration of future exascale systems.

Analytic Multi-Core Processor Model for 2 Fast Design-Space Exploration (0618)

2 months ago
Simulators help computer architects optimize system designs. The limited performance of simulators even of moderate size 6 and detail makes the approach infeasible for design-space exploration of future exascale systems.

Analytic Multi-Core Processor Model for 2 Fast Design-Space Exploration Spanish (0618)

2 months ago
Simulators help computer architects optimize system designs. The limited performance of simulators even of moderate size 6 and detail makes the approach infeasible for design-space exploration of future exascale systems.