Sciweavers

833 search results - page 69 / 167
» Computer science as an integrated part of engineering educat...
Sort
View
106
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
Measuring empirical computational complexity
The standard language for describing the asymptotic behavior of algorithms is theoretical computational complexity. We propose a method for describing the asymptotic behavior of p...
Simon Goldsmith, Alex Aiken, Daniel Shawcross Wilk...
107
Voted
GI
2004
Springer
15 years 6 months ago
Dynamic information fusion for genome annotation
: The need for demand-driven and scaleable integration of heterogeneous data sources is inherent to the process of genome annotation. In this paper we describe the Gene-EYe archite...
Heiko Müller, Peter Rieger, Katja Tham, Johan...
140
Voted
SIGCSE
2009
ACM
221views Education» more  SIGCSE 2009»
16 years 1 months ago
Virtualized games for teaching about distributed systems
Complex distributed systems are increasingly important in modern computer science, yet many undergraduate curricula do not give students the opportunity to develop the skill sets ...
Joel Wein, Kirill Kourtchikov, Yan Cheng, Ron Guti...
94
Voted
ITICSE
2003
ACM
15 years 5 months ago
Studying program correctness by constructing contracts
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D...
CODES
2007
IEEE
15 years 4 months ago
A computational reflection mechanism to support platform debugging in SystemC
System-level and Platform-based design, along with Transaction Level modeling (TLM) techniques and languages like SystemC, appeared as a response to the ever increasing complexity...
Bruno Albertini, Sandro Rigo, Guido Araujo, Cristi...