10848 search results - page 1961 / 2170 » Programming in Biomolecular Computation |
146
click to vote
PAAPP
2006
15 years 6 months ago
2006
In this paper, we investigate algorithms for generating communication code to run on distributedmemory systems. We modify algorithms from previously published work and prove that ...
162
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
How do new college graduates experience their first software development jobs? In what ways are they prepared by their educational experiences, and in what ways do they struggle t...
165
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
Errors are unavoidable in advanced computer vision applications such as optical character recognition, and the noise induced by these errors presents a serious challenge to downstr...
183
click to vote
TCAD
2008
15 years 6 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
143
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
This paper is concerned with an employee scheduling problem involving multiple shifts and work centers, where employees belong to a hierarchy of categories having downward substitu...