Sciweavers

49 search results - page 6 / 10
» Experiences teaching data structures with Java
Sort
View
ACMSE
2009
ACM
15 years 26 days ago
Using computer graphics to explore object oriented concepts using C
Most recent graphics courses are what we would call topdown courses. Courses that focus on using graphical packages to implement and teach graphics. The course discussed in this p...
William C. Kreahling
83
Voted
ISSTA
2010
ACM
14 years 11 months ago
Analysis of invariants for efficient bounded verification
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
Juan P. Galeotti, Nicolás Rosner, Carlos L&...
CSSE
2008
IEEE
15 years 4 months ago
Rapid Acquirement and Visualization of CityGML Documents
—With the development of the Internet, the need of city 3D data is rising more and more, and the emphasis shifts from analysis to the sharing of city 3D data and information over...
Lingli Zhao, Shuai Liu, Junsheng Li, Haicheng Xu
97
Voted
CACM
2008
101views more  CACM 2008»
14 years 9 months ago
Just say 'A Class Defines a Data Type'
data type and (Java) class, asking about the relationship between them. The same students would also be unlikely to find an answer in a CS1 textbook. Some textbooks might not even ...
Chenglie Hu
IMSA
2001
143views Multimedia» more  IMSA 2001»
14 years 11 months ago
A Collaborative Electronic Laboratory Notebook
We have developed a secure, collaborative, web-based electronic notebook (EN) designed to provide researchers and students with a means to record and share their primary research ...
James D. Myers, Elena S. Mendoza, B. Hoopes