Sciweavers

6248 search results - page 425 / 1250
» Programming in a data factory
Sort
View
MEMOCODE
2003
IEEE
16 years 4 days ago
Exact Runtime Analysis Using Automata-Based Symbolic Simulation
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...
Tobias Schüle, Klaus Schneider
SIGCSE
1994
ACM
172views Education» more  SIGCSE 1994»
15 years 11 months ago
Collaborative learning in an introductory computer science course
An experiment in collaborative learning was conducted in two introductory programming courses at Loyola College in Maryland. Data collected included background information on stud...
Roberta Evans Sabin, Edward P. Sabin
ITICSE
2010
ACM
15 years 7 months ago
Hands-on approach to teaching wireless sensor networks at the undergraduate level
Teaching wireless sensor networks (WSNs) at the undergraduate level is both challenging and rewarding. WSNs include low-level programming and debugging, power-aware operations, no...
Anna Förster, Mehdi Jazayeri
POPL
2010
ACM
16 years 4 months ago
Counterexample-Guided Focus
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
Andreas Podelski, Thomas Wies
ICCS
2001
Springer
15 years 11 months ago
Discrete Local Fairing of B-Spline Surfaces
Many surfaces can be modeled by interpolating data points digitized from existing products. But the digitized data points could have measuring errors. To adjust the points, fairing...
Seok-Yong Hong, Chung-Seong Hong, Hyun-Chan Lee, K...