Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
international computer » international center
aided computational » ended computational, wide computational, based computational
computer aided » computer assisted
array arcing » array forming, array probing, array sharing
arrays brad » arrays load, arrays based
arrays a » arrays _
international computer » international center
aided computational » ended computational, wide computational, based computational
computer aided » computer assisted
array arcing » array forming, array probing, array sharing
arrays brad » arrays load, arrays based
arrays a » arrays _
1
Published 2007
Table of Contents:
“... -- Session XVI: SAT and Decision Procedures -- A Decision Procedure for Bit-Vectors and Arrays -- Boolean...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... -- Merit: An Interpolating Model-Checker -- Breach, A Toolbox for Verification and Parameter Synthesis...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“...A Unified Approach to Design of Assemblies Integrating Nominal and Variation Design -- Virtual...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... for Computer Aided Driving -- A Monocular Solution to Vision-Based ACC in Road Vehicles -- Multi-objective...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Reconfigurable Processor -- Trigonometric Computing Embedded in a Dynamically Reconfigurable CORDIC System...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Extra Array? -- Some Constrained Notions of Planarity -- Reachability Problems on Directed Graphs -- 1A...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... on Cell Broadband Engine -- Parallel Algorithm for Conflict Graph on OTIS-Triangular Array -- A Deadlock...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... for Scientific Computations -- OpenMP 3.0 – A Preview of the Upcoming Standard -- Manycores in the Future...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... Developments, Challenges and Future Prospects -- Development of Computer Aided Process Planning System...”View full text
Electronic
eBook
11
by Tan, Gim Heng
Published 2001
Subjects:
“...Metal oxide semiconductors, Complementary - Computer-aided design...”Published 2001
View full text
Thesis
12
Subjects:
“...Metal oxide semiconductors, Complementary Computer-aided design....”
Thesis
Book
13
Published 2007
Table of Contents:
“... -- Reconfigurable Architectures -- MORA: A New Coarse-Grain Reconfigurable Array for High Throughput Multimedia...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... Arrays By Means of Surrogate-Based Optimization -- Optimal Design of Computationally Expensive EM-Based...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“...A Proposal for Task Parallelism in OpenMP -- Support for Fine Grained Dependent Tasks in OpenMP...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“...: extracting relevant information -- Interpolation of reduced basis: a geometrical approach -- POD for non...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Actuated Tactile Micro-actuator Array -- Muscular Torque Can Explain Biases in Haptic Length Perception: A...”View full text
Electronic
eBook
18
Published 2012
Table of Contents:
“...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... -- Analytical Performance of a Frequency Offset Multi-user Multi-array System -- Effects of Subcarrier...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“... Description -- Computer Aided Writing – A Framework Supporting Research Tasks, Topic Recommendations and Text...”View full text
Electronic
eBook