Rezultaty - service specification program program constrained https

Inne możliwości wyszukiwania:
service specification » service specifications , interface specification , service application
specification program » specifications program , verification program , purification program
program constrained » programs constraints , problem constrained , programming constrained
constrained https » constrained hpc , constrained graphs , constrained stress
program program » programs program , programming program

Distributed Programming Theory and Practice /

od Shankar, A. Udaya., Shankar, A. Udaya.
Wydane 2013

Spis treści: “... for Time-Constrained Programs -- Lock using Peterson's Algorithm -- Lock using the Bakery Algorithm...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Linear Programming Foundations and Extensions /

od Vanderbei, Robert J., Vanderbei, Robert J.
Wydane 2014

Spis treści: “... Self-Dual Method -- Integer Programming -- Quadratic Programming -- Convex Programming....”
Dokumenty pełnotekstowe

Elektroniczne E-book

Linear Programming Foundations and Extensions /

od Vanderbei, Robert J., Vanderbei, Robert J.
Wydane 2008

Spis treści: “... -- Extensions -- Integer Programming -- Quadratic Programming -- Convex Programming....”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Wydane 2013

Spis treści: “... and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Genetic Programming Theory and Practice V

Wydane 2008

Spis treści: “...Genetic Programming: Theory and Practice -- Better Solutions Faster: Soft Evolution of Robust...”
Dokumenty pełnotekstowe

Elektroniczne E-book

TEXPLORE: Temporal Difference Reinforcement Learning for Robots and Time-Constrained Domains

od Hester, Todd., Hester, Todd.
Wydane 2013

Spis treści: “...Introduction -- Background and Problem Specification -- Real Time Architecture -- The TEXPLORE...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Service-Oriented Computing 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012, Proceedings /

Wydane 2012

Spis treści: “...Research Papers -- Service Engineering 1 -- Specification and Detection of SOA Antipatterns...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Service-Oriented Computing - ICSOC 2007 Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings /

Wydane 2007

Spis treści: “... of Semantic Web Services Using Constraint Programming -- Architectural Decisions and Patterns...”
Dokumenty pełnotekstowe

Elektroniczne E-book

New Modeling Concepts for Today's Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings /

Wydane 2010

Spis treści: “... Adaptive IT Service Support Processes Using Meta-modeling Technologies -- Modeling a Resource-Constrained...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers /

Wydane 2006

Spis treści: “...: Early Deployment and Customization of Java Systems for Constrained Devices -- Typed Compilation Against...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Wydane 2005

Spis treści: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Wydane 2008

Spis treści: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /

Wydane 2010

Spis treści: “...The Metrô Rio ATP Case Study -- Practical Issues with Formal Specifications -- Formal Analysis...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del...

Wydane 2007

Spis treści: “... -- Specification and Verification of Institutions Through Status Functions -- NORMATIVE MODELS AND ISSUES...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Wydane 2008

Spis treści: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2...

Wydane 2010

Spis treści: “... with Adaptable OS Services -- Efficient Mutation-Analysis Coverage for Constrained Random Verification -- Code...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /

Wydane 2008

Spis treści: “... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Formal Methods and Hybrid Real-Time Systems Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays /

Wydane 2007

Spis treści: “...: The Industrial Uptake of Formal Methods -- Proving Theorems About JML Classes -- Specification for Testing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Engineering Societies in the Agents World VII 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers /

Wydane 2007

Spis treści: “... Systems -- Organization Oriented Programming: From Closed to Open Organizations -- Analysis, Design...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Critical Infrastructure Protection IV Fourth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2010, Washington, DC, USA, March 15-17, 2010...

Wydane 2010

Spis treści: “... and Vulnerabilities in Constrained Environments -- Assessing the Economic Loss and Social Impact of Information System...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty