MPG.eBooks - Search Results

1

Workload Characterization for Computer System Design

Published 2000

Springer US

Table of Contents: “...1. UltraSparc Instruction Level Characterization of Java Virtual Machine Workload -- 2. Analyzing...”

Read Now

2

Verification, Model Checking, and Abstract Interpretation : Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... Security Properties of Java Bytecode -- Proofs Methods for Bisimulation Based Information Flow Security...”

Read Now

3

Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Table of Contents: “... Challenge -- A Structured Set of Higher-Order Problems -- Formal Modeling of a Slicing Algorithm for Java...”

Read Now

4

Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Table of Contents: “... Abstraction Refinement -- JNuke: Efficient Dynamic Analysis for Java -- The HiVy Tool Set -- ObsSlice: A Timed...”

Read Now

5

Object-Oriented Technology. ECOOP 2008 Workshop Reader : ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports

Published 2009

Springer Berlin Heidelberg

Table of Contents: “... Evolution via AOP and Reflection -- Formal Techniques for Java-Like Programs -- Quantitative Approaches...”

Read Now

6

Analysis for Computer Scientists : Foundations, Methods, and Algorithms

by Oberguggenberger, Michael, Ostermann, Alexander
Published 2018

Springer International Publishing

“... of numerical analysis, enriched by computer experiments using MATLAB, Python, Maple, and Java applets...”

Read Now

7

System-Level Synthesis

Published 1999

Springer Netherlands

Table of Contents: “... Level Design of Embedded Systems -- 11. The JavaTime Approach to Mixed Hardware-Software System Design...”

Read Now

8

Trusted Systems : First International Conference, INTRUST 2009, Beijing, China, December 17-19, 2009. Proceedings

Published 2010

Springer Berlin Heidelberg

Table of Contents: “... Protection -- Anonymous Credentials for Java Enabled Platforms: A Performance Evaluation -- Trusted Network...”

Read Now

9

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Published 2015

Springer International Publishing

Table of Contents: “... Constraints -- Automata-Based Model Counting for String Constraints -- OpenJDK’s Java...”

Read Now

10

Techniques for Searching, Parsing, and Matching

by Pettorossi, Alberto
Published 2021

Springer International Publishing

“... are presented in Java and Prolog...”

Read Now

11

Graph Transformation : 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings

Published 2020

Springer International Publishing

Table of Contents: “...-to-Use Library for the Rapid Development of Graph Tools in Java -- Multiscale graph grammars can generate...”

Read Now

12

Recent Trends in Algebraic Development Techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers

Published 1998

Springer Berlin Heidelberg

Table of Contents: “... compiler optimization for multi-threaded Java -- Categories of relational structures...”

Read Now

13

Service Availability : Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Papers

Published 2006

Springer Berlin Heidelberg

Table of Contents: “... -- Searching for Synergy: Java and SAF AIS -- The Emerging SAF Software Management Framework -- The Service...”

Read Now

14

Modular Programming Languages : 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Table of Contents: “...-Safe Linking of Components for Java-Like Languages -- Towards a Formal Semantics for AspectJ Weaving...”

Read Now

15

Advanced Information Systems Engineering : 10th International Conference, CAiSE'98, Pisa, Italy, June 8-12, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

Table of Contents: “... for multi-class workloads in data warehouses -- Architecture and quality in data warehouses -- OMS/Java...”

Read Now

16

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

Published 2023

Springer Nature Switzerland

Table of Contents: “... Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms...”

Read Now

17

Enjoying Natural Computing : Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday

Published 2018

Springer International Publishing

Table of Contents: “... -- The Java Environment for Nature-Inspired Approaches (JENA): A Workbench for Bio-Computing and Bio-Modeling...”

Read Now

18

SDL 2003: System Design : 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Table of Contents: “... SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems -- Modeling...”

Read Now

19

Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Table of Contents: “... Language Implementation -- A Certified Data Race Analysis for a Java-like Language -- Formal Analysis...”

Read Now

20

Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Table of Contents: “... Reachability under a Normality Assumption -- Linking CSP-OZ with UML and Java: A Case Study -- Object-Oriented...”

Narrow Search