Výsledky vyhledávání - parallel monitoring programs functionals function https

Alternativní vyhledávání:
programs functionals » programs functional , programming functionals , program functionality
functionals function » function function , functions functional , function dysfunction
parallel monitoring » parameter monitoring , parental monitoring , partial monitoring
monitoring programs » monitoring program , monitoring progress
function https » functions https , fiction https

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

Vydáno 2006

Obsah: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2005

Obsah: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Získat plný text

Elektronický zdroj E-kniha

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Vydáno 2010

Obsah: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
Získat plný text

Elektronický zdroj E-kniha

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

Vydáno 2010

Obsah: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Získat plný text

Elektronický zdroj E-kniha

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Vydáno 2008

Obsah: “... Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living -- Automatic...”
Získat plný text

Elektronický zdroj E-kniha

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Vydáno 2010

Obsah: “...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”
Získat plný text

Elektronický zdroj E-kniha

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Vydáno 2006

Obsah: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2008

Obsah: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Získat plný text

Elektronický zdroj E-kniha

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers /

Vydáno 2010

Obsah: “... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”
Získat plný text

Elektronický zdroj E-kniha

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Vydáno 2015

Obsah: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Získat plný text

Elektronický zdroj E-kniha

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Vydáno 2013

Obsah: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Získat plný text

Elektronický zdroj E-kniha

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Vydáno 2014

Obsah: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Získat plný text

Elektronický zdroj E-kniha

Innovations in Computing Sciences and Software Engineering

Vydáno 2010

Obsah: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2008

Obsah: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2005

Obsah: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2005

Obsah: “... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2005

Obsah: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2012

Obsah: “... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání