Soggetti all'interno della tua ricerca.
Cerca anche:
functionality security » functionality securing, functional security, functionality usability
program functionality » protein functionality, programs functional, supra functionality
parallel using » parallel routing, parallel parking, parallel imaging
using program » testing program, using problem, using programming
https » http
1
Copertina
Pubblicazione 2010
Sommario: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
2
Copertina
Pubblicazione 2005
Sommario: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
3
Copertina
Pubblicazione 2010
Sommario: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
4
Copertina
Pubblicazione 2012
Sommario: “... and Value Faults --  An Approach Supporting Fault-Propagation Analysis for Smart Sensor Systems -- Use...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
5
Copertina
Pubblicazione 2005
Sommario: “... -- Specifying Authentication Using Signal Events in CSP -- Modeling RFID Security -- Systems Security...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
6
Copertina
Pubblicazione 2006
Sommario: “... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
7
Copertina
Pubblicazione 2006
Sommario: “... for Societal Security Decision Support Using Neural Networks -- A Novel Identity Authentication Technique...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
8
Copertina
Pubblicazione 2008
Sommario: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
9
Copertina
Pubblicazione 2006
Sommario: “...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
10
Copertina
Pubblicazione 2005
Sommario: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
11
Copertina
Pubblicazione 2010
Sommario: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
12
Copertina
Pubblicazione 2005
Sommario: “... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
13
Copertina
Pubblicazione 2014
Sommario: “... Small Local Memory -- Lower Bounds for Oblivious Subspace Embedding -- Secure Computation Using Leaky...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
14
Copertina
Pubblicazione 2014
Sommario: “... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
15
Copertina
Soggetti: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
16
Copertina
Pubblicazione 2006
Sommario: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
17
Copertina
Pubblicazione 2008
Sommario: “... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
18
Copertina
Pubblicazione 2014
Sommario: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
19
Copertina
Pubblicazione 2007
Sommario: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
20
Copertina
Pubblicazione 2008
Sommario: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
Strumenti per la ricerca: Feed RSS — Invia questa ricerca per email — Salva la ricerca