Rezultati - program state programs https array https

1

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

Izdano 2008

Kazalo: “... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”
Polni tekst

Elektronski eKnjiga

2

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Izdano 2010

Kazalo: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
Polni tekst

Elektronski eKnjiga

3

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Izdano 2014

Kazalo: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
Polni tekst

Elektronski eKnjiga

4

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Izdano 2008

Kazalo: “... for Intuitionistic Propositional Logic -- Invited Talk -- Model Checking – My 27-Year Quest to Overcome the State...”
Polni tekst

Elektronski eKnjiga

5

Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities /

od Simon, Axel., Simon, Axel.
Izdano 2008

Kazalo: “... for C -- Core C -- Related Work -- Part 1 Abstracting Soundly -- Abstract State Space -- Points...”
Polni tekst

Elektronski eKnjiga

6

US Programs Affecting Food and Agricultural Marketing

Izdano 2013

Kazalo: “... Programs—John M. Crespi, Professor and Director of Graduate Studies, Kansas State University: and Richard D...”
Polni tekst

Elektronski eKnjiga

7

Population Change in the United States Socioeconomic Challenges and Opportunities in the Twenty-First Century /

od Murdock, Steve H., Murdock, Steve H., Cline, Michael E., Zey, Mary., Perez, Deborah., Jeanty, P. Wilner.
Izdano 2015

Kazalo: “... for Health, Health Care, and Public Assistance Programs in the United States -- Chapter 7: The Effects...”
Polni tekst

Elektronski eKnjiga

8

Trapping and the Detection, Control, and Regulation of Tephritid Fruit Flies Lures, Area-Wide Programs, and Trade Implications /

Izdano 2014

Kazalo: “... Aspects and Management -- 3.3 Fruit Fly Detection Programs: The Potentials and Limitations of Trap Array...”
Polni tekst

Elektronski eKnjiga

9

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

Izdano 2006

Kazalo: “... State Machines -- What’s Decidable About Arrays?....”
Polni tekst

Elektronski eKnjiga

10

Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings /

Izdano 2006

Kazalo: “... Rational Numbers -- Iso-array Acceptors and Learning -- Poster Papers -- A Merging States Algorithm...”
Polni tekst

Elektronski eKnjiga

11

Algorithms and Data Structures The Basic Toolbox /

od Mehlhorn, Kurt., Mehlhorn, Kurt., Sanders, Peter.
Izdano 2008

Kazalo: “...Appetizer: Integer Arithmetics -- Representing Sequences by Arrays and Linked Lists -- Hash Tables...”
Polni tekst

Elektronski eKnjiga

12

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Izdano 2010

Kazalo: “... State Machines -- MEMS Dynamic Optically Reconfigurable Gate Array Usable under a Space Radiation...”
Polni tekst

Elektronski eKnjiga

13

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of S...

Izdano 2008

Kazalo: “... Multiplayer Games -- Stochastic Games with Lossy Channels -- Simulation Hemi-metrics between Infinite-State...”
Polni tekst

Elektronski eKnjiga

14

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /

Izdano 2005

Kazalo: “... of State for Adjacent Agents -- Optimal Behavior of a Moving Creature in the Cellular Automata Model...”
Polni tekst

Elektronski eKnjiga

15

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

Izdano 2015

Kazalo: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
Polni tekst

Elektronski eKnjiga

16

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

Izdano 2010

Kazalo: “... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...”
Polni tekst

Elektronski eKnjiga

17

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

Izdano 2014

Kazalo: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
Polni tekst

Elektronski eKnjiga

18

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings /

Izdano 2008

Kazalo: “... Systems Using Genetic Programming -- Self-Adaptive Networked Entities for Building Pervasive Computing...”
Polni tekst

Elektronski eKnjiga

19

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Izdano 2007

Kazalo: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Polni tekst

Elektronski eKnjiga

20

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /

Izdano 2015

Kazalo: “... Duplicate-Free State-Space Model for Optimal Task Scheduling -- On the Heterogeneity Bias of Cost Matrices...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje