|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1178 occurrences of 651 keywords
|
|
|
Results
Found 3891 publication records. Showing 3886 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
36 | James S. Pascoe, Roger J. Loader, Vaidy S. Sunderam |
The Agreement Problem Protocol Verification Environment. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Pierre Fillard, Cyril Poupon, Jean-François Mangin |
A Novel Global Tractography Algorithm Based on an Adaptive Spin Glass Model. |
MICCAI (1) |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Francesco Frigerio, Luciano Montanari |
Characterisation of the Surfactant Shell Stabilising Calcium Carbonate Dispersions in Overbased Detergent Additives: Molecular Modelling and Spin-Probe-ESR Studies. |
International Conference on Computational Science (2) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Olivier Stasse, Sylvain Dupitier, Kazuhito Yokoi |
3D object recognition using spin-images for a humanoid stereoscopic vision system. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Yang Li, William A. P. Smith, Edwin R. Hancock |
Face Recognition using Patch-based Spin Images. |
ICPR (1) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Yang Li, William A. P. Smith, Edwin R. Hancock |
Face Recognition with Region Division and Spin Images. |
CIARP |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Mary Ellen Bock, Guido Maria Cortelazzo, Carlo Ferrari, Concettina Guerra |
Identifying Similar Surface Patches on Proteins Using a Spin-Image Surface Representation. |
CPM |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Bijun He, William N. Scherer III, Michael L. Scott |
Preemption Adaptivity in Time-Published Queue-Based Spin Locks. |
HiPC |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Feng Shi 0010, Yiorgos Makris |
SPIN-TEST: automatic test pattern generation for speed-independent circuits. |
ICCAD |
2004 |
DBLP DOI BibTeX RDF |
|
36 | X. Zhu, Z. Liu, K. Buchanan, Georg Woltersdorf, J. Liang, P. Grutter, V. Metlushko, A. Meldrum, J. Xu, B. Heinrich, M. R. Freeman |
Spin Relaxation from Continuous Film to Magnetic Nanostructures. |
ICMENS |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Feng Shi 0010, Yiorgos Makris |
SPIN-SIM: Logic and Fault Simulation for Speed-Independent Circuits. |
ITC |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Pedro A. de Alarcón, Alberto D. Pascual-Montano, José María Carazo |
Spin Images and Neural Networks for Efficient Content-Based Retrieval in 3D Object Databases. |
CIVR |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Klaus Havelund, Michael R. Lowry, John Penix |
Formal Analysis of a Space-Craft Controller Using SPIN. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
space-craft software, model checking, temporal logic, Program verification, concurrent programs, program abstraction, model extraction |
36 | Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova |
Model Checking SDL with Spin. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
36 | Stefan Leue, Gerard J. Holzmann |
v-Promela: A Visual, Object-Oriented Language for SPIN. |
ISORC |
1999 |
DBLP DOI BibTeX RDF |
|
36 | Dragan Bosnacki, Dennis Dams |
Discrete-Time Promela and Spin. |
FTRTFT |
1998 |
DBLP DOI BibTeX RDF |
|
36 | James H. Anderson, Mark Moir |
Using Local-Spin k-Exclusion Algorithms to Improve Wait-Free Object Implementations. |
Distributed Comput. |
1997 |
DBLP DOI BibTeX RDF |
k -Assignment, k -Exclusion, Shared subjects, Shared-memory multiprocessors, Resiliency, Wait-free, Local spinning |
36 | Thomas E. Anderson |
The Performance of Spin Lock Alternatives for Shared-Memory Multiprocessors. |
IEEE Trans. Parallel Distributed Syst. |
1990 |
DBLP DOI BibTeX RDF |
software queueing, CSMA network protocols, Ethernet backoff, Symmetry Model B, spinlock alternatives, shared-money multiprocessors, atomic instructions, softwarespin-waiting algorithms, dynamic arbitration, parallelprocessing, performance evaluation, distributed system, delays, storage management, multistage interconnection network, shared data structures, shared bus multiprocessors |
35 | Louis H. Kauffman, Samuel J. Lomonaco |
Spin Networks, Quantum Topology and Quantum Computation. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
braiding, spin network, Temperley - Lieb algebra, unitary representation, linking, knotting |
35 | Cong Tian, Zhenhua Duan |
Model Checking Propositional Projection Temporal Logic Based on SPIN. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
Propositional Projection Temporal Logic, Model Checking, Verification, Spin, Automaton |
35 | Indranil Saha, Suman Roy 0001 |
A Finite State Modeling of AFDX Frame Management Using Spin. |
FMICS/PDMC |
2006 |
DBLP DOI BibTeX RDF |
ARINC, AFDX frame management design, fault tolerance, verification, LTL, Industrial case study, Spin model checker, finite state modeling |
35 | Federico Cristina, Sebastián H. Dapoto, Claudia Russo, Armando De Giusti, María José Abásolo |
Mobile Path and Spin 3D Tracking and Reconstruction. |
AMDO |
2006 |
DBLP DOI BibTeX RDF |
Image processing, objects tracking, spin, path |
35 | Carl Bracken, Gary McGuire |
Characterization of SDP Designs That Yield Certain Spin Models. |
Des. Codes Cryptogr. |
2005 |
DBLP DOI BibTeX RDF |
symmetric difference property, spin model, design, symplectic |
35 | Bram De Wachter, Alexandre Genon, Thierry Massart, Cédric Meuter |
The formal design of distributed controllers with dSL and Spin. |
Formal Aspects Comput. |
2005 |
DBLP DOI BibTeX RDF |
Transparent code distribution, Verification, Spin, Industrial process control |
35 | Muffy Calder, Alice Miller 0001 |
Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
Model checking, Formal verification, SPIN |
35 | Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini |
Model-Checking TRIO Specifications in SPIN. |
FME |
2003 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, Spin, modular specifications |
35 | Ki-Seok Bang, Jin-Young Choi, Chuck Yoo |
Comments on 'The Model Checker SPIN'. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
ACSR, model checking, SPIN, process scheduling, LTL |
35 | Willem Visser, Howard Barringer |
Practical CTL* Model Checking: Should SPIN be Extended? |
Int. J. Softw. Tools Technol. Transf. |
2000 |
DBLP DOI BibTeX RDF |
Büchi automata, Hesitant alternating automata, Model checking, Games, Spin |
35 | Hiroaki Takada, Ken Sakamura |
Real-time scalability of nested spin locks. |
RTCSA |
1995 |
DBLP DOI BibTeX RDF |
real-time scalability, nested spin locks, interprocessor synchronizations, maximum execution times, maximum nesting level, performance evaluation, real-time systems, real-time system, performance measurements, synchronisation, shared-memory multiprocessor, shared memory systems, worst-case performance |
34 | Jooyoung Bae, Wonsik Oh, Jahyun Koo 0003, Bongjin Kim |
CTLE-Ising:A 1440-Spin Continuous-Time Latch-Based isling Machine with One-Shot Fully-Parallel Spin Updates Featuring Equalization of Spin States. |
ISSCC |
2023 |
DBLP DOI BibTeX RDF |
|
34 | Paramjeet Banger, Pardeep Kaur, Arko Roy, Sandeep Gautam |
FORTRESS: FORTRAN programs to solve coupled Gross-Pitaevskii equations for spin-orbit coupled spin-f Bose-Einstein condensate with spin f = 1 or 2. |
Comput. Phys. Commun. |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Kangwei Xu, Dongrong Zhang, Qiang Ren, Yuanqing Cheng, Patrick Girard 0001 |
All-spin PUF: An Area-efficient and Reliable PUF Design with Signature Improvement for Spin-transfer Torque Magnetic Cell-based All-spin Circuits. |
ACM J. Emerg. Technol. Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Hamdam Ghanatian, Hooman Farkhani, Farshad Moradi |
A Hybrid Spin-CMOS Flash ADC based on Spin Hall Effect and Spin Transfer Torque. |
ICCD |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Sergey I. Doronin, Edward B. Fel'dman, Elena Kuznetsova |
Contributions of different parts of spin-spin interactions to quantum correlations in a spin ring model in an external magnetic field. |
Quantum Inf. Process. |
2015 |
DBLP DOI BibTeX RDF |
|
34 | Juha Vaara, Kenneth Ruud, Olav Vahtras |
Correlated response calculations of the spin-orbit interaction contribution to nuclear spin-spin couplings. |
J. Comput. Chem. |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Timothy J. Schaewe, Michael I. Miller |
Parallel algorithms for maximum a posteriori estimation of spin density and spin-spin decay in magnetic resonance imaging. |
IEEE Trans. Medical Imaging |
1995 |
DBLP DOI BibTeX RDF |
|
32 | Joseph M. Romano, Robert J. Webster III, Allison M. Okamura |
Teleoperation of Steerable Needles. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
32 | David Owen 0002, Dejan Desovski, Bojan Cukic |
Effectively Combining Software Verification Strategies: Understanding Different Assumptions. |
ISSRE |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Matthew Craven, Ahmed Amer |
Predictive Reduction of Power and Latency (PuRPLe). |
MSST |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Gunjan Khanna, Saurabh Bagchi, Yu-Sung Wu |
Fault Tolerant Energy Aware Data Dissemination Protocol in Sensor Networks. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
Energy efficient data distribution, FT Communication, FT Mobile Computing/Networking, Modeling, Sensor network |
32 | Ying Shan, Bogdan Matei, Harpreet S. Sawhney, Rakesh Kumar 0001, Daniel F. Huber, Martial Hebert |
Linear Model Hashing and Batch RANSAC for Rapid and Accurate Object Recognition. |
CVPR (2) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Asif Iqbal 0004, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh 0001 |
Visual Modeling and Verification of Distributed Reactive Systems. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Elena F. Sheka |
Violation of Covalent Bonding in Fullerenes. |
International Conference on Computational Science |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Kousha Etessami, Gerard J. Holzmann |
Optimizing Büchi Automata. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Jun Pang 0001, Zhengqin Luo, Yuxin Deng |
On Automatic Verification of Self-Stabilizing Population Protocols. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Model checking, Formal verification, Spin, Population protocols |
32 | Alastair F. Donaldson, Alice Miller 0001 |
Exact and Approximate Strategies for Symmetry Reduction in Model Checking. |
FM |
2006 |
DBLP DOI BibTeX RDF |
Promela/Spin, computational group theory, model checking, symmetry, Gap |
32 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino 0001, Ernesto Pimentel 0001 |
aSPIN: A tool for abstract model checking. |
Int. J. Softw. Tools Technol. Transf. |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Verification, Temporal logic, Abstraction, Spin |
32 | Paula J. Pingree, Erich Mikk |
The HiVy Tool Set. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
model checking, translation, Spin, state-charts, Stateflow |
32 | Xiang Fu 0001, Tevfik Bultan, Jianwen Su |
Model checking XML manipulating software. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
MSL, web service, XML, model checking, XPath, XML schema, SPIN, promela |
32 | Oskar Wibling, Joachim Parrow, Arnold Neville Pears |
Automatized Verification of Ad Hoc Routing Protocols. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
LUNAR, model checking, Mobile ad hoc networks, formal verification, routing protocols, SPIN, UPPAAL |
32 | Rafael H. Bordini, Michael Fisher 0001, Carmen Pardavila, Michael J. Wooldridge |
Model checking agentspeak. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
AgentSpeak, BDI logic programming, model checking, spin |
32 | Klaus Havelund, Willem Visser |
Program model checking as a new trend. |
Int. J. Softw. Tools Technol. Transf. |
2002 |
DBLP DOI BibTeX RDF |
Concurrent programming languages, Java, Model checking, Program verification, SPIN |
32 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino 0001, Estefanía Rosales |
Using XML to implement abstraction for Model Checking. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
XML, XML, model checking, abstraction, SPIN |
32 | Robert Grimm 0001, Brian N. Bershad |
Separating access control policy, enforcement, and functionality in extensible systems. |
ACM Trans. Comput. Syst. |
2001 |
DBLP DOI BibTeX RDF |
access check, policy-neutral enforcement, protection domain transfer, Java, security policy, auditing, SPIN, extensible systems, protection domain |
32 | Jean-Charles Grégoire |
TLA + PROMELA: Conjecture, Check, Proof, Engineering New Protocols Using Methods and Formal Notations. |
FME |
1997 |
DBLP DOI BibTeX RDF |
keyword TLA+, refinement, implementation, SPIN, PROMELA, TLA |
31 | Enrique Alba 0001, Francisco Chicano |
Searching for liveness property violations in concurrent systems with ACO. |
GECCO |
2008 |
DBLP DOI BibTeX RDF |
HSF-SPIN, ant colony optimization, metaheuristics, SPIN, liveness properties |
31 | Enrique Alba 0001, Francisco Chicano |
Finding safety errors with ACO. |
GECCO |
2007 |
DBLP DOI BibTeX RDF |
HSF-SPIN, ant colony optimization, metaheuristics, SPIN |
28 | Georgiana Caltais, Christian Schilling 0001 (eds.) |
Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings |
SPIN |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Bryant Israelsen, Landon Taylor, Zhen Zhang 0006 |
Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks. |
SPIN |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer |
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. |
SPIN |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Chukri Soueidi, Yliès Falcone |
Sound Concurrent Traces for Online Monitoring. |
SPIN |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Emil G. Henriksen, Alan M. Khorsid, Esben Nielsen, Theodor Risager, Jirí Srba, Adam M. Stück, Andreas S. Sørensen |
Potency-Based Heuristic Search with Randomness for Explicit Model Checking. |
SPIN |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Anton Wijs, Muhammad Osama 0003 |
GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data. |
SPIN |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Théo Matricon, Nathanaël Fijalkow, Gaëtan Margueritte |
WikiCoder: Learning to Write Knowledge-Powered Code. |
SPIN |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Giso H. Dal, Alfons Laarman, Peter J. F. Lucas |
ParaGnosis: A Tool for Parallel Knowledge Compilation. |
SPIN |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Nikolaj Jensen Ulrik |
Elimination of Detached Regions in Dependency Graph Verification. |
SPIN |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Hugues Evrard, Alastair F. Donaldson |
Model Checking Futexes. |
SPIN |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Roi Fogler, Itay Cohen 0001, Doron Peled |
Accelerating Black Box Testing with Light-Weight Learning. |
SPIN |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille, Alfons Laarman |
Efficient Implementation of LIMDDs for Quantum Circuit Simulation. |
SPIN |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Owolabi Legunsen, Grigore Rosu (eds.) |
Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings |
SPIN |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Fereidoun Moradi, Maryam Bagheri 0001, Hanieh Rahmati, Hamed Yazdi, Sara Abbaspour Asadollah, Marjan Sirjani |
Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks. |
SPIN |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Fabian Bauer-Marquart, David Boetius, Stefan Leue, Christian Schilling 0001 |
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks. |
SPIN |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Mitja Kulczynski, Kevin Lotz, Dirk Nowotka, Danny Bøgsted Poulsen |
Solving String Theories Involving Regular Membership Predicates Using SAT. |
SPIN |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone |
Bounded-Memory Runtime Enforcement. |
SPIN |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Alan Khoja, Martin Kölbl, Stefan Leue, Rüdiger Wilhelmi |
Automated Consistency Analysis for Legal Contracts. |
SPIN |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Parker Hanson, Benjamin Winters, Eric Mercer, Brett Decker |
Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench. |
SPIN |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Thanh Son Nguyen, Ben Jones, Zvonimir Rakamaric |
Synthesis of Rigorous Floating-Point Predicates. |
SPIN |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Shiraj Arora, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen |
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals. |
SPIN |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Alfons Laarman, Ana Sokolova (eds.) |
Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings |
SPIN |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Marie-Christine Jakobs |
PatEC: Pattern-Based Equivalence Checking. |
SPIN |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Maik Wiesner, Marie-Christine Jakobs |
Verifying Pipeline Implementations in OpenMP. |
SPIN |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Mariëlle Stoelinga, Christina Kolb, Stefano M. Nicoletti, Carlos E. Budde, Ernst Moritz Hahn |
The Marriage Between Safety and Cybersecurity: Still Practicing. |
SPIN |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Syyeda Zainab Fatmi, Xiang Chen, Yash Dhamija, Maeve Wildes, Qiyi Tang 0001, Franck van Breugel |
Probabilistic Model Checking of Randomized Java Code. |
SPIN |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Lukas Humbel, Daniel David Schwyn, Nora Hossle, Roni Haecki, Melissa Licciardello, Jan Schaer, David A. Cock, Michael Giardino, Timothy Roscoe |
A Model-Checked I2C Specification. |
SPIN |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Vincenzo Ciancia, Gina Belmonte, Diego Latella, Mieke Massink |
A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - - Invited Contribution. |
SPIN |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault |
Go2Pins: A Framework for the LTL Verification of Go Programs. |
SPIN |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan |
Accelerating the Computation of Dead and Concurrent Places Using Reductions. |
SPIN |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Antoine Chenoy, Fabien Duchene 0001, Thomas Given-Wilson, Axel Legay |
C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs. |
SPIN |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Madoda Nxumalo, Nils Timm, Stefan Gruner |
Spotlight Abstraction in Model Checking Real-Time Task Schedulability. |
SPIN |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Sophia Yoo, Xiaoqi Chen |
Secure Keyed Hashing on Programmable Switches. |
SPIN@SIGCOMM |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Archit Sanghi, Krishna P. Kadiyala, Praveen Tammana, Saurabh Joshi 0001 |
Anomaly Detection in Data Plane Systems using Packet Execution Paths. |
SPIN@SIGCOMM |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Jakob Svenningsson, Nicolae Paladi, Arash Vahidi |
Faster enclave transitions for IO-intensive network applications. |
SPIN@SIGCOMM |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Ang Chen, Laurent Vanbever (eds.) |
Proceedings of the 2020 ACM SIGCOMM 2020 Workshop on Secure Programmable Network Infrastructure, SPIN@SIGCOMM 2020, Virtual Event, USA, August 14, 2020 |
SPIN@SIGCOMM |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Jiasong Bai, Menghao Zhang, Guanyu Li, Chang Liu, Mingwei Xu, Hongxin Hu |
FastFE: Accelerating ML-based Traffic Analysis with Programmable Switches. |
SPIN@SIGCOMM |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Xiaoqi Chen |
Implementing AES Encryption on Programmable Switches via Scrambled Lookup Tables. |
SPIN@SIGCOMM |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Rob Harrison, Shir Landau Feibish, Arpit Gupta, Ross Teixeira, S. Muthukrishnan 0001, Jennifer Rexford |
Carpe Elephants: Seize the Global Heavy Hitters. |
SPIN@SIGCOMM |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Xiaoqi Chen, Hyojoon Kim, Javed M. Aman, Willie Chang, Mack Lee, Jennifer Rexford |
Measuring TCP Round-Trip Time in the Data Plane. |
SPIN@SIGCOMM |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Jiarong Xing, Ang Chen 0001, T. S. Eugene Ng |
Secure State Migration in the Data Plane. |
SPIN@SIGCOMM |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Matthew Nance Hall, Guyue Liu, Ramakrishnan Durairajan, Vyas Sekar |
Fighting Fire with Light: Tackling Extreme Terabit DDoS Using Programmable Optics. |
SPIN@SIGCOMM |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Yiming Qiu, Kuo-Feng Hsu, Jiarong Xing, Ang Chen 0001 |
A Feasibility Study on Time-aware Monitoring with Commodity Switches. |
SPIN@SIGCOMM |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 3886 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|