Search Results

There are 1247787 results for: content related to: The Interpretative Method of “Unlock”

  1. Semaphores and Locks

    Modern Multithreading: Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs

    Richard H. Carver, Kuo-Chung Tai, Pages: 84–176, 2005

    Published Online : 15 NOV 2005, DOI: 10.1002/0471744174.ch3

  2. The Expiration of IPO Share Lockups

    The Journal of Finance

    Volume 56, Issue 2, April 2001, Pages: 471–500, Laura Casares Field and Gordon Hanka

    Version of Record online : 17 DEC 2002, DOI: 10.1111/0022-1082.00334

  3. A step towards refining and translating B control annotations to Handel-C

    Concurrency and Computation: Practice and Experience

    Volume 22, Issue 8, 10 June 2010, Pages: 1023–1048, W. Ifill and S. Schneider

    Version of Record online : 5 MAR 2010, DOI: 10.1002/cpe.1427

  4. Predicting potential deadlocks in multithreaded programs

    Concurrency and Computation: Practice and Experience

    Volume 27, Issue 17, 10 December 2015, Pages: 5261–5287, Seyed Morteza Babamir, Elmira Hassanzade and Mona Azimpour

    Version of Record online : 25 JUN 2015, DOI: 10.1002/cpe.3568

  5. Mining temporal rules for software maintenance

    Journal of Software Maintenance and Evolution: Research and Practice

    Volume 20, Issue 4, July/August 2008, Pages: 227–247, David Lo, Siau-Cheng Khoo and Chao Liu

    Version of Record online : 9 JUL 2008, DOI: 10.1002/smr.375

  6. Disorder and damage of base-isolated medical facilities when subjected to near-fault and long-period ground motions

    Earthquake Engineering & Structural Dynamics

    Volume 43, Issue 11, September 2014, Pages: 1683–1701, Yundong Shi, Masahiro Kurata and Masayoshi Nakashima

    Version of Record online : 16 MAR 2014, DOI: 10.1002/eqe.2417

  7. Automating network configuration tasks using multi-level modeling

    Bell Labs Technical Journal

    Volume 12, Issue 4, Winter 2008, Pages: 83–101, Bing Leng, Dave P. Weeks and Manoj K. Mahapatra

    Version of Record online : 27 FEB 2008, DOI: 10.1002/bltj.20268

  8. Describing Combinational and Sequential Logic using Verilog HDL

    FSM-Based Digital Design Using Verilog HDL

    Peter Minns, Ian Elliott, Pages: 197–265, 2008

    Published Online : 1 APR 2008, DOI: 10.1002/9780470987629.ch8

  9. A deadlock detection tool for concurrent Java programs

    Software: Practice and Experience

    Volume 29, Issue 7, June 1999, Pages: 577–603, Claudio Demartini, Radu Iosif and Riccardo Sisto

    Version of Record online : 24 JUN 1999, DOI: 10.1002/(SICI)1097-024X(199906)29:7<577::AID-SPE246>3.0.CO;2-V

  10. Do Extrinsic Dispositions Need Extrinsic Causal Bases?

    Philosophy and Phenomenological Research

    Volume 84, Issue 3, May 2012, Pages: 622–638, GABRIELE CONTESSA

    Version of Record online : 11 JAN 2011, DOI: 10.1111/j.1933-1592.2010.00435.x

  11. Multistate/Multifunctional Molecular-Level Systems: Photochromic Flavylium Compounds

    Molecular Switches, Second Edition

    Fernando Pina, Jorge Parola, Raquel Gomes, Mauro Maestri, Vincenzo Balzani, Pages: 181–226, 2011

    Published Online : 29 AUG 2011, DOI: 10.1002/9783527634408.ch6

  12. The Mac OS X Keychain

    Mac® Security Bible

    Joe Kissell, Pages: 127–152, 2011

    Published Online : 1 NOV 2011, DOI: 10.1002/9781118257739.ch5

  13. RTS: A system to simulate the real time cost behaviour of parallel computations

    Software: Practice and Experience

    Volume 18, Issue 10, October 1988, Pages: 967–985, Bin Qin, Howard A. Sholl and Reda A. Ammar

    Version of Record online : 30 OCT 2006, DOI: 10.1002/spe.4380181004

  14. An order-based algorithm for implementing multiparty synchronization

    Concurrency and Computation: Practice and Experience

    Volume 16, Issue 12, October 2004, Pages: 1173–1206, José A. Pérez, Rafael Corchuelo and Miguel Toro

    Version of Record online : 15 JUL 2004, DOI: 10.1002/cpe.903

  15. The impact of requirements changes on specifications and state machines

    Software: Practice and Experience

    Volume 39, Issue 6, 25 April 2009, Pages: 573–610, L. Lin, S. J. Prowell and J. H. Poore

    Version of Record online : 26 NOV 2008, DOI: 10.1002/spe.907

  16. Keys to Decipherment: How Living Languages can Unlock Forgotten Scripts

    Dying Words: Endangered Languages and What They Have to Tell Us

    Nicholas Evans, Pages: 129–153, 2009

    Published Online : 30 APR 2009, DOI: 10.1002/9781444310450.ch7

  17. Skull mechanics in the pigeon, Columba livia, a three-dimensional kinematic model

    Journal of Morphology

    Volume 213, Issue 2, August 1992, Pages: 197–224, E. M. S. J. Van Gennip and Dr. H. Berkhoudt

    Version of Record online : 6 FEB 2005, DOI: 10.1002/jmor.1052130206

  18. Protein unlocking procedures of formalin-fixed paraffin-embedded tissues: Application to MALDI-TOF Imaging MS investigations


    Volume 8, Issue 18, No. 18 September 2008, Pages: 3702–3714, Maurizio Ronci, Elena Bonanno, Alfredo Colantoni, Luisa Pieroni, Carmine Di Ilio, Luigi Giusto Spagnoli, Giorgio Federici and Andrea Urbani

    Version of Record online : 14 AUG 2008, DOI: 10.1002/pmic.200701143

  19. Sowing the seeds of algebraic generalization: designing epistemic affordances for an intelligent microworld

    Journal of Computer Assisted Learning

    Volume 29, Issue 1, February 2013, Pages: 68–84, M. Mavrikis, R. Noss, C. Hoyles and E. Geraniou

    Version of Record online : 22 FEB 2012, DOI: 10.1111/j.1365-2729.2011.00469.x

  20. The NETCONF Protocol

    Service Automation and Dynamic Provisioning Techniques in IP/MPLS Environments

    Christian Jacquenet, Gilles Bourdon, Mohamed Boucadair, Pages: 105–174, 2008

    Published Online : 31 MAR 2008, DOI: 10.1002/9780470035146.ch6