Suchergebnisse - parallel processor program verification function https

Andere Suchmöglichkeiten:
verification function » verification functional , verification foundations , verification condition
program verification » formal verification
parallel processor » parallel processors , parallel processes , parallel process
processor program » process program , processing program , processing programs
function https » functions https , fiction https

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Volltext

Elektronisch E-Book

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working...

Veröffentlicht 2005

Inhaltsangabe: “...? -- Verification Challenges in Configurable Processor Design with ASIP Meister -- Tutorial -- Towards the Pervasive...”
Volltext

Elektronisch E-Book

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...”
Volltext

Elektronisch E-Book

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Volltext

Elektronisch E-Book

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...

Veröffentlicht 2005

Inhaltsangabe: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2007

Inhaltsangabe: “... on the TTA -- Asynchronous Functional Coupling for Low Power Sensor Network Processors -- A Heuristic...”
Volltext

Elektronisch E-Book

Intelligent Data Engineering and Automated Learning -- IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”
Volltext

Elektronisch E-Book

Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”
Volltext

Elektronisch E-Book

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings /

Veröffentlicht 2012

Inhaltsangabe: “...-core Processors -- Assessing Software Interference Management When Modifying Safety-Related Software...”
Volltext

Elektronisch E-Book

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...”
Volltext

Elektronisch E-Book

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Veröffentlicht 2013

Inhaltsangabe: “... Environment -- The Analysis of the Efficiency of Parallelization of Existing Serial Code on the Basis...”
Volltext

Elektronisch E-Book

Advances in Information Processing and Protection

Veröffentlicht 2007

Inhaltsangabe: “... -- Multiple Error Detection in Substitution Blocks for Block Ciphers -- Parallelization Method of Encryption...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2007

Inhaltsangabe: “...-Processor Systems with Static Priorities -- Approach for a Formal Verification of a Bit-serial Pipelined...”
Volltext

Elektronisch E-Book

Suche einschränken