Arama Sonuçları - parallel microprocessor verification functionality function https

Şunu mu demek istediniz:
microprocessor verification » microprocessors optimization , microprocessor applications , microprocessor regulation
verification functionality » verification functional , classification functionality , application functionality
parallel microprocessor » parallel coprocessors , parallel processor , xscale microprocessor
functionality function » functionals function , functionaries function , functional functions
function https » functions https , fiction https

Design of Embedded Control Systems

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Petri Nets for Digital Controller Design -- Analysis and Verification of Discrete-Event Systems -- WCET...”
Tam Metin Erişim

Elektronik Ekitap

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences /

Baskı/Yayın Bilgisi 2006

Konular: “...Microprocessors....”
Tam Metin Erişim

Elektronik Ekitap

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Tam Metin Erişim

Elektronik Ekitap

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proc...

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Transistor Based Power Gating -- Functional Verification of Low Power Designs at RTL -- XEEMU: An Improved...”
Tam Metin Erişim

Elektronik Ekitap

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...”
Tam Metin Erişim

Elektronik Ekitap

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “...Microcode Verification – Another Piece of the Microprocessor Verification Puzzle -- Are We...”
Tam Metin Erişim

Elektronik Ekitap

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Automatic Completion and Refinement of Verification Sets for Microprocessor Cores -- A Genetic Algorithm...”
Tam Metin Erişim

Elektronik Ekitap

Computer Networks 17th Conference, CN 2010, Ustron, Poland, June 15-19, 2010. Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... in Service Requests Distribution Broker for SOA-Based Systems -- Linking Simulation with Formal Verification...”
Tam Metin Erişim

Elektronik Ekitap

Embedded System Design: Topics, Techniques and Trends IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine (CA), USA /

Baskı/Yayın Bilgisi 2007

İçindekiler: “...Validation and Verification -- Requirements and Concepts for Transaction Level Assertion Refinement...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt