Sciweavers

2878 search results - page 191 / 576
» Analyzing the Uses of a Software Modeling Tool
Sort
View
EGH
2004
Springer
15 years 11 months ago
A flexible simulation framework for graphics architectures
In this paper we describe a multipurpose tool for analysis of the performance characteristics of computer graphics hardware and software. We are developing Qsilver, a highly conï¬...
Jeremy W. Sheaffer, David P. Luebke, Kevin Skadron
WSC
2000
15 years 7 months ago
Simply Simulation: an interactive CD-ROM-based approach for learning simulation concepts
The purpose of this paper is to introduce a new approach to teaching an introductory simulation course using an interactive CD-ROM titled "Simply Simulation". This metho...
Connie Nott, Graham Nott, C. Christopher Lee
139
Voted
CL
2006
Springer
15 years 5 months ago
Co-evolving code and design with intensional views: A case study
Intensional views and relations have been proposed as a way of actively documenting high-level structural regularities in the source code of a software system. By checking conform...
Kim Mens, Andy Kellens, Frédéric Plu...
SIGOPS
2008
141views more  SIGOPS 2008»
15 years 5 months ago
Using model checkers in an introductory course on operating systems
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
Roelof Hamberg, Frits W. Vaandrager
175
Voted
NJC
2006
119views more  NJC 2006»
15 years 5 months ago
A Model-Driven Approach to Variability Management in Product-Line Engineering
Object-oriented frameworks play an essential role in the implementation of product-line architectures (PLAs) for product families. However, recent case studies reveal that deriving...
André L. Santos, Kai Koskimies, Antó...