The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for CPS with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1958-1993 (21) 1994-1996 (16) 1997-1999 (19) 2000-2001 (19) 2002 (17) 2003 (21) 2004 (17) 2005 (16) 2006 (23) 2007 (33) 2008 (28) 2009 (22) 2010 (15) 2011 (22) 2012 (131) 2013 (146) 2014 (151) 2015 (64) 2016 (84) 2017 (132) 2018 (154) 2019 (199) 2020 (170) 2021 (166) 2022 (143) 2023 (217) 2024 (12)
Publication types (Num. hits)
article(430) incollection(7) inproceedings(1571) phdthesis(11) proceedings(39)
Venues (Conferences, Journals, ...)
IPSN(182) ICCPS(118) SEFM Workshops(117) HSCC(111) CoRR(71) CPS-IoT Week Workshops(69) CPS-SPC@CCS(64) HiCoNS(53) CPSIOTSEC@CCS(45) SAT-CPS@CODASPY(33) IEEE Access(26) SEFM(26) CPS Summer School, PhD Worksho...(21) SNR(21) ARCH@CPSIoTWeek(14) ICFP(14) More (+10 of total 618)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 266 occurrences of 175 keywords

Results
Found 2058 publication records. Showing 2058 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
115Daniel Damian, Olivier Danvy Syntactic accidents in program analysis: on the impact of the CPS transformation. Search on Bibsonomy ICFP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF CPS transformation of binding-time information, CPS transformation of control-flow information, binding-time improvements, continuation-based evaluation, continuation-based partial evaluation
111Anders Bondorf Improving Binding Times Without Explicit CPS-Conversion. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF SCHEME
108Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen The Essence of Compiling with Continuations. Search on Bibsonomy PLDI The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
108Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen The essence of compiling with continuations (with retrospective) Search on Bibsonomy Best of PLDI The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
95Yukiyoshi Kameyama Axioms for control operators in the CPS hierarchy. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Type system, Axiomatization, Delimited continuation, CPS translation, Control operator
89Kenichi Asai Online partial evaluation for shift and reset. Search on Bibsonomy PEPM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF CPS transformation, direct style (DS), online partial evaluations, continuation-passing style (CPS), Delimited continuations
84Alex Wun, Alex King Yeung Cheung, Hans-Arno Jacobsen A taxonomy for denial of service attacks in content-based publish/subscribe systems. Search on Bibsonomy DEBS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF security, denial of service, publish/subscribe
84Amr Sabry, Matthias Felleisen Is Continuation-Passing Useful for Data Flow Analysis? Search on Bibsonomy PLDI The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
84Amr Sabry, Matthias Felleisen Reasoning About Programs in Continuation-Passing Style. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
82Klaus Schmeh A Critical View on RFC 3647. Search on Bibsonomy EuroPKI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Certification Practice Statement, Certificate Policy, CP, PKI, CPS
75Swee-Seong Wong, Wing-Kin Sung, Limsoon Wong CPS-tree: A Compact Partitioned Suffix Tree for Disk-based Indexing on Large Genome Sequences. Search on Bibsonomy ICDE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
75Yukiyoshi Kameyama Axioms for Delimited Continuations in the CPS Hierarchy. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
72Alex Wun, Hans-Arno Jacobsen A Policy Management Framework for Content-Based Publish/Subscribe Middleware. Search on Bibsonomy Middleware The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Security, Policy, Configurability, Publish/Subscribe
72John Hatcliff, Olivier Danvy A Generic Account of Continuation-Passing Styles. Search on Bibsonomy POPL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
72Julia L. Lawall, Olivier Danvy Separating Stages in the Continuation-Passing Style Transformation. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF SCHEME
65Kenichi Asai Offline partial evaluation for shift and reset. Search on Bibsonomy PEPM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF CPS transformation, binding-time analysis (BTA), offline partial evaluation, continuation-passing style (CPS), logical relations, delimited continuations
63Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock 0001, Peter Fritzson, Jörg Brauer, Christian Kleijn, Thierry Lecomte, Markus Pfeil, Ole Green, Stylianos Basagiannis, Andrey Sadovykh Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. Search on Bibsonomy CPS Data The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
63Raquel Lazcano López, Daniel Madroñal Quintín, Francesca Palumbo, Christian Pilato, Armando Tacchella (eds.) Proceedings of the CPS Summer School PhD Workshop 2022 co-located with 4th Edition of the CPS Summer School (CPS 2022), Pula, Sardinia (Italy), September 19-23, 2022. Search on Bibsonomy CPS Summer School, PhD Workshop The full citation details ... 2022 DBLP  BibTeX  RDF
63Stefano Demarchi, Dario Guidotti Counter-Example Guided Abstract Refinement for Verification of Neural Networks. Search on Bibsonomy CPS Summer School, PhD Workshop The full citation details ... 2022 DBLP  BibTeX  RDF
63Eman Ebaid, Keivan Navaie Efficient Design of Scalable Indoor Positioning System Based on Wi-Fi Fingerprinting. Search on Bibsonomy CPS Summer School, PhD Workshop The full citation details ... 2022 DBLP  BibTeX  RDF
63Tiziana Fanni, Giuseppe Meloni, Marco Melis, Antonio Solinas, Maria Katiuscia Zedda The Multi-Sensor Gateway, a Unified Communication Scheme and Orchestration Actor for Heterogeneous Systems. Search on Bibsonomy CPS Summer School, PhD Workshop The full citation details ... 2022 DBLP  BibTeX  RDF
63Massimo Pavan, Armando Caltabiano, Manuel Roveri On-device Subject Recognition in UWB-radar Data with Tiny Machine Learning. Search on Bibsonomy CPS Summer School, PhD Workshop The full citation details ... 2022 DBLP  BibTeX  RDF
63Alessandro Falcetta, Manuel Roveri T4C: A Framework for Time-Series Clustering-as-a-Service. Search on Bibsonomy CPS Summer School, PhD Workshop The full citation details ... 2022 DBLP  BibTeX  RDF
63Raffaele Meloni, Giuseppe Meloni, Daniel Madroñal HW-SW Management Using a Lightweight Yocto-based OS Running on a ZCU102. Search on Bibsonomy CPS Summer School, PhD Workshop The full citation details ... 2022 DBLP  BibTeX  RDF
63Valeria Trombetta, Maxime Cordy, Enrico Tronci, Axel Legay CHAOS - Configurations Analysis of Swarms of Cyber-Physical Systems. Search on Bibsonomy CPS Summer School, PhD Workshop The full citation details ... 2022 DBLP  BibTeX  RDF
63Juan Encinas ML-Based Modeling and Virtualization of Reconfigurable Multi-Accelerator Systems. Search on Bibsonomy CPS Summer School, PhD Workshop The full citation details ... 2022 DBLP  BibTeX  RDF
63Egon van Baars, Rineke Verbrugge Adjusting a Knowledge-Based Algorithm for Multi-agent Communication for CPS. Search on Bibsonomy LADS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
63Olivier Danvy, Lasse R. Nielsen A First-Order One-Pass CPS Transformation. Search on Bibsonomy FoSSaCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
60John A. Stankovic Cyber physical systems: aspects as a basis for robustness and openness. Search on Bibsonomy AOSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF robustness, aspect oriented programming, openness, cyber physical systems
60Ying Tan, Mehmet C. Vuran, Steve Goddard Spatio-Temporal Event Model for Cyber-Physical Systems. Search on Bibsonomy ICDCS Workshops The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
60Alex Wun, Hans-Arno Jacobsen Modelling performance optimizations for content-based publish/subscribe. Search on Bibsonomy DEBS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF performance analysis, publish/subscribe
60Olivier Danvy, Andrzej Filinski Abstracting Control. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
59Gilles Barthe, Tarmo Uustalu CPS translating inductive and coinductive types. Search on Bibsonomy PEPM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF classical logic and control, inductive and coinductive types, typed ?-calculi, dependent types, CPS translations
56Chung-chieh Shan A static simulation of dynamic delimited control. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Delimited control operators, Macro expressibility, Shift and reset, Control and prompt, Continuation-passing style (CPS)
50Jongmin Lee, Eujoon Byun, Hanmook Park, Jongmoo Choi, Donghee Lee 0001, Sam H. Noh CPS-SIM: configurable and accurate clock precision solid state drive simulator. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF SSD (solid state drive), clock precision SSD simulator, configurability, NAND flash memory, FTL (flash translation layer)
50Annette Bieniusa, Peter Thiemann 0001 How to CPS Transform a Monad. Search on Bibsonomy CC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
50Ramón Zatarain, Ryan Stansifer A model of CPS translation and interpretation. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2004 DBLP  DOI  BibTeX  RDF compilers, exception handling, continuation-passing style, functional programming languages
50Ken-etsu Fujita A Sound and Complete CPS-Translation for lambda-mu-Calculus. Search on Bibsonomy TLCA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
49Himanshu Neema, Harmon Nine, Thomas Roth Reusable Network Simulation for CPS Co-Simulations. Search on Bibsonomy CPS-IoT Week Workshops The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
49Sheng-Jung Yu, Inigo Incer, Valmik Prabhu, Anwesha Chattoraj, Eric Vin, Daniel J. Fremont, Ankur Mehta, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry 0001, Sanjit A. Seshia Symbiotic CPS Design-Space Exploration through Iterated Optimization. Search on Bibsonomy CPS-IoT Week Workshops The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
49Jared Hall, Joe Sventek DRAEC: An Adaptive Edge Computing Framework for Enforcing Operational Policy in CPS-IoT Systems. Search on Bibsonomy CPS-IoT Week Workshops The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
49Simon N. Foley, Fabien Autrel, Edwin Bourget, Thomas Clédel, Stephane Grunenwald, Jose Rubio-Hernan, Alexandre Kabil, Raphael Larsen, Vivien M. Rooney, Kirsten Vanhulst Science Hackathons for Cyberphysical System Security Research: Putting CPS testbed platforms to good use. Search on Bibsonomy CPS-SPC@CCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
49 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016, Vienna, Austria, April 11, 2016 Search on Bibsonomy CPS Data The full citation details ... 2016 DBLP  BibTeX  RDF
49Marco Steger, Michael Karner, Joachim Hillebrand, Werner Rom, Kay Römer A security metric for structured security analysis of cyber-physical systems supporting SAE J3061. Search on Bibsonomy CPS Data The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
49Peter Fogh, Thomas C. Hald, Brian Nielsen WUppaal: A web-service for the Uppaal model-checker. Search on Bibsonomy CPS Data The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
49Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu Towards the verification of temporal data consistency in Real-Time Data Management. Search on Bibsonomy CPS Data The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
49Tobias Käfer, Andreas Harth, Sebastien Mamessier Towards declarative programming and querying in a distributed Cyber-Physical System: The i-VISION case. Search on Bibsonomy CPS Data The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
49Kaliappa Ravindran, Mohammad Rabby, Michael Iannelli Data-oriented abstraction of virtual sensors for embedded software systems. Search on Bibsonomy CPS Data The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
49Florian Grützmacher, Benjamin Beichler, Christian Haubelt, Bart D. Theelen Dataflow-based modeling and performance analysis for online gesture recognition. Search on Bibsonomy CPS Data The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
49Björn Butzin, Björn Konieczek, Frank Golatowski, Dirk Timmermann, Christoph Fiehe Applying the BaaS reference architecture on different classes of devices. Search on Bibsonomy CPS Data The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
49Daniele Antonioli, Nils Ole Tippenhauer MiniCPS: A Toolkit for Security Research on CPS Networks. Search on Bibsonomy CPS-SPC@CCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
48Jing Lin 0007, Sahra Sedigh, Ann Miller A General Framework for Quantitative Modeling of Dependability in Cyber-Physical Systems: A Proposal for Doctoral Research. Search on Bibsonomy COMPSAC (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
48Weijia Jia 0001, Dai Bin, Lin Liao Architecture of secure cross-platform and network communications. Search on Bibsonomy ICUIMC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF cross-network, security, network, Wi-Fi, 3G, cross-platform
48Han Tang, Bruce M. McMillin Security of Information Flow in the Electric Power Grid. Search on Bibsonomy Critical Infrastructure Protection The full citation details ... 2007 DBLP  DOI  BibTeX  RDF information flow, confidentiality, power grid, Cyber-physical systems
48Andrew Kennedy Compiling with continuations, continued. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF continuations, monads, optimizing compilation, continuation passing style, functional programming languages
48Zhanping Yin, Victor C. M. Leung Adaptive contention access suspension in IEEE 802.15.3 MAC. Search on Bibsonomy BROADNETS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
48Tetsuhiko Miyatani Column-Pair Scrambled Chip-Interleaved DS-CDMA for Asynchronous Uplink. Search on Bibsonomy VTC Spring The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
48Franco Frattolillo, Salvatore D'Onofrio An Effective and Dynamically Extensible DRM Web Platform. Search on Bibsonomy HPCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
48Vladimir V. Prokhorov Computational Portal: Remote Access to High-Performance Computing. Search on Bibsonomy PaCT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
48Jeff Polakow, Kwangkeun Yi Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. Search on Bibsonomy FLOPS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
47Tiark Rompf, Ingo Maier, Martin Odersky Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF control effects, selective CPS transform, program transformation, delimited continuations
45Chiyan Chen, Hongwei Xi Implementing typeful program transformations. Search on Bibsonomy PEPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF DML, dependent ML, typeful program transformation, dependent types, CPS, continuation-passing style
44Dingguo Chen NN-Based Near Real Time Load Prediction for Optimal Generation Control. Search on Bibsonomy ISNN (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Very Short Term Load Prediction (VSTLP), Load Dynamics, Automatic Generation Control (AGC), Dynamic Economic Dispatch, Control Performance Standard (CPS), Hierarchical Neural Network
44Olivier Danvy Defunctionalized interpreters for programming languages. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF big-step abstract machines, context-sensitive reduction semantics, cps transformation, refocusing, small-step abstract machines, interruptions, continuations, structural operational semantics, natural semantics, defunctionalization, reduction semantics
44Yukiyoshi Kameyama, Takuo Yonezawa Typed Dynamic Control Operators for Delimited Continuations. Search on Bibsonomy FLOPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Dynamic Control Operator, Type System, Polymorphism, Expressivity, Delimited Continuation, CPS Translation
44Olin Shivers, Matthew Might Continuations and transducer composition. Search on Bibsonomy PLDI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF lambda, program analysis, continuations, fusion, language design, functional languages, stream processing, calculus, flow analysis, continuation-passing style (CPS), coroutines
44Yukiyoshi Kameyama, Masahito Hasegawa A sound and complete axiomatization of delimited continuations. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF continuation, axiomatization, CPS-translation
44Demetres D. Kouvatsos, Khalid Al-Begain, Irfan-Ullah Awan A Queueing Model for a Wireless GSM/GPRS Cell with Multiple Service Classes. Search on Bibsonomy NETWORKING The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Cellular mobile system, Global System for Mobile Telecommunication (GSM), wireless GSM/GPRS cell, complete partitioning scheme (CPS), maximum entropy (ME) principle, generalised exponential (GE) distribution, first-come-first-served (FCFS) rule, processor sharing (PS) rule, performance evaluation, General Packet Radio Service (GPRS)
44Ichiro Ogata A Proof Theoretical Account of Continuation Passing Style. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Classical Natural Deduction, LKQ, classical proof theory, Classical Logic, CPS-translation, Call-By-Value
38Satoshi Kobayashi A New Translation for Semi-classical Theories - Backtracking without CPS. Search on Bibsonomy FLOPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Han Tang, Bruce M. McMillin Security Property Violation in CPS through Timing. Search on Bibsonomy ICDCS Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Zaynah Dargaye, Xavier Leroy Mechanized Verification of CPS Transformations. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Jin-Tan Yang, Min Jey Hwang, Yuan Fong Chu A Study on Searching and Recommending SCORM CPs by Ontological Support. Search on Bibsonomy ICALT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Yasuhiko Minamide, Koji Okuma Verifying CPS transformations in Isabelle/HOL. Search on Bibsonomy MERLIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF program transformation, theorem proving, correctness proofs
38Robert Harper 0001, Mark Lillibridge Explicit Polymorphism and CPS Conversion. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
36Chun Jason Xue, Guoliang Xing, Zhaohui Yuan, Zili Shao, Edwin Hsing-Mean Sha Joint Sleep Scheduling and Mode Assignment in Wireless Cyber-Physical Systems. Search on Bibsonomy ICDCS Workshops The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
36Lui Sha, José Meseguer 0001 Design of Complex Cyber Physical Systems with Formalized Architectural Patterns. Search on Bibsonomy Software-Intensive Systems and New Computing Paradigms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Edward A. Lee Cyber Physical Systems: Design Challenges. Search on Bibsonomy ISORC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF embedded systems, real time, Cyber-physical systems
36Yanbin Peng, Bei Shui Liao, Ji Gao, Jun Hu, CunHao Wang, Jie-Qing Ai, Hang Guo Cooperative Problem Solving Process Based on MAS_NP Model. Search on Bibsonomy EUC (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Federico Cabitza, Marcello Sarini, Carla Simone Providing awareness through situated process maps: the hospital care case. Search on Bibsonomy GROUP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF clinical pathways, cooperative work, hospital work, collaboration awareness
36Matti A. Hiltunen, François Taïani, Richard D. Schlichting Reflections on aspects and configurable protocols. Search on Bibsonomy AOSD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF extensible software, configurable software
36T.-K. Yin A Characteristic-Point-Based Fuzzy Inference Classifier by a Closeness Matrix. Search on Bibsonomy IEEE Trans. Fuzzy Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Olivier Danvy, Kevin Millikin A Rational Deconstruction of Landin's J Operator. Search on Bibsonomy IFL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Denise M. Woit, M. Fan Independence Transformations and Tools for Components. Search on Bibsonomy ICECCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Olivier Danvy, Julia L. Lawall Back to Direct Style II: First-Class Continuations. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF SCHEME
36Qin-Zhong Ye, Per-Erik Danielsson Inspection of Printed Circuit Boards by Connectivity Preserving Shrinking. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF PCB manufacture, connectivity preserving shrinking, edge irregularities, printed circuit manufacture, computer vision, computer vision, computerised pattern recognition, computerised pattern recognition, inspection, sensitivity, quality control, quality control, visual inspection, printed circuit boards, pipelined structure
35Maanak Gupta, Mahmoud Abdelsalam, Mohammad Nur Nobi (eds.) Sat-CPS@CODASPY 2023: Proceedings of the 2023 ACM Workshop on Secure and Trustworthy Cyber-Physical Systems, Charlotte, NC, USA, 26 April 2023 Search on Bibsonomy SaT-CPS@ODASPY The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35 Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, CPS-IoT Week 2023 Workshops, San Antonio, TX, USA, May 9-12, 2023 Search on Bibsonomy CPS-IoT Week Workshops The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Abhijith Sharma, Yijun Bian, Vatsal Nanda, Phil Munz, Apurva Narayan Vulnerability of CNNs against Multi-Patch Attacks. Search on Bibsonomy SAT-CPS@CODASPY The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Bharath K. Samanthula, Hemadri Patel Privacy-Preserving and Outsourced Computation Framework for Power Usage Control in Smart Grids. Search on Bibsonomy SAT-CPS@CODASPY The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Melis Kapotoglu Koc, Deniz Turgay Altilar Selection of Best Fit Hardware Performance Counters to Detect Cache Side-Channel Attacks. Search on Bibsonomy SAT-CPS@CODASPY The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Ahmad B. Usman, Nigel Cole, Mikael Asplund, Felipe Boeira, Christian Vestlund Remote Attestation Assurance Arguments for Trusted Execution Environments. Search on Bibsonomy SAT-CPS@CODASPY The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Ashish Ahire, Mustafa Abdallah Reinforcement Learning for Enhancing Human Security Resource Allocation in Protecting Assets with Heterogeneous Losses. Search on Bibsonomy SAT-CPS@CODASPY The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Marcia Cunha Rocha, Enio Vasconcelos Filho, Fernando Alves, Sergio Penna, Pedro M. Santos 0002, Eduardo Tovar A WSSL Implementation for Critical Cyber-Physical Systems Applications. Search on Bibsonomy CPS-IoT Week Workshops The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Renato Mancuso 0001, Shahin Roozkhosh, Denis Hoornaert, Ju Hyoung Mun, Tarikul Islam Papon, Manos Athanassoulis Software-Shaped Platforms. Search on Bibsonomy CPS-IoT Week Workshops The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Marten Lohstroh, Edward A. Lee, Stephen A. Edwards, David Broman Logical Time for Reactive Software. Search on Bibsonomy CPS-IoT Week Workshops The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Susmita Tadepalli, Zhuanhao Wu, Hiren D. Patel PASoC: A Predictable Accelerator-rich SoC. Search on Bibsonomy CPS-IoT Week Workshops The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Govind Singh, Anshul Pandey, Monika Prakash, Martin Andreoni Lopez, Michael Baddeley Benchmarking and Security Considerations of Wi-Fi FTM for Ranging in IoT Devices. Search on Bibsonomy CPS-IoT Week Workshops The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Yimin Zhang, Barikisu Asulba, Nuno Schumacher, Mário Sousa, Pedro F. Souto, Luís Almeida 0001, Pedro M. Santos 0002, Nuno Martins, Joana Sousa Implementing and Deploying an ML Pipeline for IoT Intrusion Detection with Node-RED. Search on Bibsonomy CPS-IoT Week Workshops The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Fabien Siron, Dumitru Potop-Butucaru, Robert de Simone, Damien Chabrol, Amira Methni Semantics foundations of PsyC based on synchronous Logical Execution Time. Search on Bibsonomy CPS-IoT Week Workshops The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 2058 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license