Search Results - parallel progress program function monitored https

Search alternatives:
function monitored » function monitoring , functions monitoring , function centered
parallel progress » parallel programs , parallel process , parallel progressive
progress program » programs program , process program , progression program
program function » programme function , programs functional , program foundation
https » http

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
View full text

Electronic eBook

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Published 2005

Table of Contents: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
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: “... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”
View full text

Electronic eBook

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Published 2008

Table of Contents: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... -- Parallel Progressive Multiple Sequence Alignment -- Concepts and Systems Tools for Modelling Signal...”
View full text

Electronic eBook

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers /

Published 2013

Table of Contents: “... in the Context of Partial Classification in Large and Imbalanced Datasets -- Sharing Information in Parallel...”
View full text

Electronic eBook

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Published 2015

Table of Contents: “... Parallel UHV Transmission Line -- Online Monitoring System of the Grounding Status of Transmission Line...”
View full text

Electronic eBook

Intelligence and Security Informatics International Workshop, WISI 2006, Singapore, April 9, 2006, Proceedings /

Published 2006

Table of Contents: “... Community Core Members Based on Gene Expression Programming -- Posters -- Integration of a Cryptographic...”
View full text

Electronic eBook

Advances in Neural Networks – ISNN 2014 11th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28 -- December 1, 2014. Proceedings /

Published 2014

Table of Contents: “... of Decision Strategies -- Memristive Radial Basis Function Neural Network for Parameters Adjustment of PID...”
View full text

Electronic eBook

Narrow Search