Zoekresultaten - programs monitoring program https array https*

1

VEE Pro: Practical Graphical Programming

door Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Gepubliceerd in 2005

Inhoudsopgave: “...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Volledige tekst

Elektronisch E-boek

2

Earthquake Monitoring and Seismic Hazard Mitigation in Balkan Countries

Gepubliceerd in 2008

Inhoudsopgave: “... and National Scales -- The CTBTO International Monitoring System and Global Seismicity -- The IRIS Consortium...”
Volledige tekst

Elektronisch E-boek

3

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

Gepubliceerd in 2014

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

Elektronisch E-boek

4

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... of Permutations in Arrays -- Regular Linear Temporal Logic with Past -- Model-Checking In-Lined Reference Monitors...”
Volledige tekst

Elektronisch E-boek

5

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”
Volledige tekst

Elektronisch E-boek

6

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

Gepubliceerd in 2006

Inhoudsopgave: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Volledige tekst

Elektronisch E-boek

7

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

Gepubliceerd in 2006

Inhoudsopgave: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
Volledige tekst

Elektronisch E-boek

8

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

Gepubliceerd in 2010

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

Elektronisch E-boek

9

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

Gepubliceerd in 2013

Inhoudsopgave: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
Volledige tekst

Elektronisch E-boek

10

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

Gepubliceerd in 2014

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

Elektronisch E-boek

11

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

Gepubliceerd in 2005

Inhoudsopgave: “... -- Systolic Routing in an Optical Butterfly -- Feasibility of the Circularly Connected Analog CNN Cell Array...”
Volledige tekst

Elektronisch E-boek

12

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “...Invited Talks -- Policy Monitoring in First-Order Temporal Logic -- Retrofitting Legacy Code...”
Volledige tekst

Elektronisch E-boek

13

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

Gepubliceerd in 2015

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

Elektronisch E-boek

14

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Gepubliceerd in 2010

Inhoudsopgave: “... Study -- Model-Checking Temporal Properties of Real-Time HTL Programs -- CONNECT: Status and Plans...”
Volledige tekst

Elektronisch E-boek

15

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Gepubliceerd in 2005

Inhoudsopgave: “... and Simulation Analysis -- Ontology-Based Grid Index Service for Advanced Resource Discovery and Monitoring...”
Volledige tekst

Elektronisch E-boek

16

LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... Abstract) -- Sparse Approximate Solutions to Semidefinite Programs -- On the Facets of Mixed Integer...”
Volledige tekst

Elektronisch E-boek

17

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

Gepubliceerd in 2005

Inhoudsopgave: “... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...”
Volledige tekst

Elektronisch E-boek

18

Sensor Applications, Experimentation, and Logistics First International Conference, SENSAPPEAL 2009, Athens, Greece, September 25, 2009, Revised Selected Papers /

Gepubliceerd in 2010

Inhoudsopgave: “... -- Deployment of a Wireless Ultrasonic Sensor Array for Psychological Monitoring -- WISEBED: An Open Large-Scale...”
Volledige tekst

Elektronisch E-boek

19

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... -- Steerable Distributed Large-Aperture Audio Array Using Low-Power Wireless Acoustic Sensor Nodes...”
Volledige tekst

Elektronisch E-boek

20

High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken