2949 search results - page 202 / 590 » Universal Sparse Modeling |
123
click to vote
TACAS
2005
Springer
15 years 8 months ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...
126
click to vote
WSC
2004
15 years 4 months ago
2004
This paper describes a proposed pilot educational program to teach middle and high school students the space shuttle processing operations. This pilot program involves a partnersh...
134
click to vote
IIE
2006
15 years 3 months ago
2006
Abstract. With the growing awareness of the scholarship of teaching and the appropriate incorporation of Information and Communications Technologies (ICT) in higher education, ther...
131
click to vote
SODA
2000
ACM
15 years 4 months ago
2000
ACM
We present a model that enables us to analyze the running time of an algorithm on a computer with a memory hierarchy with limited associativity, in terms of various cache parameter...
113
click to vote
PPAM
2005
Springer
15 years 8 months ago
2005
Springer
We address a generalization of the classical 1- and 2-processor UET scheduling problem on dedicated machines. In our chromatic model of scheduling machines have non-simultaneous av...