Search results for "spin"

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