Sciweavers

62 search results - page 2 / 13
» Advanced SPIN Tutorial
Sort
View
ICCS
2005
Springer
13 years 11 months ago
Introducing Design Patterns, Graphical User Interfaces and Threads Within the Context of a High Performance Computing Applicatio
The cross fertilization of methods and techniques between different subject areas in the undergraduate curriculum is a challenge, especially at the more advanced levels. This paper...
James Roper, Alistair P. Rendell
SPIN
2007
Springer
14 years 2 days ago
Tutorial: Parallel Model Checking
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
Lubos Brim, Jiri Barnat
CGF
2007
151views more  CGF 2007»
13 years 6 months ago
Teaching, Exploring, Learning - Developing Tutorials for In-Class Teaching and Self-Learning
This paper presents an experience report on a novel approach for a course on intermediate and advanced computer graphics topics. The approach uses Teachlet Tutorials, a combinatio...
Steffi Beckhaus, Kristopher J. Blom
VLSID
2006
IEEE
192views VLSI» more  VLSID 2006»
13 years 12 months ago
Beyond RTL: Advanced Digital System Design
This tutorial focuses on advanced techniques to cope with the complexity of designing modern digital chips which are complete systems often containing multiple processors, complex...
Shiv Tasker, Rishiyur S. Nikhil
WSC
2004
13 years 7 months ago
New Advances and Applications for Marrying Simulation and Optimization
This tutorial will focus on several new real-world applications that have been developed using an integrated set of methods, including Tabu Search, Scatter Search, Mixed Integer P...
Jay April, Marco Better, Fred Glover, James P. Kel...