Search Results - parallel static program functionality adding https

Search alternatives:
program functionality » protein functionality , programs functional , supra functionality
functionality adding » functionality using , functionality amino , functionality setting
parallel static » parallel state , parallel spatial , parallel sat
static program » stamp program
adding https » aging https , auditing https , banking https

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

Published 2005

Table of Contents: “... -- Improving Parallelism of Nested Loops with Non-uniform Dependences -- A Static Data Dependence Analysis...”
View full text

Electronic eBook

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Published 2008

Table of Contents: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
View full text

Electronic eBook

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Published 2005

Table of Contents: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Published 2008

Table of Contents: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
View full text

Electronic eBook

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

Published 2005

Table of Contents: “... and Multicasting in Static Wireless Ad Hoc Networks -- An Algorithm for Nonconvex Lower Semicontinuous Optimization...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... -- Adding Fault-Tolerance Using Pre-synthesized Components -- Efficiency of Dynamic Arbitration in TDMA...”
View full text

Electronic eBook

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Published 2005

Table of Contents: “...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...”
View full text

Electronic eBook

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

Published 2007

Table of Contents: “... Graphic Reference Implementation for Embedded System -- Scheduling and Non Functional Properties -- A QoS...”
View full text

Electronic eBook

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Published 2015

Table of Contents: “... for Generating RWG Function -- Internal AC Fault of Converter Station Based on Modular Multilevel Converter High...”
View full text

Electronic eBook

Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 2 /

Published 2015

Table of Contents: “... -- 80. Static ATC Estimation Using Fully Complex Valued Radial Basis Function Neural Network -- 81. Big...”
View full text

Electronic eBook

Narrow Search