|
|
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 |
115 | Satoshi Sugahara, Masaaki Tanaka |
Spin MOSFETs as a basis for spintronics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Storage ![In: ACM Trans. Storage 2(2), pp. 197-219, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
spin MOSFETs, spin transistors, MOSFETs, Spintronics |
108 | Theo C. Ruys |
SPIN Tutorial: How to Become a SPIN Doctor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 6-13, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
104 | Gerard J. Holzmann |
The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings, pp. 232-244, 1999, Springer, 3-540-66499-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
100 | Alexander Khitun, Kang L. Wang |
Nano Logic Circuits with Spin Wave Bus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Third International Conference on Information Technology: New Generations (ITNG 2006), 10-12 April 2006, Las Vegas, Nevada, USA, pp. 747-752, 2006, IEEE Computer Society, 0-7695-2497-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
logic devices, Spintronics, spin waves |
96 | Corina S. Pasareanu, Dimitra Giannakopoulou |
Towards a Compositional SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, pp. 234-251, 2006, Springer, 3-540-33102-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
model checking, learning, Assume-guarantee reasoning |
96 | Peter C. Dillinger, Panagiotis Manolios |
Fast and Accurate Bitstate Verification for SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, pp. 57-75, 2004, Springer, 3-540-21314-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
92 | T. Manago |
Spin Detection and Injection Using Ferromagnetic Metal and Semiconductor Hybrid Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMENS ![In: 2003 International Conference on MEMS, NANO, and Smart Systems (ICMENS 2003), 20-23 July 2003, Banff, Alberta, Canada, pp. 142-147, 2003, IEEE Computer Society, 0-7695-1947-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
83 | Cai-Dong Wang, Hiroaki Takada, Ken Sakamura |
Priority Inheritance Spin Locks for Multiprocessor Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1996 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '96), June 12-14, 1996, Beijing, China, pp. 70-76, 1996, IEEE Computer Society, 0-8186-7460-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings, pp. 22-39, 1999, Springer, 3-540-66499-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
80 | Gerard J. Holzmann, Theo C. Ruys |
Effective Bug Hunting with Spin and Modex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings, pp. 24-24, 2005, Springer, 3-540-28195-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 26th International Conference on Computer Design, ICCD 2008, 12-15 October 2008, Lake Tahoe, CA, USA, Proceedings, pp. 520-525, 2008, IEEE Computer Society, 978-1-4244-2657-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Fifth International Conference on Information Technology: New Generations (ITNG 2008), 7-8 April 2008, Las Vegas, Nevada, USA, pp. 1107-1110, 2008, IEEE Computer Society, 978-0-7695-3099-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
nanoscale architectures, logic circuit, spin waves |
75 | Theodore Johnson, Krishna Harathi |
A Prioritized Multiprocessor Spin Lock. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 8(9), pp. 926-933, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, pp. 223-242, 2007, Springer, 978-3-540-73369-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
71 | Muffy Calder, Alice Miller 0001 |
Using SPIN for Feature Interaction Analysis - A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 143-162, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (2) ![In: Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part II, pp. 36-47, 2004, Springer, 3-540-22343-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
68 | Jessica Chen, Hanmei Cui |
Translation from Adapted UML to Promela for CORBA-Based Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, pp. 234-251, 2004, Springer, 3-540-21314-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 2(4), pp. 382-393, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings, pp. 261-276, 1999, Springer, 3-540-66499-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, pp. 447-454, 2008, ACM, 978-1-60558-130-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings, pp. 325-342, 2008, Springer, 978-3-540-85113-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
64 | Viet Yen Nguyen, Theo C. Ruys |
Incremental Hashing for Spin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings, pp. 232-249, 2008, Springer, 978-3-540-85113-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings, pp. 236-250, 2005, Springer, 3-540-28195-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, pp. 267-285, 2004, Springer, 3-540-21314-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
64 | Theo C. Ruys, Gerard J. Holzmann |
Advanced SPIN Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, pp. 304-305, 2004, Springer, 3-540-21314-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
64 | Paul Gastin, Pierre Moro, Marc Zeitoun |
Minimization of Counterexamples in SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, pp. 92-108, 2004, Springer, 3-540-21314-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
64 | Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue |
Directed Explicit Model Checking with HSF-SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 57-79, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
61 | Xiang Wan, Guohui Lin |
CISA: Combined NMR Resonance Connectivity Information Determination and Sequential Assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 4(3), pp. 336-348, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (2) ![In: Computational Science - ICCS 2009, 9th International Conference, Baton Rouge, LA, USA, May 25-27, 2009, Proceedings, Part II, pp. 141-150, 2009, Springer, 978-3-642-01972-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Multim. ![In: IEEE Trans. Multim. 9(3), pp. 589-599, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
60 | H. Quynh Dinh, Steven Kropac |
Multi-Resolution Spin-Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR (1) ![In: 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2006), 17-22 June 2006, New York, NY, USA, pp. 863-870, 2006, IEEE Computer Society, 0-7695-2597-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
60 | Nicola Brusco, Marco Andreetto, Andrea Giorgi, Guido Maria Cortelazzo |
3D Registration by Textured Spin-Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DIM ![In: Fifth International Conference on 3D Digital Imaging and Modeling (3DIM 2005), 13-16 June 2005, Ottawa, Ontario, Canada, pp. 262-269, 2005, IEEE Computer Society, 0-7695-2327-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
60 | Shoucheng Zhang |
The Intrinsic Spin Hall Effect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMENS ![In: 2005 International Conference on MEMS, NANO, and Smart Systems (ICMENS 2005), 24-27 July 2005, Banff, Alberta, Canada, pp. 7, 2005, IEEE Computer Society, 0-7695-2398-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
60 | David Faragó, Peter H. Schmitt |
Improving Non-Progress Cycle Checks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, pp. 50-67, 2009, Springer, 978-3-642-02651-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, pp. 205-222, 2009, Springer, 978-3-642-02651-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings, pp. 250-269, 2008, Springer, 978-3-540-85113-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 30(3), pp. 199-216, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Emerg. Technol. Comput. Syst. ![In: ACM J. Emerg. Technol. Comput. Syst. 3(2), pp. 5, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 843-850, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), December 4-6, 1996, Washington, DC, USA, pp. 106-114, 1996, IEEE Computer Society, 0-8186-7689-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR (1) ![In: 2001 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2001), with CD-ROM, 8-14 December 2001, Kauai, HI, USA, pp. 769-776, 2001, IEEE Computer Society, 0-7695-1272-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
57 | Ted Hills |
Response to A Note on Structured Interrupts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 28(4), pp. 31-33, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, pp. 223-240, 2009, Springer, 978-3-642-02651-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, pp. 143-147, 2009, Springer, 978-3-642-02651-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
56 | Dragan Bosnacki, Gerard J. Holzmann |
Improving Spin's Partial-Order Reduction for Breadth-First Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings, pp. 91-105, 2005, Springer, 3-540-28195-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
56 | Paolo Maggi, Riccardo Sisto |
Using SPIN to Verify Security Properties of Cryptographic Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 187-204, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 272-287, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
56 | Heikki Tuominen |
Embedding a Dialect of SDL in PROMELA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings, pp. 245-260, 1999, Springer, 3-540-66499-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
53 | Mordechai Ben-Ari |
Tool Presentation: Teaching Concurrency and Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, pp. 6-11, 2009, Springer, 978-3-642-02651-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Olga Shumsky Matlin, Ewing L. Lusk, William McCune |
SPINning Parallel Systems Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 213-220, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
52 | Jan Christian Meyer, Anne C. Elster |
Latency Impact on Spin-Lock Algorithms for Modern Shared Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIS ![In: Second International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2008), March 4th-7th, 2008, Technical University of Catalonia, Barcelona, Spain, pp. 786-791, 2008, IEEE Computer Society, 978-0-7695-3109-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
52 | Indranil Saha, Suman Roy 0001 |
A Finite State Analysis of Time-Triggered CAN (TTCAN) Protocol Using Spin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCTA ![In: 2007 International Conference on Computing: Theory and Applications (ICCTA 2007), 5-7 March 2007, Kolkata, India, pp. 77-81, 2007, IEEE Computer Society, 978-0-7695-2770-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2-4 April 2007, Las Vegas, Nevada, USA, pp. 915-919, 2007, IEEE Computer Society, 978-0-7695-2776-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
52 | Xin Jiang |
Efficient Spin Injection using Tunnel Injectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMENS ![In: 2005 International Conference on MEMS, NANO, and Smart Systems (ICMENS 2005), 24-27 July 2005, Banff, Alberta, Canada, pp. 8, 2005, IEEE Computer Society, 0-7695-2398-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMENS ![In: 2005 International Conference on MEMS, NANO, and Smart Systems (ICMENS 2005), 24-27 July 2005, Banff, Alberta, Canada, pp. 40, 2005, IEEE Computer Society, 0-7695-2398-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
52 | Phuong Hoai Ha, Marina Papatriantafilou, Philippas Tsigas |
Reactive Spin-locks: A Self-tuning Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 8th International Symposium on Parallel Architectures, Algorithms, and Networks, ISPAN 2005, December 7-9. 2005, Las Vegas, Nevada, USA, pp. 33-39, 2005, IEEE Computer Society, 0-7695-2509-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
52 | Nicolae Goga, Judi Romijn |
Guiding Spin Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, pp. 176-193, 2004, Springer, 3-540-23841-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
52 | J. Christian Attiogbé |
A Mechanically Proved Development Combining B Abstract Systems and Spin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: 4th International Conference on Quality Software (QSIC 2004), 8-10 September 2004, Braunschweig, Germany, pp. 42-49, 2004, IEEE Computer Society, 0-7695-2207-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
51 | Martin Pelikan, Alexander K. Hartmann |
Obtaining ground states of ising spin glasses via optimizing bonds instead of spins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 628, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the Third Conference on Computing Frontiers, 2006, Ischia, Italy, May 3-5, 2006, pp. 65-70, 2006, ACM, 1-59593-302-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 21(5), pp. 433-449, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 254-258, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
51 | Anca Browne, Henny Sipma, Ting Zhang 0001 |
Linking STeP with SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings, pp. 181-186, 2000, Springer, 3-540-41030-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
51 | Heikki Tauriainen, Keijo Heljanko |
Testing SPIN's LTL Formula Conversion into Büchi Automata with Randomly Generated Input. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings, pp. 54-72, 2000, Springer, 3-540-41030-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
51 | Nicholas Weininger, Darren D. Cofer |
Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings, pp. 93-112, 2000, Springer, 3-540-41030-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
51 | Theo C. Ruys |
Low-Fat Recipes for SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings, pp. 287-321, 2000, Springer, 3-540-41030-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
51 | Dragan Bosnacki, Dennis Dams, Leszek Holenderski |
Symmetric Spin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings, pp. 1-19, 2000, Springer, 3-540-41030-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
51 | Gerard J. Holzmann |
Logic Verification of ANSI-C Code with SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings, pp. 131-147, 2000, Springer, 3-540-41030-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
51 | Jaco Geldenhuys, P. J. A. de Villiers |
Runtime Efficient State Compaction in SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings, pp. 12-21, 1999, Springer, 3-540-66499-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
48 | Jürgen Assfalg, Alberto Del Bimbo, Pietro Pala |
Retrieval of 3D objects by visual similarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multimedia Information Retrieval ![In: Proceedings of the 6th ACM SIGMM International Workshop on Multimedia Information Retrieval, MIR 2004, October 15-16, 2004, New York, NY, USA, pp. 77-83, 2004, ACM, 1-58113-940-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
3D models, content-based retrieval, spin images |
48 | Klaus Havelund, Thomas Pressburger |
Model Checking JAVA Programs using JAVA PathFinder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 2(4), pp. 366-381, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, pp. 24-38, 2007, Springer, 978-3-540-73369-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Theo C. Ruys |
Optimal Scheduling Using Branch and Bound with SPIN 4.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, pp. 1-17, 2003, Springer, 3-540-40117-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
48 | Ramazan Savas Aygün, Aidong Zhang |
Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 205-212, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
48 | Vivek K. Shanbhag, K. Gopinath |
A SPIN-Based Model Checker for Telecommunication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 252-271, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
48 | Fabrice Derepas, Paul Gastin |
Model Checking Systems of Replicated Processes with Spin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 235-251, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
48 | Marsha Chechik, Benet Devereux, Arie Gurfinkel |
Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 16-36, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
48 | Jiri Barnat, Lubos Brim, Jitka Stríbrná |
Distributed LTL Model-Checking in SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 200-216, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
48 | Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen |
Divide, Abstract, and Model-Check. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings, pp. 57-76, 1999, Springer, 3-540-66499-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
48 | Wil Janssen, Radu Mateescu 0001, Sjouke Mauw, Peter Fennema, Petra van der Stappen |
Model Checking for Managers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings, pp. 92-107, 1999, Springer, 3-540-66499-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings, pp. 168-183, 1999, Springer, 3-540-66499-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
48 | Wenhui Zhang |
Model Checking Operator Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings, pp. 200-215, 1999, Springer, 3-540-66499-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
48 | Dragan Bosnacki |
Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings, pp. 40-56, 1999, Springer, 3-540-66499-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
48 | Gerald Lüttgen, Victor Carreño |
Analyzing Mode Confusion via Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings, pp. 120-135, 1999, Springer, 3-540-66499-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 22(12), pp. 432, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Solid State Circuits ![In: IEEE J. Solid State Circuits 56(1), pp. 165-178, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSCC ![In: 2020 IEEE International Solid- State Circuits Conference, ISSCC 2020, San Francisco, CA, USA, February 16-20, 2020, pp. 138-140, 2020, IEEE, 978-1-7281-3205-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, pp. 243-262, 2007, Springer, 978-3-540-73369-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, pp. 271-287, 2006, Springer, 3-540-33102-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Abdul Sahid Khan, Madhavan Mukund, S. P. Suresh |
Generic Verification of Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings, pp. 221-235, 2005, Springer, 3-540-28195-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon |
Verifying Pattern-Generated LTL Formulas: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings, pp. 200-220, 2005, Springer, 3-540-28195-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Alastair F. Donaldson, Simon J. Gay |
Etch: An Enhanced Type Checking Tool for Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings, pp. 266-271, 2005, Springer, 3-540-28195-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, pp. 18-33, 2003, Springer, 3-540-40117-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
44 | Stefan Edelkamp |
Promela Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, pp. 197-212, 2003, Springer, 3-540-40117-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 170-186, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
44 | Shin Nakajima 0001, Tetsuo Tamai |
Behavioural Analysis of the Enterprise JavaBeansTM Component Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 163-182, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 183-191, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
44 | Hyeongmook Lee, Woontack Woo |
Tangible spin cube for 3D ring menu in real space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Extended Abstracts Volume, Atlanta, Georgia, USA, April 10-15, 2010, pp. 4147-4152, 2010, ACM, 978-1-60558-930-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 44(3), pp. 274-290, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings, pp. 649-663, 2008, 978-3-540-89647-0. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|