11345 search results - page 1922 / 2269 » Foundations of Computer Science |
106
click to vote
IJSYSC
2010
15 years 2 months ago
2010
This paper applies three different control techniques to the design of a quarter car semiactive suspension system. The three techniques, originally developed to solve a constrain...
168
click to vote
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Achieving high classification accuracy is a major challenge in the diagnosis of cancer types based on gene expression profiles. These profiles are notoriously noisy in that a larg...
139
click to vote
ITP
2010
15 years 2 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
119
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Fred Brooks’ retelling of the biblical story of the Tower of Babel offers many insights into what makes building software difficult. The difficulty, according to common interp...
188
click to vote
SIGCSE
2010
ACM
15 years 2 months ago
2010
ACM
In this paper, we present a series of programming projects based on the Linux kernel for students in a senior-level undergraduate operating systems course. The projects we describ...