Search results for "spin"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Lucas Visscher, Thomas Enevoldsen, Trond Saue, Hans Jorgen Aagard Jensen, Jens Oddershede	Full four-component relativistic calculations of NMR shielding and indirect spin-spin coupling tensors in hydrogen halides.	J. Comput. Chem.	1999	DBLP DOI BibTeX RDF
23	Czeslaw Rudowicz, Zhou Yi-Yang	Computer Package for Microscopic Spin Hamiltonian Analysis of the 3d4and 3d5(spin S = 2) Ions at Orthorhombic and Tetragonal Symmetry Sites.	Comput. Chem.	1997	DBLP DOI BibTeX RDF
19	Mitchelle Rasquinha, Dhruv Choudhary, Subho Chatterjee, Saibal Mukhopadhyay, Sudhakar Yalamanchili	An energy efficient cache design using spin torque transfer (STT) RAM.	ISLPED	2010	DBLP DOI BibTeX RDF	(STT)RAM, memory technologies, cache design
19	Subho Chatterjee, Sayeef S. Salahuddin, Satish Kumar, Saibal Mukhopadhyay	Analysis of thermal behaviors of spin-torque-transfer RAM: a simulation study.	ISLPED	2010	DBLP DOI BibTeX RDF	MTJ, STTRAM, read disturb, self-heating, sensing accuracy
19	Zuohua Ding, Mingyue Jiang, Jing Liu 0012	Model Checking Service Component Composition by SPIN.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
19	Jing Li 0073, Patrick Ndai, Ashish Goel, Haixin Liu, Kaushik Roy 0001	An alternate design paradigm for robust spin-torque transfer magnetic RAM (STT MRAM) from circuit/architecture perspective.	ASP-DAC	2009	DBLP DOI BibTeX RDF
19	Michael A. Chappell, Thomas W. Okell, Peter Jezzard, Mark William Woolrich	Vascular Territory Image Analysis Using Vessel Encoded Arterial Spin Labeling.	MICCAI (1)	2009	DBLP DOI BibTeX RDF
19	Jonathan D. Clayden, Zoltán Nagy 0003, Matt G. Hall, Chris A. Clark, Daniel C. Alexander	Active Imaging with Dual Spin-Echo Diffusion MRI.	IPMI	2009	DBLP DOI BibTeX RDF
19	Yannick Deville, Alain Deville	Maximum likelihood blind separation of two quantum states (qubits) with cylindrical-symmetry Heisenberg spin coupling.	ICASSP	2008	DBLP DOI BibTeX RDF
19	Srinivas Sridharan 0003, Matthew R. James	Minimum time control of spin systems via dynamic programming.	CDC	2008	DBLP DOI BibTeX RDF
19	Björn B. Brandenburg, John M. Calandrino, Aaron Block, Hennadiy Leontyev, James H. Anderson	Real-Time Synchronization on Multiprocessors: To Block or Not to Block, to Suspend or Spin?	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF
19	Prabhu Shankar Kaliappan, Hartmut König, Vishnu Kumar Kaliappan	Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker.	CSSE (2)	2008	DBLP DOI BibTeX RDF
19	Yoshiaki Asao, Masayoshi Iwayama, Kenji Tsuchida, Akihiro Nitayama, Hiroaki Yoda, Hisanori Aikawa, Sumio Ikegawa, Tatsuya Kishi	A Statistical Model for Assessing the Fault Tolerance of Variable Switching Currents for a 1Gb Spin Transfer Torque Magnetoresistive Random Access Memory.	DFT	2008	DBLP DOI BibTeX RDF
19	Barry Long, Jürgen Dingel, T. C. Nicholas Graham	Experience applying the SPIN model checker to an industrial telecommunications system.	ICSE	2008	DBLP DOI BibTeX RDF	model checking, formal methods, experience report
19	Jing Li 0073, Charles Augustine, Sayeef S. Salahuddin, Kaushik Roy 0001	Modeling of failure probability and statistical design of spin-torque transfer magnetic random access memory (STT MRAM) array for yield enhancement.	DAC	2008	DBLP DOI BibTeX RDF	STT MRAM, yield
19	Kazuyuki Hara, Seiji Miyoshi, Tatsuya Uezu, Masato Okada	Analysis of Ising Spin Neural Network with Time-Dependent Mexican-Hat-Type Interaction.	ICONIP (2)	2008	DBLP DOI BibTeX RDF
19	Wen-Chau Wu, Yousef Mazaheri, Eric C. Wong	The Effects of Flow Dispersion and Cardiac Pulsation in Arterial Spin Labeling.	IEEE Trans. Medical Imaging	2007	DBLP DOI BibTeX RDF
19	Kuntal Das Barman, Debapriyay Mukhopadhyay	Model Checking in Practice: Analysis of Generic Bootloader Using SPIN.	ICFEM	2007	DBLP DOI BibTeX RDF
19	Jan Kofron	Checking software component behavior using behavior protocols and spin.	SAC	2007	DBLP DOI BibTeX RDF	verification, behavior specification, promela, behavior protocols
19	Timothy Bisson, Scott A. Brandt, Darrell D. E. Long	A Hybrid Disk-Aware Spin-Down Algorithm with I/O Subsystem Support.	IPCCC	2007	DBLP DOI BibTeX RDF
19	Stephan Matzka, Yvan R. Petillot, Andrew M. Wallace	Determining Efficient Scan-Patterns for 3-D Object Recognition Using Spin Images.	ISVC (2)	2007	DBLP DOI BibTeX RDF
19	Mark Hauschild, Martin Pelikan, Cláudio F. Lima, Kumara Sastry	Analyzing probabilistic models in hierarchical BOA on traps and spin glasses.	GECCO	2007	DBLP DOI BibTeX RDF	estimation of distribution algorithms, bayesian optimization algorithm, hierarchical BOA, model accuracy
19	Hongjiang Gao, Zheng Qin, Li-Ping Shao, Xingchen Heng	Specifying and Verifying Cases Retrieval System Combining Event B and Spin.	ICSC	2007	DBLP DOI BibTeX RDF
19	David López Vilariño, Víctor M. Brea 0001, Vicente Moreno, Diego Cabello	CNN Implementation of Spin Filters for Electronic Speckle Pattern Interferometry Applications.	ISCAS	2007	DBLP DOI BibTeX RDF
19	Nikola Trcka	Verifying chi Models of Industrial Systems with Spin.	ICFEM	2006	DBLP DOI BibTeX RDF
19	Alastair F. Donaldson, Alice Miller 0001	A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker.	AMAST	2006	DBLP DOI BibTeX RDF
19	Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis	Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker.	ISPA	2006	DBLP DOI BibTeX RDF	interlocking control, model checking, safety, distributed control
19	Feng Shi 0010, Yiorgos Makris	SPIN-PAC: test compaction for speed-independent circuits.	ASP-DAC	2005	DBLP DOI BibTeX RDF
19	J.-M. George	Spin polarized transport effects in III-V semiconductor heterostructures.	ICMENS	2005	DBLP DOI BibTeX RDF
19	Faridoon Shabaninia, Reza Khorshidi	A control system for a single-spin LEO satellite employing supervisory control with fuzzy logic and adaptive control under uncertainty.	IRI	2005	DBLP DOI BibTeX RDF
19	Haixia Jia, Cristopher Moore, Bart Selman	From Spin Glasses to Hard Satisfiable Formulas.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
19	Yueming Wang, Gang Pan 0001, Zhaohui Wu 0001, Shi Han	Sphere-Spin-Image: A Viewpoint-Invariant Surface Representation for 3D Face Recognition.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
19	Gabriel Kiss, Johan Van Cleynenbreugel, Guy Marchal, Paul Suetens	Computer Aided Detection in CT Colonography, via Spin Images.	MICCAI (2)	2004	DBLP DOI BibTeX RDF
19	Yongjian Li, Rui Xue	Using SPIN to Model Cryptographic Protocols.	ITCC (2)	2004	DBLP DOI BibTeX RDF
19	Raman Kazhamiakin, Marco Pistore, Marco Roveri	Formal Verification of Requirements using SPIN: A Case Study on Web Services.	SEFM	2004	DBLP DOI BibTeX RDF
19	Yu-Tong He, Ryszard Janicki	Verifying protocols by model checking: a case study of the wireless application protocol and the model checker SPIN.	CASCON	2004	DBLP BibTeX RDF
19	Juan Carlos Augusto, Michael J. Butler, Carla Ferreira 0001, Stephen-John Craig	Using SPIN and STeP to Verify Business Processes Specifications.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
19	Adrijean Andriahantenaina, Alain Greiner	Micro-Network for SoC: Implementation of a 32-Port SPIN network.	DATE	2003	DBLP DOI BibTeX RDF
19	Martin Pelikan, David E. Goldberg	Hierarchical BOA Solves Ising Spin Glasses and MAXSAT.	GECCO	2003	DBLP DOI BibTeX RDF
19	Scott E. Irvine, Abdulhakem Y. Elezzabi	Parametric Excitation of Spin Waves in Bismuth-Substituted Yttrium Iron Garnet Films Using the First-Order Suhl Instability.	ICMENS	2003	DBLP DOI BibTeX RDF
19	James H. Anderson, Yong-Jik Kim	Local-spin Mutual Exclusion Using Fetch-and-\phi Primitives.	ICDCS	2003	DBLP DOI BibTeX RDF
19	Stéphane Louis Dit Picard, Samuel Degrande, Christophe Gransart, Christophe Chaillou	VRML data sharing in the spin-3D CVE.	Web3D	2002	DBLP DOI BibTeX RDF	multi-user technology, multicast communication platform, common object request broker architecture (CORBA), virtual reality modeling language (VRML), collaborative virtual environment (CVE)
19	Yann Cointepas, Cyril Poupon, Denis Le Bihan, Jean-François Mangin	A Spin Glass Based Framework to Untangle Fiber Crossing in MR Diffusion Based Tracking.	MICCAI (1)	2002	DBLP DOI BibTeX RDF
19	Etsuko Bannai	Bose-Mesner Algebras Associated with Four-Weight Spin Models.	Graphs Comb.	2001	DBLP DOI BibTeX RDF
19	Boris D. Lubachevsky, Alan Weiss	Synchronous relaxation for parallel Ising spin simulations.	Workshop on Parallel and Distributed Simulation	2001	DBLP DOI BibTeX RDF	computational physics, Metropolis algorithm, optimistic simulation, conservative simulation
19	Huaxin You, Hong Hua, Narendra Ahuja, Edward Y. Chang	Spin Discriminant Analysis (SDA) - Using a One-Dimensional Classifier for High Dimensional Classification Problems.	CVPR (1)	2001	DBLP DOI BibTeX RDF
19	Paola Inverardi, Henry Muccini, Patrizio Pelliccione	Automated Check of Architectural Models Consistency Using SPIN.	ASE	2001	DBLP DOI BibTeX RDF
19	Andrew Canning, B. Ujfalussy, Thomas C. Schulthess, Xiaoguang Zhang 0005, William A. Shelton, Donald M. C. Nicholson, G. Malcolm Stocks, Yang Wang 0008, T. Dirks	Multi-teraflops spin dynamics studies of the magnetic structure of FeMn/Co interfaces.	SC	2001	DBLP DOI BibTeX RDF	computation-intensive applications, parallel algorithms, material science
19	Michael L. Scott, William N. Scherer III	Scalable queue-based spin locks with timeout.	PPoPP	2001	DBLP DOI BibTeX RDF
19	Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo	An Automatic SPIN Validation of a Safety Critical Railway Control System.	DSN	2000	DBLP DOI BibTeX RDF	dependable protocols, model checking, formal verification, safety-critical systems
19	Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic	Routing Information Protocol in HOL/SPIN.	TPHOLs	2000	DBLP DOI BibTeX RDF
19	Prasanta K. Bose	Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN.	ASE	1999	DBLP DOI BibTeX RDF	Model Checking, UML, Architecture, Security Protocol, Model Translation
19	Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann	Implementing Statecharts in PROMELA/SPIN.	WIFT	1998	DBLP DOI BibTeX RDF
19	Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso	Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System.	SAFECOMP	1998	DBLP DOI BibTeX RDF
19	Gerard J. Holzmann	The Model Checker SPIN.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	distributed systems, model checking, Formal methods, concurrency, program verification, design verification
19	Gerard J. Holzmann, Doron A. Peled	The State of SPIN.	CAV	1996	DBLP DOI BibTeX RDF
19	Bernard Boigelot, Patrice Godefroid	Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN.	FME	1996	DBLP DOI BibTeX RDF
19	Francisco A. Leon	Numerical modeling of glass flow and spin-on planarization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF
19	Brian A. Rudolph	Spin-out: the Chinese rings in the classroom.	SIGCSE	1988	DBLP DOI BibTeX RDF
16	Keisuke Ota, Toshiaki Omori, Toru Aonishi	MAP estimation algorithm for phase response curves based on analysis of the observation process.	J. Comput. Neurosci.	2009	DBLP DOI BibTeX RDF	Liner response theory, Fokker-Planck equation, Hyper-parameter estimation, Bayesian approach, Phase response curve
16	Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente	Partial-order reduction for general state exploring algorithms.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF
16	Neri Merhav	The Generalized Random Energy Model and its Application to the Statistical Physics of Ensembles of Hierarchical Codes.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
16	Bradley D. Null, Eric D. Sinzinger	Autonomous map construction using three-dimensional feature descriptors.	ICRA	2009	DBLP DOI BibTeX RDF
16	Alessandro Vindigni, Oliver Portmann, Niculin Saratz, Fabio Cinti, Paolo Politi, Danilo Pescia	Temperature-Induced Domain Shrinking in Ising Ferromagnets Frustrated by a Long-Range Interaction.	Complex (1)	2009	DBLP DOI BibTeX RDF	frustrated systems, long-range interactions, competing interactions, Ising model, modulated systems
16	Danny Hendler, Philipp Woelfel	Randomized mutual exclusion in O(log N / log log N) RMRs.	PODC	2009	DBLP DOI BibTeX RDF	remote memory references (RMRS), mutual exclusion
16	Ekow J. Otoo, Doron Rotem, Shih-Chiang Tsao	Energy Smart Management of Scientific Data.	SSDBM	2009	DBLP DOI BibTeX RDF	Scientific workload, Performance guaranttee, Power management, File allocation, Disk storage
16	Jun Wang 0001, Xiaoyu Yao, Huijun Zhu	Exploiting In-Memory and On-Disk Redundancy to Conserve Energy in Storage Systems.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	System architectures, Energy-aware systems, Secondary storage, integration and modeling, Storage hierarchies
16	Jun Pang 0001, Zhengqin Luo, Yuxin Deng	On automatic verification of self-stabilizing population protocols.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	model checking, verification, distributed algorithms, population protocols
16	Emmanuel M. Tadjouddine, Frank Guerin, Wamberto Weber Vasconcelos	Abstracting and Verifying Strategy-Proofness for Auction Mechanisms.	DALT	2008	DBLP DOI BibTeX RDF
16	Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith	Automated Testing of Planning Models.	MoChArt	2008	DBLP DOI BibTeX RDF
16	Nikos Anastopoulos, Nectarios Koziris	Facilitating efficient synchronization of asymmetric threads on hyper-threaded processors.	IPDPS	2008	DBLP DOI BibTeX RDF
16	Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe	RESY: Requirement Synthesis for Compositional Model Checking.	TACAS	2008	DBLP DOI BibTeX RDF
16	Cesare Ferri, Amber Viescas, Tali Moreshet, R. Iris Bahar, Maurice Herlihy	Energy efficient synchronization techniques for embedded architectures.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	embedded systems, transactional memory
16	Eric Koskinen, Maurice Herlihy	Dreadlocks: efficient deadlock detection.	SPAA	2008	DBLP DOI BibTeX RDF	parallel programming, concurrency, transactional memory, deadlock, bloom filters, deadlock detection
16	Gyu Sang Choi, Jin-Ha Kim, Deniz Ersoz, Andy B. Yoo, Chita R. Das	A comprehensive performance and energy consumption analysis of scheduling alternatives in clusters.	J. Supercomput.	2007	DBLP DOI BibTeX RDF	Energy consumption, Myrinet, Gang scheduling, Batch scheduling, Linux cluster, Coscheduling
16	Silvano Garnerone, Annalisa Marzuoli, Mario Rasetti	Quantum automata, braid group and link polynomials.	Quantum Inf. Comput.	2007	DBLP DOI BibTeX RDF
16	Alauddin Ahmed, Atiqur Rahman, Mohammed Anwer, Nazmul Haque, Morshed U. Chowdhury	Two Logical Verification of Quantum NOT Gate.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
16	Leon Poladian	Excluding the best and worst individuals from parent selection.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
16	Zhifeng Gu, Juan-Zi Li, Jie Tang 0001, Bin Xu 0001, Ruobo Huang	Verification of Web Service Conversations Specified in WSCL.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
16	Mahmut T. Kandemir, Seung Woo Son 0001, Mustafa Karaköy	Improving disk reuse for reducing power consumption.	ISLPED	2007	DBLP DOI BibTeX RDF	low power, compiler, disk
16	Anders Gidenstam, Marina Papatriantafilou	LFthreads: A Lock-Free Thread Library.	OPODIS	2007	DBLP DOI BibTeX RDF	synchronization, multiprocessors, shared memory, multithreading, multicores, lock-free
16	Stephen F. Siegel	Model Checking Nonblocking MPI Programs.	VMCAI	2007	DBLP DOI BibTeX RDF
16	Fernando Luís Dotti, Leila Ribeiro 0001, Osmar Marchi dos Santos, Fábio Pasini	Verifying Object-based Graph Grammars.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	Partial systems, Model checking, Reactive systems, Graph grammars, Object-based systems
16	Matteo Monchiero, Gianluca Palermo, Cristina Silvano, Oreste Villa	Efficient Synchronization for Embedded On-Chip Multiprocessors.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
16	Yong-Jik Kim, James H. Anderson	Nonatomic mutual exclusion with local spinning.	Distributed Comput.	2006	DBLP DOI BibTeX RDF	Nonatomic operations, Lower bounds, Shared memory, Time complexity, Mutual exclusion
16	Boubakeur Belaroussi, Hugues Benoit-Cattin, Christophe Odet	CASTI: Correction of Susceptibility Artifact in MR Images using MRI Simulation.	ICIP	2006	DBLP DOI BibTeX RDF
16	Xiangpeng Zhao, Quan Long, Zongyan Qiu	Model Checking Dynamic UML Consistency.	ICFEM	2006	DBLP DOI BibTeX RDF	Simulation, Algorithm, Model Checking, UML, Semantics, Consistency
16	Alessandro Campi, Paola Spoletini	A framework for XML data streams history checking and monitoring.	WWW	2006	DBLP DOI BibTeX RDF	XML, verification, semi-structured data
16	David A. Cape, Bruce M. McMillin, James K. Townsend	Model Checking Control Communication of a FACTS Device.	ICPP Workshops	2006	DBLP DOI BibTeX RDF	lossy, model-checking, communication, verification, real-time, protocol, control, FACTS
16	Vladimir Kryzhanovsky, Bashir M. Magomedov, Anatoly B. Fonarev, Boris Kryzhanovsky	Domain Dynamics in Hopfield Model.	IJCNN	2006	DBLP DOI BibTeX RDF
16	Behzad Esfandyarpour, Ebrahim Asl Soleimani	Fast Response Microgas Sensors Based on Platinum Nanoclusters Sputtered on Nanocrystalline tin Oxide Thin Films.	CCECE	2006	DBLP DOI BibTeX RDF
16	Raquel S. Whittlesey-Harris, Mikhail Nesterenko	Fault-Tolerance Verification of the Fluids and Combustion Facility of the International Space Station.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF
16	Weiguo Bian, Shaojie Tang 0002, Huazi Xu	Computer Analysis Method for Clinical CT Image.	IMSCCS (1)	2006	DBLP DOI BibTeX RDF
16	Filippo Mantovani	Poster reception - IANUS: scientific computing on an FPGA-based architecture.	SC	2006	DBLP DOI BibTeX RDF
16	Hemangee K. Kapoor	Formal Modelling and Verification of an Asynchronous DLX Pipeline.	SEFM	2006	DBLP DOI BibTeX RDF
16	Ching-Chang Wong, Yu-Han Lin, Shin-An Lee, Cheng-Hsing Tsai	GA-based Fuzzy System Design in FPGA for an Omni-directional Mobile Robot.	J. Intell. Robotic Syst.	2005	DBLP DOI BibTeX RDF	omni-directional mobile robot, genetic algorithms, FPGA, VHDL, fuzzy control
16	Qingbo Zhu, Yuanyuan Zhou 0001	Power-Aware Storage Cache Management.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	storage cache replacement, Power management, disk storage, write policies
16	Óscar R. Ribeiro, João M. Fernandes, Luís F. Pinto	Model Checking Embedded Systems with PROMELA.	ECBS	2005	DBLP DOI BibTeX RDF
16	John C. Baez	Loop quantum gravity.	SODA	2005	DBLP BibTeX RDF
16	Qingbo Zhu, Zhifeng Chen, Lin Tan 0001, Yuanyuan Zhou 0001, Kimberly Keeton, John Wilkes	Hibernator: helping disk arrays sleep through the winter.	SOSP	2005	DBLP DOI BibTeX RDF	storage system, energy management, disk array, performance guarantee, disk layout