Sciweavers

218 search results - page 39 / 44
» Teaching Evidence-Based Software Engineering to University S...
Sort
View
METRICS
2005
IEEE
15 years 6 months ago
Measuring Productivity on High Performance Computers
In the high performance computing domain, the speed of execution of a program has typically been the primary performance metric. But productivity is also of concern to high perfor...
Marvin V. Zelkowitz, Victor R. Basili, Sima Asgari...
122
Voted
SIGOPS
2008
141views more  SIGOPS 2008»
15 years 9 days 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
USENIX
1993
15 years 1 months ago
The Nachos Instructional Operating System
In teaching operating systems at an undergraduate level, we believe that it is important to provide a project that is realistic enough to show how real operating systems work, yet...
Wayne A. Christopher, Steven J. Procter, Thomas E....
WWW
2001
ACM
16 years 1 months ago
ViBE: virtual biology experiments
The virtual laboratories enhance learning experiences by providing the student with a supplement to the physical lab. The laboratories allow students to perform exercises as in an...
Rajaram Subramanian, Ivan Marsic
CORR
2011
Springer
221views Education» more  CORR 2011»
14 years 7 months ago
Course on System Design (structural approach)
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
Mark Sh. Levin