|
|
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 |
28 | Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi 0001 |
Unification & Sharing in Timed Automata Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, pp. 225-229, 2003, Springer, 3-540-40117-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Cormac Flanagan, Shaz Qadeer |
Thread-Modular Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, pp. 213-224, 2003, Springer, 3-540-40117-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | David Garlan, Serge Khersonsky, Jung Soo Kim |
Model Checking Publish-Subscribe Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, pp. 166-180, 2003, Springer, 3-540-40117-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Steven Eker, José Meseguer 0001, Ambarish Sridharanarayanan |
The Maude LTL Model Checker and Its Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, pp. 230-234, 2003, Springer, 3-540-40117-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Dragan Bosnacki, Stefan Leue (eds.) |
Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![Springer, 3-540-43477-1 The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Dennis Dams |
Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 14-21, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Tiziana Margaria, Oliver Niese, Bernhard Steffen |
Demonstration of an Automated Integrated Test Environment for Web-Based Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 250-253, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Benedikt Bollig, Martin Leucker, Michael Weber 0002 |
Local Parallel Model Checking for the Alternation-Free µ-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 128-147, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Per Bjesse |
Industrial Model Checking Based on Satisfiability Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 240, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Edmund M. Clarke |
SAT-Based Counterexample Guided Abstraction Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 1, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Alex Groce, Willem Visser |
Heuristic Model Checking for Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 242-245, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Radu Iosif |
Symmetry Reduction Criteria for Software Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 22-41, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Patrick Cousot |
Abstract Interpretation: Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 2-5, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Harry C. Li, Kathi Fisler, Shriram Krishnamurthi |
The Influence of Software Module Systems on Modular Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 60-78, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue |
Partial Order Reduction in Directed Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 112-127, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Denis Lugiez, Peter Niebert, Sarah Zennou |
Dynamic Bounds and Transition Merging for Local First Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 221-229, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Yves-Marie Quemener |
A Typical Testing Problem: Validating WML Cellphones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 241, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Matthew B. Dwyer (eds.) |
Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![Springer, 3-540-42124-6 The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Flavio Lerda, Willem Visser |
Addressing Dynamic Issues of Program Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 80-102, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Thomas Ball, Sriram K. Rajamani |
Automatically Validating Temporal Safety Properties of Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 103-122, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Doron A. Peled, Lenore D. Zuck |
From Model Checking to a Temporal Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 1-14, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal |
Applications of Model Checking at Honeywell Laboratories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 296-303, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Bernhard Steffen, Tiziana Margaria, Volker Braun |
Coarse-Granular Model Checking in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 304-312, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Javier Esparza, Keijo Heljanko |
Implementing LTL Model Checking with Net Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 37-56, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Hubert Garavel, Radu Mateescu 0001, Irina M. Smarandache |
Parallel State Space Construction for Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 217-234, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
state space construction, model-checking, verification, distributed algorithms, labeled transition system, LOTOS |
28 | Rob Gerth |
Model Checking if Your Life Depends on It a View from Intel's Trenches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 15, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Scott D. Stoller, Yanhong A. Liu |
Transformations for Model Checking Distributed Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 192-199, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Leszek Holenderski |
A Model Checking Project at Philips Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 288-295, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Guoping Jia, Susanne Graf |
Verification Experiments on the MASCARA Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 123-142, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled (eds.) |
The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996 ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Spin Verification System ![DIMACS/AMS, 978-0-8218-0680-7 The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
28 | Siedfried Löffler, Ahmed Serhrouchni |
Creating implementations from Promela models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Spin Verification System ![In: The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996, pp. 91-99, 1996, DIMACS/AMS, 978-0-8218-0680-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Gerard J. Holzmann, Orna Kupferman |
Not checking for closure under stuttering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Spin Verification System ![In: The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996, pp. 17-22, 1996, DIMACS/AMS, 978-0-8218-0680-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Sandeep K. Shukla, Daniel J. Rosenkrantz, S. S. Ravi |
A simulation and validation tool for self-stabilizing protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Spin Verification System ![In: The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996, pp. 153-164, 1996, DIMACS/AMS, 978-0-8218-0680-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Spin Verification System ![In: The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996, pp. ix-, 1996, DIMACS/AMS, 978-0-8218-0680-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | Fred S. Roberts, Bernard Chazelle, Stephen R. Mahaney |
Foreword. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Spin Verification System ![In: The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996, pp. vii-, 1996, DIMACS/AMS, 978-0-8218-0680-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | Elie Najm, Frank Olsen |
Protocol verification with reactive Promela/Rspin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Spin Verification System ![In: The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996, pp. 111-131, 1996, DIMACS/AMS, 978-0-8218-0680-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Stefan Leue, Peter B. Ladkin |
Implementing and verifying MSC specifications using Promela/XSpin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Spin Verification System ![In: The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996, pp. 65-89, 1996, DIMACS/AMS, 978-0-8218-0680-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | V. Natarajan, Gerard J. Holzmann |
Outline for an operational semantics of Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Spin Verification System ![In: The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996, pp. 133-152, 1996, DIMACS/AMS, 978-0-8218-0680-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Gerard J. Holzmann, Doron A. Peled, Mihalis Yannakakis |
On nested depth first search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Spin Verification System ![In: The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996, pp. 23-31, 1996, DIMACS/AMS, 978-0-8218-0680-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Jean-Charles Grégoire |
State space compression with graph encoded sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Spin Verification System ![In: The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996, pp. 1-15, 1996, DIMACS/AMS, 978-0-8218-0680-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | John W. O'Leary, Bratin Saha, Mark R. Tuttle |
Model Checking Transactional Memory with Spin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 22-26 June 2009, Montreal, Québec, Canada, pp. 335-342, 2009, IEEE Computer Society, 978-0-7695-3659-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Jaewan Seo, Moonseong Kim, Sang-Hun Cho, Hyunseung Choo |
An Energy and Distance Aware Data Dissemination Protocol Based on SPIN in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2008, International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I, pp. 928-937, 2008, Springer, 978-3-540-69838-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Data Dissemination Protocol, Wireless Sensor Networks, Energy Efficiency, Lifetime, SPMS |
28 | Yiran Chen 0001, Xiaobin Wang, Hai Li 0001, Harry Liu, Dimitar V. Dimitrov |
Design Margin Exploration of Spin-Torque Transfer RAM (SPRAM). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 9th International Symposium on Quality of Electronic Design (ISQED 2008), 17-19 March 2008, San Jose, CA, USA, pp. 684-690, 2008, IEEE Computer Society, 978-0-7695-3117-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Pieter H. Hartel, Theo C. Ruys, Marc C. W. Geilen |
Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008, pp. 1-10, 2008, IEEE, 978-1-4244-2735-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Gerard J. Holzmann, Dragan Bosnacki |
The Design of a Multicore Extension of the SPIN Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 33(10), pp. 659-674, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Logics and meanings of Programs, Model Checking, Distributed Programming, Models of Computation, Software/Program Verification |
28 | Andrei Bautu, Elena Bautu |
Searching Ground States of Ising Spin Glasses with Genetic Algorithms and Binary Particle Swarm Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NICSO ![In: Nature Inspired Cooperative Strategies for Optimization (NICSO 2007), pp. 85-94, 2007, Springer, 978-3-540-78986-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Miki Aoyagi, Sumio Watanabe |
Resolution of Singularities and Stochastic Complexity of Complete Bipartite Graph-Type Spin Model in Bayesian Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAI ![In: Modeling Decisions for Artificial Intelligence, 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007, Proceedings, pp. 443-454, 2007, Springer, 978-3-540-73728-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Andrei Bautu, Elena Bautu, Henri Luchian |
Particle Swarm Optimization Hybrids for Searching Ground States of Ising Spin Glasses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007, Timisoara, Romania, September 26-29, 2007, pp. 415-418, 2007, IEEE Computer Society, 978-0-7695-3078-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Martin Pelikan, Alexander K. Hartmann, Kumara Sastry |
Hierarchical BOA, Cluster Exact Approximation, and Ising Spin Glasses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN IX, 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Procedings, pp. 122-131, 2006, Springer, 3-540-38990-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Timothy Bisson, Scott A. Brandt, Darrell D. E. Long |
NVCache: Increasing the Effectiveness of Disk Spin-Down Algorithms with Caching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 14th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2006), 11-14 September 2006, Monterey, California, USA, pp. 422-432, 2006, IEEE Computer Society, 0-7695-2573-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Makoto Uchida, Susumu Shirayama |
A New Analysis Method for Complex Network Based on Dynamics of Spin Diffusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2006, 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part III, pp. 1063-1066, 2006, Springer, 3-540-34383-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Achraf Makni, Rafik Bouaziz, Faïez Gargouri |
Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 15-17 June 2006, Budapest, Hungary, pp. 160-167, 2006, IEEE Computer Society, 0-7695-2617-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Cristina Conde, Licesio J. Rodríguez-Aragón, Enrique Cabello |
Automatic 3D Face Feature Points Extraction with Spin Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAR (2) ![In: Image Analysis and Recognition, Third International Conference, ICIAR 2006, Póvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part II, pp. 317-328, 2006, Springer, 3-540-44894-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Joes Staal, Stiliyan Kalitzin, Max A. Viergever |
A Trained Spin-Glass Model for Grouping of Image Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 27(7), pp. 1172-1182, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Jonathan Z. Sun |
Spin-transfer Induced Switching in Magnetic Nanopillars. ![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. 9, 2005, IEEE Computer Society, 0-7695-2398-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Alexandr A. Savinov |
SPIN! Data Mining System Based on Component Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PKDD ![In: Knowledge Discovery in Databases: PKDD 2004, 8th European Conference on Principles and Practice of Knowledge Discovery in Databases, Pisa, Italy, September 20-24, 2004, Proceedings, pp. 555-558, 2004, Springer, 3-540-23108-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Yongjian Li, Rui Xue |
Design of a CIL Connector to SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings, pp. 349-354, 2004, IEEE Computer Society, 0-7695-2209-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Eunice E. Santos, Gayathri Muthukrishnan |
Efficient Simulation Based on Sweep Selection for 2-D and 3-D Ising Spin Models on Hierarchical Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Vincent Beaudenon, Emmanuelle Encrenaz, Jean Lou Desbarbieux |
Design Validation of ZCSP with SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 18-20 June 2003, Guimaraes, Portugal, pp. 102-110, 2003, IEEE Computer Society, 0-7695-1887-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo |
Using Spin to Generate Testsfrom ASM Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 263-277, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Grzegorz Kamieniarz, Ryszard Matysiak |
Deterministic Large-Scale Simulations of the Low-Dimensional Magnetic Spin Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers, pp. 1091-1098, 2003, Springer, 3-540-21946-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Martha González |
SPIN: A Toolkit for Distributed Scientific Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 23rd International Conference of the Chilean Computer Science Society (SCCC 2003), 6-7 November 2003, Chillan, Chile, pp. 49-59, 2003, IEEE Computer Society, 0-7695-2008-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Martin E. Dyer, Alistair Sinclair, Eric Vigoda, Dror Weitz |
Mixing in Time and Space for Lattice Spin Systems: A Combinatorial View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RANDOM ![In: Randomization and Approximation Techniques, 6th International Workshop, RANDOM 2002, Cambridge, MA, USA, September 13-15, 2002, Proceedings, pp. 149-163, 2002, Springer, 3-540-44147-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | S. Roy, G. Kar |
Quantum Cryptography, Eavesdropping, and Unsharp Spin Measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QCQC ![In: Quantum Computing and Quantum Communications, First NASA International Conference, QCQC'98, Palm Springs, California, USA, February 17-20, 1998, Selected Papers, pp. 214-217, 1998, Springer, 3-540-65514-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Kei Homma, Satoru Izumi, Yuki Abe, Kaoru Takahashi, Atsushi Togashi |
Using the Model Checker Spin for Web Application Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAINT ![In: Tenth Annual International Symposium on Applications and the Internet, SAINT 2010, Seoul, Korea, 19-23 July, 2010, Proceedings, pp. 137-140, 2010, IEEE Computer Society, 978-1-4244-7526-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Model Checking, Web Application, Spin |
27 | Hui Jin, Yue-ling Zhao, Da-zhi Wang |
Optimal Scheduling for the Cleaning Spin Pack in Polyester Production. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIS (1) ![In: 9th International Conference on Hybrid Intelligent Systems (HIS 2009), August 12-14, 2009, Shenyang, China, pp. 103-107, 2009, IEEE Computer Society, 978-0-7695-3745-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Polyester filament, MNILP, spin pack, scheduling, Tabu search |
27 | Simon Kos, Marina Hruska, Scott A. Crooker, Avadh Saxena, Darryl L. Smith |
Modeling Spin-Polarized Electron Transport in Semiconductors for Spintronics Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Eng. ![In: Comput. Sci. Eng. 9(5), pp. 46-52, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
semiconductor spintronics, electron charge, electronic spin, numerical solution |
27 | Peter Damaschke |
Multiple Spin-Block Decisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 44(1), pp. 33-48, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Spin-block problem, Implementationlinebreak[4] issues, Multithreading, Online algorithms, Randomization |
27 | John Zahorjan, Edward D. Lazowska, Derek L. Eager |
The Effect of Scheduling Discipline on Spin Overhead in Shared Memory Parallel Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 2(2), pp. 180-198, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
scheduling discipline, spin overhead, shared memory parallel systems, busywaiting, data-dependent execution, memoryarchitecture, scheduling, performance evaluation, parallel machines, spinning, multiprogramming, parallel processors |
24 | Feng Shi 0010, Yiorgos Makris |
Enhancing Simulation Accuracy through Advanced Hazard Detection in Asynchronous Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 58(3), pp. 394-408, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Edward G. Belaga, Daniel Grucker, Tarek Khalil, Jean Richert, Kees van Schenk Brill |
Water as a Quantum Computing Device. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UC ![In: Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings, pp. 287, 2009, Springer, 978-3-642-03744-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Toshiaki Aoki |
Model Checking Multi-Task Software on Real-Time Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA, pp. 551-555, 2008, IEEE Computer Society, 978-0-7695-3132-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Alex Groce, Rajeev Joshi |
Random testing and model checking: building a common framework for nondeterministic exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), WODA 2008, Seattle, Washington, USA, July 21, 2008, pp. 22-28, 2008, ACM, 978-1-60558-054-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
model checking, dynamic analysis, random testing, test frameworks |
24 | Annika Wolff, Paul Mulholland, Zdenek Zdráhal, Richard W. Joiner |
Combining gameplay and narrative techniques to enhance the user experience of viewing galleries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Entertain. ![In: Comput. Entertain. 5(1), pp. 6, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
child-friendly interface, content reuse, games, narrative |
24 | Jeffrey P. Rybczynski, Darrell D. E. Long, Ahmed Amer |
Adapting Predictions and Workloads for Power Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 14th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2006), 11-14 September 2006, Monterey, California, USA, pp. 3-12, 2006, IEEE Computer Society, 0-7695-2573-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Access Prediction, Disk Management, Energy Conservation, Power-Aware Computing |
24 | Shahid Jabbar, Stefan Edelkamp |
I/O Efficient Directed Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings, pp. 313-329, 2005, Springer, 3-540-24297-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Stéphane Louis Dit Picard, Samuel Degrande, Christophe Gransart, Christophe Chaillou, Grégory Saugis |
VRML97 distributed authoring interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web3D ![In: Proceeding of the Eighth International Conference on 3D Web Technology, Web3D 2003, Saint Malo, France, March 9-12, 2003, pp. 135-146, 2003, ACM, 1-58113-644-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
External Application Interface (EAI), Common Object Request Broker Architecture (CORBA), Virtual Reality Modeling Language (VRML), Collaborative Virtual Environment (CVE) |
24 | Taro Nagahama, Shinji Yuasa, Yoshishige Suzuki |
Quantum Size Effect in Magnetic Tunnel Junctions with Single-Crystal Ultrathin Electrodes. ![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. 316-320, 2003, IEEE Computer Society, 0-7695-1947-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Michael Schmitt, Maximilian Ibel, Anurag Acharya 0001, Klaus E. Schauser |
Adaptive Receiver Notification for Non-Dedicated Workstation Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, Paris, France, October 12-18, 1998, pp. 256-263, 1998, IEEE Computer Society, 0-8186-8591-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Message Passing, Cluster Computing, SCI, Co-Scheduling, Active Messages |
24 | Andrea C. Arpaci-Dusseau, David E. Culler, Alan M. Mainwaring |
Scheduling with Implicit Information in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1998 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, SIGMETRICS '98 / PERFORMANCE '98, Madison, Wisconsin, USA, June 22-26, 1998, pp. 233-243, 1998, ACM, 0-89791-982-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | John M. Mellor-Crummey, Michael L. Scott |
Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 9(1), pp. 21-65, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Anna R. Karlin, Kai Li 0001, Mark S. Manasse, Susan S. Owicki |
Empirical Studies of Competitive Spinning for a Shared-Memory Multiprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Thirteenth ACM Symposium on Operating System Principles, SOSP 1991, Asilomar Conference Center, Pacific Grove, California, USA, October 13-16, 1991, pp. 41-55, 1991, ACM, 0-89791-447-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
24 | D. G. McVitie, L. B. Wilson |
The Stable Marriage Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 14(7), pp. 486-490, 1971. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
23 | Moonseong Kim, Matt W. Mutka, Hyunseung Choo |
A Hierarchical Data Dissemination Protocol Using Probability-Based Clustering for Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (9) ![In: Human Interface and the Management of Information. Information and Interaction, Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II, pp. 149-158, 2009, Springer, 978-3-642-02558-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Data Dissemination Protocol, Wireless Sensor Networks (WSNs), Energy Efficiency, Network Lifetime, SPIN, SPMS |
23 | Amar Kumar Behera, Shiv G. Kapoor, Richard E. DeVor |
A Classification and Coding System for Micro-Assembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPAS ![In: Micro-Assembly Technologies and Applications, IFIP TC5 WG5.5 Fourth International Precision Assembly Seminar (IPAS'2008), Chamonix, France, February 10-13, 2008, pp. 37-53, 2008, Springer, 978-0-387-77402-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
micro-parts, micro-assembly, spin bearing, classification, coding |
23 | Haibin Ling, Kazunori Okada |
An Efficient Earth Mover's Distance Algorithm for Robust Histogram Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 29(5), pp. 840-853, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
histogram-based descriptor, interest point matching, shape matching, SIFT, transportation problem, Earth Mover's Distance, shape context, spin image |
23 | Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis |
Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007., pp. 238-251, 2007, Springer, 978-3-540-75100-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
intrusion attacks, e-commerce protocols, model checking, SPIN |
23 | Indranil Saha, Debapriyay Mukhopadhyay |
A Distributed Algorithm of Fault Recovery for Stateful Failover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings, pp. 738-749, 2007, Springer, 978-3-540-72503-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
stateful failover, verification of programs, distributed algorithm, SPIN model checker |
23 | Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro |
Model Checking Temporal Metric Specifications with Trio2Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, pp. 388-395, 2007, Springer, 978-3-540-75697-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, Spin |
23 | Rafael H. Bordini, Michael Fisher 0001, Willem Visser, Michael J. Wooldridge |
Verifying Multi-agent Programs by Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Agents Multi Agent Syst. ![In: Auton. Agents Multi Agent Syst. 12(2), pp. 239-256, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
AgentSpeak, JPF, Model checking, Spin, Agent-oriented programming |
23 | Xi Chen 0024, Harry Hsieh, Felice Balarin |
Verification Approach of Metropolis Design Framework for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 34(1), pp. 3-27, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
metropolis, simulation, formal verification, meta-model, spin, LTL, property, LOC |
23 | Yi Liu, Hongbin Zha, Hong Qin 0001 |
The Generalized Shape Distributions for Shape Matching and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMI ![In: 2006 International Conference on Shape Modeling and Applications (SMI 2006), 14-16 June 2006, Matsushima, Japan, pp. 16, 2006, IEEE Computer Society, 0-7695-2591-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Shape distributions, Vector quantization and spatial layouts, Spin images |
23 | Stéphane Maag, Fatiha Zaïdi |
Testing methodology for an ad hoc routing protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PM2HW2N ![In: Proceedings of the 1st ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wired Networks, PM2HW2N 2006, Terromolinos, Spain, October 2, 2006, pp. 48-55, 2006, ACM, 1-59593-502-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
PLTL, ad hoc network protocols, simulations, model checking, verification, testing, SPIN |
23 | John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger |
Verifying Time Partitioning in the DEOS Scheduling Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 26(2), pp. 103-135, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
program model checking, time partitioning, verification, spin, predicate abstraction |
23 | YoungJoon Byun, Beverly A. Sanders |
A pattern-based development methodology for communication protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1524-1528, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
design pattern, communication protocols, pattern language, development methodology, SPIN model checker |
23 | Alastair F. Donaldson, Alice Miller 0001 |
Automatic Symmetry Detection for Model Checking Using Computational Group Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, pp. 481-496, 2005, Springer, 3-540-27882-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Promela /Spin, distributed systems, model checking, concurrency, formal modelling, communicating processes, Gap, symmetry reduction |
23 | Noga Alon, Konstantin Makarychev, Yury Makarychev, Assaf Naor |
Quadratic forms on graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 37th Annual ACM Symposium on Theory of Computing, Baltimore, MD, USA, May 22-24, 2005, pp. 486-493, 2005, ACM, 1-58113-960-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Grothendieck's inequaity, rounding techniques, correlation clustering, spin glasses |
23 | Jeffrey P. Rybczynski, Darrell D. E. Long, Ahmed Amer |
Expecting the unexpected: adaptation for predictive energy conservation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
StorageSS ![In: Proceedings of the 2005 ACM Workshop On Storage Security And Survivability, StorageSS 2005, Fairfax, VA, USA, November 11, 2005, pp. 130-134, 2005, ACM, 1-59593-233-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
disk spin-down, mobile computing, prediction, power management, prefetching, adaptive policies |
23 | Twan Basten, Dragan Bosnacki, Marc Geilen |
Cluster-Based Partial-Order Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 11(4), pp. 365-402, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
(LTL) model checking, concurrency, formal verification, SPIN, partial-order reduction, state explosion |
23 | Manuel J. Fernández-Iglesias, Martín Llamas Nistal |
An Undergraduate Course on Protocol Engineering - How to Teach Formal Methods Without Scaring Students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFM ![In: Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings, pp. 153-165, 2004, Springer, 3-540-23611-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
undergraduate courses, Spin, Protocol engineering, Promela, case-based learning |
Displaying result #601 - #700 of 3886 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|