Sciweavers

1251 search results - page 185 / 251
» Design of an Early Minicomputer
Sort
View
82
Voted
SIGSOFT
2009
ACM
16 years 1 months ago
Synthesizing partial component-level behavior models from system specifications
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvid...
82
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
Determining detailed structural correspondence for generalization tasks
Generalization tasks are important for continual improvement to the design of an evolving code base, eliminating redundancy where it has accumulated. An important step in generali...
Jörg Denzinger, Joseph J. C. Chang, Robert J....
CHI
2009
ACM
16 years 1 months ago
Friend or foe?: examining CAS use in mathematics research
Computer Algebra Systems (CAS) provide sophisticated functionality to assist with mathematical problem solving. Despite their widespread adoption, however, little work in the HCI ...
Andrea Bunt, Michael Terry, Edward Lank
SIGCSE
2009
ACM
114views Education» more  SIGCSE 2009»
16 years 1 months ago
Engaging students through mobile game development
This paper describes using mobile game development as a motivational tool to engage students early in the curriculum. Mobile devices have become an integral part of everyday lives...
Stan Kurkovsky
82
Voted
VLSID
2005
IEEE
126views VLSI» more  VLSID 2005»
16 years 1 months ago
Exact Analytical Equations for Predicting Nonlinear Phase Errors and Jitter in Ring Oscillators
In this paper, we present a simple analytical equation for capturing phase errors in 3-stage ring oscillators. The model, based on a simple but useful idealization of the ring osc...
Jaijeet S. Roychowdhury