Search results for "SPIN"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
115	Satoshi Sugahara, Masaaki Tanaka	Spin MOSFETs as a basis for spintronics.	ACM Trans. Storage	2006	DBLP DOI BibTeX RDF	spin MOSFETs, spin transistors, MOSFETs, Spintronics
108	Theo C. Ruys	SPIN Tutorial: How to Become a SPIN Doctor.	SPIN	2002	DBLP DOI BibTeX RDF
104	Gerard J. Holzmann	The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited.	SPIN	1999	DBLP DOI BibTeX RDF
100	Alexander Khitun, Kang L. Wang	Nano Logic Circuits with Spin Wave Bus.	ITNG	2006	DBLP DOI BibTeX RDF	logic devices, Spintronics, spin waves
96	Corina S. Pasareanu, Dimitra Giannakopoulou	Towards a Compositional SPIN.	SPIN	2006	DBLP DOI BibTeX RDF	model checking, learning, Assume-guarantee reasoning
96	Peter C. Dillinger, Panagiotis Manolios	Fast and Accurate Bitstate Verification for SPIN.	SPIN	2004	DBLP DOI BibTeX RDF
92	T. Manago	Spin Detection and Injection Using Ferromagnetic Metal and Semiconductor Hybrid Structure.	ICMENS	2003	DBLP DOI BibTeX RDF
83	Cai-Dong Wang, Hiroaki Takada, Ken Sakamura	Priority Inheritance Spin Locks for Multiprocessor Real-Time Systems.	ISPAN	1996	DBLP DOI BibTeX RDF	spin lock algorithm, nested locks, real-time system, shared-memory, priority inheritance, priority order
83	Flavio Lerda, Riccardo Sisto	Distributed-Memory Model Checking with SPIN.	SPIN	1999	DBLP DOI BibTeX RDF
80	Gerard J. Holzmann, Theo C. Ruys	Effective Bug Hunting with Spin and Modex.	SPIN	2005	DBLP DOI BibTeX RDF
76	Hyotaek Shim, Jaegeuk Kim, Dawoon Jung 0001, Jin-Soo Kim 0001, Seungryoul Maeng	RMA: A Read Miss-Based Spin-Down Algorithm using an NV cache.	ICCD	2008	DBLP DOI BibTeX RDF
75	Alexander Khitun, Mingqiang Bao, Yina Wu, Ji-Young Kim, Augustin Hong, Ajey P. Jacob, Kosmas Galatsis, Kang L. Wang	Spin Wave Logic Circuit on Silicon Platform.	ITNG	2008	DBLP DOI BibTeX RDF	nanoscale architectures, logic circuit, spin waves
75	Theodore Johnson, Krishna Harathi	A Prioritized Multiprocessor Spin Lock.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	spin lock, real-time system, parallel processing, Mutual exclusion, priority queue
72	Alberto Lluch-Lafuente	Towards Model Checking Spatial Properties with SPIN.	SPIN	2007	DBLP DOI BibTeX RDF
71	Muffy Calder, Alice Miller 0001	Using SPIN for Feature Interaction Analysis - A Case Study.	SPIN	2001	DBLP DOI BibTeX RDF	Promela/SPIN, analysis and reasoning techniques, distributed systems, formal modelling, feature interaction, communicating processes, telecommunications services
68	Martin Pelikan, Jiri Ocenasek, Simon Trebst, Matthias Troyer, Fabien Alet	Computational Complexity and Simulation of Rare Events of Ising Spin Glasses.	GECCO (2)	2004	DBLP DOI BibTeX RDF
68	Jessica Chen, Hanmei Cui	Translation from Adapted UML to Promela for CORBA-Based Applications.	SPIN	2004	DBLP DOI BibTeX RDF	Model Checking, UML, Middleware, CORBA, SPIN, Distributed Object Systems, Formal Specification and Verification
67	René G. de Vries, Jan Tretmans	On-the-fly Conformance Testing using SPIN.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Spin verification tool, Formal methods, Conformance testing, Test automation, Test generation algorithms
67	Claudio Demartini, Radu Iosif, Riccardo Sisto	dSPIN: A Dynamic Extension of SPIN.	SPIN	1999	DBLP DOI BibTeX RDF
66	Martin Pelikan, Helmut G. Katzgraber, Sigismund Kobe	Finding ground states of Sherrington-Kirkpatrick spin glasses with hierarchical boa and genetic algorithms.	GECCO	2008	DBLP DOI BibTeX RDF	hBOA, sherrington-kirkpatrick spin glass, sk spin glass, genetic algorithm, evolutionary computation, branch and bound, estimation of distribution algorithms, EDA, hierarchical boa
64	Anna Zaks, Rajeev Joshi	Verifying Multi-threaded C Programs with SPIN.	SPIN	2008	DBLP DOI BibTeX RDF
64	Viet Yen Nguyen, Theo C. Ruys	Incremental Hashing for Spin.	SPIN	2008	DBLP DOI BibTeX RDF
64	Gerrit Rothmaier, Tobias Kneiphoff, Heiko Krumm	Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models.	SPIN	2005	DBLP DOI BibTeX RDF
64	Murali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren D. Cofer	Analysis of Distributed Spin Applied to Industrial-Scale Models.	SPIN	2004	DBLP DOI BibTeX RDF
64	Theo C. Ruys, Gerard J. Holzmann	Advanced SPIN Tutorial.	SPIN	2004	DBLP DOI BibTeX RDF
64	Paul Gastin, Pierre Moro, Marc Zeitoun	Minimization of Counterexamples in SPIN.	SPIN	2004	DBLP DOI BibTeX RDF
64	Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue	Directed Explicit Model Checking with HSF-SPIN.	SPIN	2001	DBLP DOI BibTeX RDF
61	Xiang Wan, Guohui Lin	CISA: Combined NMR Resonance Connectivity Information Determination and Sequential Assignment.	IEEE ACM Trans. Comput. Biol. Bioinform.	2007	DBLP DOI BibTeX RDF	NMR sequential resonance assignment, spin system, spin system sequential connectivity, spin system residual signature, spin system assignment
60	Satyender Goel, Artëm E. Masunov	Pairwise Spin-Contamination Correction Method and DFT Study of MnH and H2 Dissociation Curves.	ICCS (2)	2009	DBLP DOI BibTeX RDF
60	Jürgen Assfalg, Marco Bertini 0001, Alberto Del Bimbo, Pietro Pala	Content-Based Retrieval of 3-D Objects Using Spin Image Signatures.	IEEE Trans. Multim.	2007	DBLP DOI BibTeX RDF
60	H. Quynh Dinh, Steven Kropac	Multi-Resolution Spin-Images.	CVPR (1)	2006	DBLP DOI BibTeX RDF
60	Nicola Brusco, Marco Andreetto, Andrea Giorgi, Guido Maria Cortelazzo	3D Registration by Textured Spin-Images.	3DIM	2005	DBLP DOI BibTeX RDF
60	Shoucheng Zhang	The Intrinsic Spin Hall Effect.	ICMENS	2005	DBLP DOI BibTeX RDF
60	David Faragó, Peter H. Schmitt	Improving Non-Progress Cycle Checks.	SPIN	2009	DBLP DOI BibTeX RDF	Non-progress cycles, Model Checking, SPIN, partial order reduction, depth-first search, livelocks
60	Sebastian Schmerl, Michael Vogel, Hartmut König	Identifying Modeling Errors in Signatures by Model Checking.	SPIN	2009	DBLP DOI BibTeX RDF	Attack Signatures, Intrusion Detection, Computer Security, Signature Verification, Misuse Detection, Promela, Spin model checker
60	Gaurav Singh 0006, Sandeep K. Shukla	Verifying Compiler Based Refinement of BluespecTM.	SPIN	2008	DBLP DOI BibTeX RDF	Bluespec System Verilog (BSV), Formal Verification, Hardware Designs, SPIN Model Checker
59	Yunja Choi	From NuSMV to SPIN: Experiences with model checking flight guidance systems.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Flight guidance systems, Model checking, SPIN, NuSMV
59	Mary Mehrnoosh Eshaghian-Wilner, Alexander Khitun, Shiva Navab, Kang L. Wang	The spin-wave nanoscale reconfigurable mesh and the labeling problem.	ACM J. Emerg. Technol. Comput. Syst.	2007	DBLP DOI BibTeX RDF	nanoscale architectures, image processing, reconfigurable mesh, Spin waves
58	Martin Pelikan, Helmut G. Katzgraber	Analysis of evolutionary algorithms on the one-dimensional spin glass with power-law interactions.	GECCO	2009	DBLP DOI BibTeX RDF	hboa, power-law interactions, sherrington-kirkpatrick spin glass, ga, genetic algorithm, evolutionary computation, estimation of distribution algorithms, hybridization, physics, crossover, hierarchical boa, spin glass
58	Injong Rhee	Optimizing a FIFO, scalable spin lock using consistent memory.	RTSS	1996	DBLP DOI BibTeX RDF	FIFO optimization, scalable spin lock, consistent memory, FIFO queue based scalable spin lock, non atomic read, atomic swap operation, timing guarantee, scalable mutual exclusion problem, NUMA architectures, FSSL algorithm, write operations, non atomic memory operations, weakly consistent memories, multiprocessors, shared memory systems, real time applications, atomic operations
57	Salvador Ruiz-Correa, Linda G. Shapiro, Marina Meila	A New Signature-Based Method for Efficient 3-D Object Recognition.	CVPR (1)	2001	DBLP DOI BibTeX RDF
57	Ted Hills	Response to A Note on Structured Interrupts.	ACM SIGOPS Oper. Syst. Rev.	1994	DBLP DOI BibTeX RDF
56	Oliver Sharma, Jonathan Lewis, Alice Miller 0001, Alan Dearle, Dharini Balasubramaniam, Ronald Morrison, Joe Sventek	Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin.	SPIN	2009	DBLP DOI BibTeX RDF	Wireless Sensor Networks, Distributed systems, Concurrency, Formal Modelling
56	Tim Kovse, Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik	Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation.	SPIN	2009	DBLP DOI BibTeX RDF
56	Dragan Bosnacki, Gerard J. Holzmann	Improving Spin's Partial-Order Reduction for Breadth-First Search.	SPIN	2005	DBLP DOI BibTeX RDF
56	Paolo Maggi, Riccardo Sisto	Using SPIN to Verify Security Properties of Cryptographic Protocols.	SPIN	2002	DBLP DOI BibTeX RDF
56	Clement Yuen, Wei Tjioe	Modeling and Verifying a Price Model for Congestion Control in Computer Networks Using Promela/Spin.	SPIN	2001	DBLP DOI BibTeX RDF
56	Heikki Tuominen	Embedding a Dialect of SDL in PROMELA.	SPIN	1999	DBLP DOI BibTeX RDF
53	Mordechai Ben-Ari	Tool Presentation: Teaching Concurrency and Model Checking.	SPIN	2009	DBLP DOI BibTeX RDF
53	Olga Shumsky Matlin, Ewing L. Lusk, William McCune	SPINning Parallel Systems Software.	SPIN	2002	DBLP DOI BibTeX RDF
52	Jan Christian Meyer, Anne C. Elster	Latency Impact on Spin-Lock Algorithms for Modern Shared Memory Multiprocessors.	CISIS	2008	DBLP DOI BibTeX RDF
52	Indranil Saha, Suman Roy 0001	A Finite State Analysis of Time-Triggered CAN (TTCAN) Protocol Using Spin.	ICCTA	2007	DBLP DOI BibTeX RDF
52	Alexander Khitun, Mingqiang Bao, Jooyoung Lee, Kang L. Wang, D. W. Lee, S. Wang	Cellular Nonlinear Network with Spin Wave Bus.	ITNG	2007	DBLP DOI BibTeX RDF
52	Xin Jiang	Efficient Spin Injection using Tunnel Injectors.	ICMENS	2005	DBLP DOI BibTeX RDF
52	Henry M. van Driel	Injecting and controlling spin populations and currents in semiconductors using optically induced quantum interference effects.	ICMENS	2005	DBLP DOI BibTeX RDF
52	Phuong Hoai Ha, Marina Papatriantafilou, Philippas Tsigas	Reactive Spin-locks: A Self-tuning Approach.	ISPAN	2005	DBLP DOI BibTeX RDF
52	Nicolae Goga, Judi Romijn	Guiding Spin Simulation.	ICFEM	2004	DBLP DOI BibTeX RDF
52	J. Christian Attiogbé	A Mechanically Proved Development Combining B Abstract Systems and Spin.	QSIC	2004	DBLP DOI BibTeX RDF
51	Martin Pelikan, Alexander K. Hartmann	Obtaining ground states of ising spin glasses via optimizing bonds instead of spins.	GECCO	2007	DBLP DOI BibTeX RDF	problem transformation, genetic algorithm, hierarchical BOA, univariate marginal distribution algorithm, spin glass
51	Mary Mehrnoosh Eshaghian-Wilner, Alexander Khitun, Shiva Navab, Kang L. Wang	A nano-scale reconfigurable mesh with spin waves.	Conf. Computing Frontiers	2006	DBLP DOI BibTeX RDF	nano-scale architectures, reconfigurable mesh, spin waves
51	Andrew E. Johnson 0002, Martial Hebert	Using Spin Images for Efficient Object Recognition in Cluttered 3D Scenes.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	oriented point, occlusion, 3D object recognition, clutter, point correspondence, surface mesh, surface matching, spin image
51	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino 0001, Ernesto Pimentel 0001	alpha SPIN: Extending SPIN with Abstraction.	SPIN	2002	DBLP DOI BibTeX RDF
51	Anca Browne, Henny Sipma, Ting Zhang 0001	Linking STeP with SPIN.	SPIN	2000	DBLP DOI BibTeX RDF
51	Heikki Tauriainen, Keijo Heljanko	Testing SPIN's LTL Formula Conversion into Büchi Automata with Randomly Generated Input.	SPIN	2000	DBLP DOI BibTeX RDF
51	Nicholas Weininger, Darren D. Cofer	Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study.	SPIN	2000	DBLP DOI BibTeX RDF
51	Theo C. Ruys	Low-Fat Recipes for SPIN.	SPIN	2000	DBLP DOI BibTeX RDF
51	Dragan Bosnacki, Dennis Dams, Leszek Holenderski	Symmetric Spin.	SPIN	2000	DBLP DOI BibTeX RDF
51	Gerard J. Holzmann	Logic Verification of ANSI-C Code with SPIN.	SPIN	2000	DBLP DOI BibTeX RDF
51	Jaco Geldenhuys, P. J. A. de Villiers	Runtime Efficient State Compaction in SPIN.	SPIN	1999	DBLP DOI BibTeX RDF
48	Jürgen Assfalg, Alberto Del Bimbo, Pietro Pala	Retrieval of 3D objects by visual similarity.	Multimedia Information Retrieval	2004	DBLP DOI BibTeX RDF	3D models, content-based retrieval, spin images
48	Klaus Havelund, Thomas Pressburger	Model Checking JAVA Programs using JAVA PathFinder.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Java, Model checking, Program verification, Concurrent programming, Deadlocks, Assertions, Spin
48	Paul Gastin, Pierre Moro	Minimal Counterexample Generation for SPIN.	SPIN	2007	DBLP DOI BibTeX RDF
48	Theo C. Ruys	Optimal Scheduling Using Branch and Bound with SPIN 4.0.	SPIN	2003	DBLP DOI BibTeX RDF
48	Ramazan Savas Aygün, Aidong Zhang	Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN.	SPIN	2002	DBLP DOI BibTeX RDF
48	Vivek K. Shanbhag, K. Gopinath	A SPIN-Based Model Checker for Telecommunication Protocols.	SPIN	2001	DBLP DOI BibTeX RDF
48	Fabrice Derepas, Paul Gastin	Model Checking Systems of Replicated Processes with Spin.	SPIN	2001	DBLP DOI BibTeX RDF
48	Marsha Chechik, Benet Devereux, Arie Gurfinkel	Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN.	SPIN	2001	DBLP DOI BibTeX RDF
48	Jiri Barnat, Lubos Brim, Jitka Stríbrná	Distributed LTL Model-Checking in SPIN.	SPIN	2001	DBLP DOI BibTeX RDF
48	Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen	Divide, Abstract, and Model-Check.	SPIN	1999	DBLP DOI BibTeX RDF
48	Wil Janssen, Radu Mateescu 0001, Sjouke Mauw, Peter Fennema, Petra van der Stappen	Model Checking for Managers.	SPIN	1999	DBLP DOI BibTeX RDF
48	Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth 0001	Assume-Guarantee Model Checking of Software: A Comparative Case Study.	SPIN	1999	DBLP DOI BibTeX RDF
48	Wenhui Zhang	Model Checking Operator Procedures.	SPIN	1999	DBLP DOI BibTeX RDF
48	Dragan Bosnacki	Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness.	SPIN	1999	DBLP DOI BibTeX RDF
48	Gerald Lüttgen, Victor Carreño	Analyzing Mode Confusion via Model Checking.	SPIN	1999	DBLP DOI BibTeX RDF
45	YanLiang Zhang, QingPing Zhou, Hongzhi Xu, GuoDong Kang, MaoFa Fang	Comparing the quantum memory-assisted entropic uncertainties of spin-qubit in presence of spin-qutrit and spin-qubit quantum memories in Heisenberg spin chains.	Quantum Inf. Process.	2023	DBLP DOI BibTeX RDF
45	Kasho Yamamoto, Kazushi Kawamura, Kota Ando, Normann Mertig, Takashi Takemoto, Masanao Yamaoka, Hiroshi Teramoto, Akira Sakai, Shinya Takamaeda-Yamazaki, Masato Motomura	STATICA: A 512-Spin 0.25M-Weight Annealing Processor With an All-Spin-Updates-at-Once Architecture for Combinatorial Optimization With Complete Spin-Spin Interactions.	IEEE J. Solid State Circuits	2021	DBLP DOI BibTeX RDF
45	Kasho Yamamoto, Kota Ando, Normann Mertig, Takashi Takemoto, Masanao Yamaoka, Hiroshi Teramoto, Akira Sakai, Shinya Takamaeda-Yamazaki, Masato Motomura	7.3 STATICA: A 512-Spin 0.25M-Weight Full-Digital Annealing Processor with a Near-Memory All-Spin-Updates-at-Once Architecture for Combinatorial Optimization with Complete Spin-Spin Interactions.	ISSCC	2020	DBLP DOI BibTeX RDF
44	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino 0001	Model Extraction for ARINC 653 Based Avionics Software.	SPIN	2007	DBLP DOI BibTeX RDF	apex, Real Time, software model checking, avionics, Model extraction
44	Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente	Partial-Order Reduction for General State Exploring Algorithms.	SPIN	2006	DBLP DOI BibTeX RDF
44	Abdul Sahid Khan, Madhavan Mukund, S. P. Suresh	Generic Verification of Security Protocols.	SPIN	2005	DBLP DOI BibTeX RDF
44	Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon	Verifying Pattern-Generated LTL Formulas: A Case Study.	SPIN	2005	DBLP DOI BibTeX RDF
44	Alastair F. Donaldson, Simon J. Gay	Etch: An Enhanced Type Checking Tool for Promela.	SPIN	2005	DBLP DOI BibTeX RDF
44	Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng	A Requirements Patterns-Driven Approach to Specify Systems and Check Properties.	SPIN	2003	DBLP DOI BibTeX RDF
44	Stefan Edelkamp	Promela Planning.	SPIN	2003	DBLP DOI BibTeX RDF
44	Hyun-Wook Jin, Ki-Seok Bang, Chuck Yoo, Jin-Young Choi, Hojung Cha	Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach.	SPIN	2002	DBLP DOI BibTeX RDF
44	Shin Nakajima 0001, Tetsuo Tamai	Behavioural Analysis of the Enterprise JavaBeansTM Component Architecture.	SPIN	2001	DBLP DOI BibTeX RDF
44	Michael Baldamus, Jochen Schröder-Babo	p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper).	SPIN	2001	DBLP DOI BibTeX RDF
44	Hyeongmook Lee, Woontack Woo	Tangible spin cube for 3D ring menu in real space.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	3D ring menu, augmented reality, tangible UI
44	Eunice E. Santos, Jeffrey M. Rickman, Gayathri Muthukrishnan, Shuangtong Feng	Efficient algorithms for parallelizing Monte Carlo simulations for 2D Ising spin models.	J. Supercomput.	2008	DBLP DOI BibTeX RDF	Parallel computing, Computational science, Performance prediction, Algorithm design and analysis, Parallel models, Ising model, LogP model, Data layout optimization
44	Xin Hui Li, Tiancheng Liu, Ying Li 0012, Ying Chen 0004	SPIN: Service Performance Isolation Infrastructure in Multi-tenancy Environment.	ICSOC	2008	DBLP DOI BibTeX RDF	resource accounting and management, byte code instrumentation, performance monitoring, Multi-tenancy