Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
developing computers » developing computer, developing competent, developing competence
programs developing » projects developing, program development, process developing
computers help » computers held, computers helping, computers health
data programs » darpa programs, natal programs, java programs
integer data » internet data, interest data, imager data
developing computers » developing computer, developing competent, developing competence
programs developing » projects developing, program development, process developing
computers help » computers held, computers helping, computers health
data programs » darpa programs, natal programs, java programs
integer data » internet data, interest data, imager data
1
Published 2007
Table of Contents:
“... 3: Parallelism -- A Characterization of Shared Data Access Patterns in UPC Programs -- Exploiting...”View full text
Electronic
eBook
2
Table of Contents:
“...-Driven Programming -- Defining Classes -- Appendix A: Integer Operators -- Appendix B: Float Operators...”
View full text
View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”View full text
Electronic
eBook
5
Table of Contents:
“... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
View full text
View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... and Accurate Static Data-Race Detection for Concurrent Programs -- Parametric and Sliced Causality -- Spade...”View full text
Electronic
eBook
7
8
Published 2007
Table of Contents:
“... of Data Paths Using Unbounded Integers: Automata Strike Back -- Tools Track -- Smart-Lint: Improving...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”View full text
Electronic
eBook
10
11
Published 2007
Table of Contents:
“... the “Semantic Gap” -- Multimedia Ontology Based Computational Framework for Video Annotation and Retrieval...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... -- An Integer Programming Model for the Ferry Scheduling Problem - Online Summary With Data Files. ....”View full text
Electronic
eBook