Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Access control models and architectures for IoT and cyber physical systems / / Maanak Gupta [and three others]
| Access control models and architectures for IoT and cyber physical systems / / Maanak Gupta [and three others] |
| Autore | Gupta Maanak <1989-> |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (182 pages) |
| Disciplina | 004.678 |
| Soggetto topico |
Cooperating objects (Computer systems)
Internet of things Computer architecture Internet de les coses Arquitectura d'ordinadors |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-81089-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910544849803321 |
Gupta Maanak <1989->
|
||
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Access control models and architectures for IoT and cyber physical systems / / Maanak Gupta [and three others]
| Access control models and architectures for IoT and cyber physical systems / / Maanak Gupta [and three others] |
| Autore | Gupta Maanak <1989-> |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (182 pages) |
| Disciplina | 004.678 |
| Soggetto topico |
Cooperating objects (Computer systems)
Internet of things Computer architecture Internet de les coses Arquitectura d'ordinadors |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-81089-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464544703316 |
|
Gupta Maanak <1989->
|
||
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algorithms and Architectures for Parallel Processing : 21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part II / / edited by Yongxuan Lai, Tian Wang, Min Jiang, Guangquan Xu, Wei Liang, Aniello Castiglione
| Algorithms and Architectures for Parallel Processing : 21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part II / / edited by Yongxuan Lai, Tian Wang, Min Jiang, Guangquan Xu, Wei Liang, Aniello Castiglione |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (757 pages) |
| Disciplina | 004.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Design and Analysis of Algorithms Processament en paral·lel (Ordinadors) Arquitectura d'ordinadors |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 3-030-95388-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Software Systems and Efficient Algorithms -- The Design and Realization of the Intelligent Drying Rack System Based on STM32 -- Efficient Estimation of Time-Dependent Shortest Paths based on Shortcuts -- Multi-level PWB and PWC for Reducing TLB Miss Overheads on GPUs -- Hybrid GA-SVR: An Effective Way to Predict Short-term Traffic Flow -- Parallel and Distributed Algorithms and Applications -- MobiTrack: Mobile Crowdsensing-based Object Tracking with Min-Region and Max-Utility -- Faulty Processors Identification for Multiprocessor System under the PMC Model Using a Novel Binary Grey Wolf Optimizer -- Fast On-road Object Detector on ROS-based Mobile Robot -- A Lightweight Asynchronous I/O System for Non-Volatile Memory -- The Case for Disjoint Job Mapping on High-Radix Networked Parallel Computers -- FastCache: A Client-Side Cache With Variable-Position Merging Schema in Network Storage System -- An Efficient Parallelization Model for Sparse Non-negative Matrix Factorization Using cuSPARSE Library on Multi-GPU Platform -- HaDPA: A Data-Partition Algorithm for Data Parallel Applications on Heterogeneous HPC Platforms -- A NUMA-aware Parallel Truss Decomposition Algorithm for Large Scale Graphs -- A Large-scale Parallel Alignment Algorithm for SMRT Reads -- Square Fractional Repetition Codes for Distributed Storage Systems -- An Anti-forensic Method Based on RS Coding and Distributed Storage -- Data Science -- Predicting Consumers’ Coupon-usage in E-commerce with Capsule Network -- A high-availability K-modes clustering method based on differential privacy -- A Strategy-based Optimization Algorithm to Design Codes for DNA Data Storage System -- Multi-Relational Hierarchical Attention for Top-k Recommendation -- Edge Computing and Edge Intelligence -- EdgeSP: Scalable Multi-Device Parallel DNN Inference on Heterogeneous Edge Clusters -- An Efficient Computation Offloading Strategy in Wireless Powered Mobile-Edge Computing Networks -- WiRD: Real-Time and Cross Domain Detection System on Edge device -- Deep Learning with Enhanced Convergence and its Application in MEC Task Offloading -- Dynamic Offloading and Frequency Allocation for Internet of Vehicles with Energy Harvesting -- SPACE : Sparsity Propagation based DCNN Training Accelerator on Edge -- Worker Recruitment Based on Edge-cloud Collaboration in Mobile Crowdsensing System -- Energy Efficient Deployment and Task Offloading for UAV-Assisted Mobile Edge Computing -- Blockchain Systems -- Research on Authentication and Key Agreement Protocol of Smart Medical Systems Based on Blockchain Technology -- CRchain: An Efficient Certificate Revocation Scheme Based on Blockchain -- Anonymous Authentication Scheme Based on Trust and Blockchain in VANETs -- BIPP: Blockchain-based Identity Privacy Protection Scheme in Internet of Vehicles for Remote Anonymous Communication -- Deep Learning Models and Applications -- Self-Adapted Frame Selection Module: Refine the Input Strategy for Video Saliency Detection -- Evolving Deep Parallel Neural Networks for Multi-Task Learning -- An Embedding Carrier-Free Steganography Method Based on Wasserstein GAN -- Design of Face Detection Algorithm Accelerator Based on Vitis -- FSAFA-stacking2: An Effective Ensemble Learning Model for Intrusion Detection with Firefly Algorithm Based Feature Selection -- Attention-based Cross-Domain Gesture Recognition using WiFi Channel State Information -- Font Transfer based on Parallel Auto-encoder for Glyph Perturbation via Strokes Moving -- A Novel GNN Model for Fraud Detection in Online Trading Activities -- IoT -- Non-Interactive Zero Knowledge Poof based Access Control in Information-Centric Internet of Things -- Simultaneous Charger Placement and Power Scheduling for On-Demand Provisioning of RF Wireless Charging Service -- A Cross-domain Authentication Scheme Based on Zero-knowledge Proof for Internet of Things -- NBUFlow: A Dataflow based Universal Task Orchestration and Offloading Platform for Low-cost Development of IoT Systems with Cloud-Edge-Device Collaborative -- IoT-GAN: Anomaly Detection for Time Series in IoT Based on Generative Adversarial Networks -- Freshness and Power Balancing Scheduling for Cooperative Vehicle-infrastructure System -- A Low Energy Consumption and Low Delay MAC Protocol Based on Receiver Initiation and Capture Effect in 5G IoT -- Building Portable ECG Classification Model with Cross-Dimension Knowledge Distillation. . |
| Record Nr. | UNINA-9910548175803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algorithms and Architectures for Parallel Processing : 21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part I / / edited by Yongxuan Lai, Tian Wang, Min Jiang, Guangquan Xu, Wei Liang, Aniello Castiglione
| Algorithms and Architectures for Parallel Processing : 21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part I / / edited by Yongxuan Lai, Tian Wang, Min Jiang, Guangquan Xu, Wei Liang, Aniello Castiglione |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (835 pages) |
| Disciplina | 004.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Machine learning Computer networks Computer vision Computer engineering Design and Analysis of Algorithms Machine Learning Computer Communication Networks Computer Vision Computer Engineering and Networks Processament en paral·lel (Ordinadors) Arquitectura d'ordinadors |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 3-030-95384-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Deep Learning Models and Applications -- CRFST-GCN :A Deeplearning Spital-Temporal Frame to Predict Traffic Flow -- BFR-RetinaNet: An Improved RetinaNet Model for Vehicle Detection in Aerial Images -- Learning Knowledge Graph Embeddings by Multi-Attention Mechanism for Link Prediction -- GlowImp: Combining GLOW and GAN for Multivariate Time Series Imputation -- Accurate Indoor Localization Using Magnetic Sequence Fingerprints with Deep Learning -- Wasserstein Graph Auto-Encoder -- Fine-grained Activity Recognition Based on Features of Action Subsegments and Incremental Broad Learning -- ADFA-LSTM: An Abnormal Trajectory Prediction Method Based On Bionic Neural Network -- Online Multiple Object Tracking Algorithm based on Heat Map Propagation -- Software Systems and Efficient Algorithms -- Spatio-temporal Topology Routing Algorithm for Opportunistic Network Based on Self-Attention Mechanism -- TSAEns: Ensemble Learning for KPI Anomaly Detection -- Towards Transferable Adversarial Examples using Meta Learning -- Temporal Convolution Network Based on Attention for Intelligent Anomaly Detection of Wind Turbine Blades -- Error Serial Episodes Discovery from Mobile Payment Log in Distributed ETC -- Parallel Cache Prefetching for LSM-Tree based Store: From Algorithm to Evaluation -- A Hybrid TLBO-TS Algorithm based Mobile Service Selection for Composite Services -- UPM-DMA: An Efficient Userspace DMA-Pinned Memory Management Strategy for NVMe SSD -- AHOA: Adaptively Hybrid Optimization Algorithm for Flexible Job-shop Scheduling Problem -- Trace-Navi: A High-Accuracy Indoor Navigation System based on Real-Time Activity Recognition and Discrete Trajectory Calibration -- Iterative Filling Incomplete Fingerprint Map Based on Multi-directional Signal Propagation in Large-scale Scene -- Dynamic Adjustment Policy of Search Driver Matching Distance via Markov Decision Process -- A Multi-Precision Quantized Super-Resolution Model Framework -- An Optimized GPU Implementation of Weakly-compressible SPH using CUDA-based strategies -- A Heterogeneous Multi-Core Network-on-Chip Mapping Optimization Algorithm -- A Novel 3D Intelligent Cluster Method for Malicious Traffic Fine-grained Classification -- Predicting Students’ Academic Performance Based on Improved PSO-Xgboost: A Campus Behavior Perspective -- Motion-sequence Authentication System: guard for smart phones -- Edge Computing and Edge Intelligence -- Joint Optimization Scheme of Multi-service Replication and Request Offloading in Mobile Edge Computing -- Flying MEC: Online Task Offloading, Trajectory Planning and Charging Scheduling for UAV-assisted MEC -- Multiple Workflows Offloading Based on Deep Reinforcement Learning in Mobile Edge Computing -- An Optimized Greedy-based Task Offloading Method for Mobile Edge Computing -- Location Aware Workflow Migration Based on Deep Reinforcement Learning in Mobile Edge Computing -- Recode-Decode-and-Compare: An Efficient Verification Scheme for Coded Edge Computing against Collusion Attack -- MGFL: Multi-granularity Federated Learning in Edge Computing Systems -- Energy Efficient Priority-Based Task Scheduling for Computation Offloading in Fog Computing -- Space-Heuristic Navigation and Occupancy Map Prediction for Robot Autonomous Exploration -- Service Dependability and Security Algorithms -- Edge DDoS attack detection method based on software defined networks -- GradMFL: Gradient Memory-based Federated Learning for Hierarchical Knowledge Transferring over Non-IID Data -- Linear Coded Federated Learning -- Verifiable Dynamic Searchable Symmetric Encryption with Forward Privacy in Cloud-assisted E-Healthcare Systems -- Security Analysis of Poisoning Attacks Against Multi-agent Reinforcement Learning -- A blockchain-based proxy oriented cloud storage public audit scheme for low-performance terminal devices -- Sunspot: A Decentralized Framework Enabling Privacy for Authorizable Data Sharing on Transparent Public Blockchains -- A Novel Protection method of continuous location sharing based on local differential privacy and conditional random field -- An Intelligent Allocation Mechanism Based on Ethereum Blockchain in Microgrid -- Data Science -- Multi-Layer Adaptive Sampling for Per-Flow Spread Measurement -- Transformer-based Rating-Aware Sequential Recommendation -- An effective single-pass approach for estimating the Φ-quantile in data streams -- Fed-Tra: Improving Accuracy of Deep Learning Model on Non-IID Data in Federated Learning. . |
| Record Nr. | UNINA-9910548186103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algorithms and Architectures for Parallel Processing : 21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part III / / edited by Yongxuan Lai, Tian Wang, Min Jiang, Guangquan Xu, Wei Liang, Aniello Castiglione
| Algorithms and Architectures for Parallel Processing : 21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part III / / edited by Yongxuan Lai, Tian Wang, Min Jiang, Guangquan Xu, Wei Liang, Aniello Castiglione |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (810 pages) |
| Disciplina | 004.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Computer engineering Computer networks Coding theory Information theory Data protection Database management Data mining Design and Analysis of Algorithms Computer Engineering and Networks Coding and Information Theory Data and Information Security Database Management Data Mining and Knowledge Discovery Processament en paral·lel (Ordinadors) Arquitectura d'ordinadors |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 3-030-95391-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Blockchain Systems -- StateSnap: A State-Memorized P2P Storage Network for Blockchain NFT Content Data -- Towards Requester-Provider Bilateral Utility Maximization and Collision Resistance in Blockchain-based Microgrid Energy Trading -- Evaluating the Parallel Execution Schemes of Smart Contract Transactions in Different Blockchains: An Empirical Study -- Misbehavior Detection in VANET Based on Federated Learning and Blockchain -- Data Science -- ABE-AC4DDS: An Access Control Scheme based on Attribute-Based Encryption for Data Distribution Service -- An Interactive Visual System for Data Analytics of Social Media -- Auto-Recon: an Automated Network Reconnaissance System Based on Knowledge Graph -- INGCF: An Improved Recommendation Algorithm Based on NGCF -- Distributed and Network-based Computing -- AutoFlow: Hotspot-Aware, Dynamic Load Balancing for Distributed Stream Processing -- BMTP: Combining Backward Matching with Tree-based Pruning for Large-scale Content-based Pub/Sub Systems -- AF-TCP: Traffic Congestion Prediction at Arbitrary Road Segment and Flexible Future Time -- Collaborative QoS Prediction via Context-Aware Factorization Machine -- TDCT: Target-Driven Concolic Testing Using Extended Units by Calculating Function Relevance -- Multi-Task Allocation Based on Edge Interaction Assistance in Mobile Crowdsensing -- A Variable-way Address Translation Cache for the Exascale Supercomputer -- PPCTS: Performance Prediction-based Co-located Task Scheduling in Clouds -- Edge Computing and Edge Intelligence -- Risk-Aware Optimization of Distribution-based Resilient Task Assignment in Edge Computing -- Budget-aware Scheduling for Hyperparameter Optimization Process in Cloud Environment -- Workload Prediction and VM Clustering Based Server Energy Optimization in Enterprise Cloud Data Center -- Soft Actor-Critic-Based DAG Tasks Offloading in Multi-Access Edge Computing with Inter-User Cooperation -- Service Dependability and Security Algorithms -- Sensor Data Normalization among Heterogeneous Smartphones for Implicit Authentication -- Privacy-Preserving and Reliable Federated Learning -- Security Authentication of Smart Grid Based on RFF -- SEPoW: Secure and Efficient Proof of Work Sidechains -- A Spectral Clustering Algorithm Based on Differential Privacy Preservation -- A Compact Secret Image Sharing Scheme Based on Flexible Secret Matrix Sharing Scheme -- Robust Multi-Model Personalized Federated Learning via Model Distillation -- V-EPTD: A Verifiable and Efficient Scheme for Privacy-preserving Truth Discovery -- FedSP: Federated Speaker Verification with Personal Privacy Preservation -- Security Performance Analysis for Cellular Mobile Communication System with Randomly-Located Eavesdroppers -- Short and Distort: A New Manipulation as Opposed to Pump and Dump in the Cryptocurrency Market -- Privacy-preserving Swarm learning Based on Homomorphic Encryption -- Software Systems and Efficient Algorithms -- A modeling and verification method of Modbus TCP / IP protocol -- Completely Independent Spanning Trees in the Line Graphs of Torus Networks -- Adjusting OBSS/PD based on fuzzy logic to improve throughput of IEEE 802.11ax network -- Two-Stage Evolutionary Algorithm Using Clustering for Multimodal Multi-Objective Optimization with Imbalance Convergence and Diversity -- SLA: A Cache Algorithm for SSD-SMR Storage System with Minimum RMWs -- Trajectory Similarity Search with Multi-level Semantics -- Nonnegative Matrix Factorization Framework For disease-related CircRNA prediction -- A Fast Authentication and Key Agreement Protocol Based on Time-sensitive Token for Mobile Edge Computing -- Ferproof: A Constant Cost Range Proof Suitable for Floating-Point Numbers -- NEPG: Partitioning Large-Scale Power-Law Graphs -- Accelerating DCNNs via Cooperative Weight/Activation Compression -- PFA: performance and fairness-aware LLC partitioning method -- SGP: A Parallel Computing Framework for Supporting Distributed Structural Graph Clustering -- LIDUSA -- A Learned Index Structure for Dynamical Uneven Spatial Data -- Why is Your Trojan NOT Responding? A Quantitative Analysis of Failures in Backdoor Attacks of Neural Networks -- OptCL: A Middleware to Optimise Performance for High Performance Domain-Specific Languages on Heterogeneous Platforms. |
| Record Nr. | UNINA-9910548182603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Application and Theory of Petri Nets and Concurrency : 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings / / edited by Didier Buchs, Josep Carmona
| Application and Theory of Petri Nets and Concurrency : 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings / / edited by Didier Buchs, Josep Carmona |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (487 pages) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Data structures (Computer science) Information theory Computer science—Mathematics Discrete mathematics Software engineering Computer Science Logic and Foundations of Programming Design and Analysis of Algorithms Data Structures and Information Theory Discrete Mathematics in Computer Science Software Engineering Xarxes de Petri Arquitectura d'ordinadors |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 3-030-76983-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynotes -- Topics in Region Theory and Synthesis Problems -- Flat Petri Nets -- Application of Concurrency to System Design -- Cost and Quality in Crowdsourcing Workflows -- Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design -- A Turn-Based Approach for Qualitative Time Concurrent Games -- Games -- Canonical Representations for Direct Generation of Strategies in High-level Petri Games -- Automatic Synthesis of Transiently Correct Network Updates via Petri Games -- Verification -- Computing Parameterized Invariants of Parameterized Petri Nets -- On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets -- Skeleton Abstraction for Universal Temporal Properties -- Reduction Using Induced Subnets To Systematically Prove Properties For Free-Choice Nets -- Model Checking of Synchronized Domain-Specific Multi-Formalism Models Using High-Level Petri Nets -- Synthesis and Mining -- Edge and event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable -- Synthesis of (Choice-Free) Reset Nets -- Synthesis of Petri Nets with restricted place-environments: classical and parameterized -- Discovering Stochastic Process Models By Reduction and Abstraction -- Reachability and Partial Order -- Efficient Algorithms for Three Reachability Problems in Safe Petri Nets -- A Lazy Query Scheme for Reachability Analysis in Petri nets -- Abstraction-based Incremental Inductive Coverability for Petri nets -- Firing Partial Orders in a Petri Net -- Semantics -- Deterministic concurrent systems -- Deciphering the Co-car Anomaly of Circular Traffic Queues using Petri Nets -- Tools -- Cortado — An Interactive Tool for Data-Driven Process Discovery and Modeling -- PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data. |
| Record Nr. | UNINA-9910485588703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applied Reconfigurable Computing. Architectures, Tools, and Applications : 17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings / / edited by Steven Derrien, Frank Hannig, Pedro C. Diniz, Daniel Chillet
| Applied Reconfigurable Computing. Architectures, Tools, and Applications : 17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings / / edited by Steven Derrien, Frank Hannig, Pedro C. Diniz, Daniel Chillet |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (344 pages) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computers
Computer networks Computers, Special purpose Computer systems Compilers (Computer programs) Image processing - Digital techniques Computer vision Computer Hardware Computer Communication Networks Special Purpose and Application-Based Systems Computer System Implementation Compilers and Interpreters Computer Imaging, Vision, Pattern Recognition and Graphics Arquitectura d'ordinadors |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 3-030-79025-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Applications -- Design Tools -- Architecture -- Security -- Posters. |
| Record Nr. | UNINA-9910488692203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Architecture of Computing Systems : 34th International Conference, ARCS 2021, Virtual Event, June 7–8, 2021, Proceedings / / edited by Christian Hochberger, Lars Bauer, Thilo Pionteck
| Architecture of Computing Systems : 34th International Conference, ARCS 2021, Virtual Event, June 7–8, 2021, Proceedings / / edited by Christian Hochberger, Lars Bauer, Thilo Pionteck |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (239 pages) |
| Disciplina | 004.22 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Computer systems Computer input-output equipment Software engineering Computer Communication Networks Computer System Implementation Input/Output and Data Communications Software Engineering Arquitectura d'ordinadors Sistemes informàtics |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 3-030-81682-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Memory Organization -- Locality: The 3rd Wall and The Need for Innovation in Parallel Architectures -- Static extraction of memory access profiles for multi-core interference analysis of real-time tasks -- Transparent Resilience for Approximate DRAM -- Heterogeneous Computing -- Automatic Mapping of Parallel Pattern-based Algorithms on Heterogeneous Architectures -- Assessing and Improving the Suitability of Model-Based Design for GPU-Accelerated Railway Control Systems -- DRT: A Lightweight Runtime for Developing Benchmarks for a Dataflow Execution Model -- Instruction Set Transformations -- Performance Gain of a Data Flow Oriented ISA as Replacement for Java Bytecode -- Towards Transparent Dynamic Binary Translation from RISC-V to a CGRA -- Organic Computing -- An Organic Computing System for Automated Testing -- Evaluating a Priority-Based Task Distribution Strategy for an Artificial Hormone System -- Low Power Design -- Streamlining the OpenMP Programming Model on Ultra-Low-Power Multi-Core MCUs -- Energy Efficient Power-Management for Out-of-Order Processors using Cyclic Power-Gating -- VEFRE Workshop -- BCH 2-Bit and 3-Bit Error Correction with Fast Multi-Bit Error Detection -- Evaluating Soft Error Mitigation Trade-offs During Early Design Stages. |
| Record Nr. | UNINA-9910492144003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Business Modeling and Software Design : 12th International Symposium, BMSD 2022, Fribourg, Switzerland, June 27–29, 2022, Proceedings / / edited by Boris Shishkov
| Business Modeling and Software Design : 12th International Symposium, BMSD 2022, Fribourg, Switzerland, June 27–29, 2022, Proceedings / / edited by Boris Shishkov |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (323 pages) |
| Disciplina | 658.4038011 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Information technology - Management
Application software Business information services Software engineering Computer Application in Administrative Data Processing Computer and Information Systems Applications IT in Business Software Engineering Negocis Processament de dades Sistemes d'informació Arquitectura d'ordinadors |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
9783031115103
9783031115097 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Full Papers.-- Rapid Prototyping of Business Rule-based Systems with Controlled Natural Language and Semantic Web Software -- - Agile Innovation Through Business Process Management: Realizing the Potential of Digital Transformation.-- Requirements for Dynamic Jumps at the Execution of Business Processes -- Results from the Verification of Models of Spectrum Auctions -- Context-Aware, Intelligent Musical Instruments for Improving Knowledge-Intensive Business Processes -- Detecting Data Incompatibilities in Process-Driven Decision Support Systems -- Semantic Relations of Sub-Models in an Enterprise Model -- VR-EA+TCK: Visualizing Enterprise Architecture, Content, and Knowledge in Virtual Reality -- A Case of Social Dynamics & Social Relativism -- Advantages of a Formal Specification of a Case: From Informal Description via Formal Specification to Realization -- An Architecture for Attesting to the Provenance of Ontologies Using Blockchain Technologies -- Trends for the DevOps Security. A Systematic Literature Review -- Short Papers -- Errors in the Process of Modeling Business Processes -- Use Cases for Augmented Reality Applications in Enterprise Modeling: A Morphological Analysis -- On the Context-Aware Servicing of User Needs: Extracting and Managing Context Information Supported by Rules and Predictions -- Towards Identification and Modelling of Privacy Requirements with Systems Thinking a Reference Architecture for User-Oriented Open Government Data Portals -- KnowGo : An Adaptive Learning-based Multi-Model Framework for Dynamic Automotive Risk Assessment -- OSRM-CCTV: CCTV-aware Routing and Navigation System for Privacy and Safety -- CCTV-Exposure: System for Measuring User’s Privacy Exposure to CCTV Cameras -- Computer Model for Assessment and Visualization of Specific Absorption Rate of Electromagnetic Field, Generated by Smartphone. |
| Record Nr. | UNINA-9910585974403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
