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