Risultati della ricerca - parallel function program function monitoring https*

Cerca anche:
function monitoring » reaction monitoring , election monitoring , condition monitoring
parallel function » parallel functional , parallel auction , parallel union
function program » functional program , functions programs , functional programs
program function » programme function , programs functional , program foundation
monitoring https » monitoring hosts , monitoring holter , monitoring human

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

Pubblicazione 2006

Sommario: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Testo

Elettronico eBook

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

Pubblicazione 2005

Sommario: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Testo

Elettronico eBook

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

Pubblicazione 2010

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

Elettronico eBook

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

Pubblicazione 2010

Sommario: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
Testo

Elettronico eBook

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

Pubblicazione 2010

Sommario: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Testo

Elettronico eBook

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

Pubblicazione 2008

Sommario: “... Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living -- Automatic...”
Testo

Elettronico eBook

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

Pubblicazione 2010

Sommario: “...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”
Testo

Elettronico eBook

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

Pubblicazione 2006

Sommario: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Testo

Elettronico eBook

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

Pubblicazione 2010

Sommario: “... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”
Testo

Elettronico eBook

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

Pubblicazione 2008

Sommario: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Testo

Elettronico eBook

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

Pubblicazione 2015

Sommario: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Testo

Elettronico eBook

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

Pubblicazione 2013

Sommario: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Testo

Elettronico eBook

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

Pubblicazione 2014

Sommario: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Testo

Elettronico eBook

Innovations in Computing Sciences and Software Engineering

Pubblicazione 2010

Sommario: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Testo

Elettronico eBook

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

Pubblicazione 2008

Sommario: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Testo

Elettronico eBook

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

Pubblicazione 2005

Sommario: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Testo

Elettronico eBook

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

Pubblicazione 2005

Sommario: “... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”
Testo

Elettronico eBook

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

Pubblicazione 2010

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

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

Pubblicazione 2005

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

Elettronico eBook

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

Pubblicazione 2012

Sommario: “... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”
Testo

Elettronico eBook

Restringi la ricerca