The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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