45 papers:
DATE-2015-VatajeluRIRPF #estimation #metric #robust- Read/write robustness estimation metrics for spin transfer torque (STT) MRAM cell (EIV, RRM, MI, MR, PP, JF), pp. 447–452.
- DATE-2015-VenkatesanVFRR #energy #logic #named
- Spintastic: spin-based stochastic logic for energy-efficient computing (RV, SV, XF, KR, AR), pp. 1575–1578.
- DATE-2015-ZhangYWLC #design #logic #power management
- Giant spin hall effect (GSHE) logic design for low power application (YZ, BY, WW, HL, YC), pp. 1000–1005.
- DATE-2014-RoySFY
- Brain-inspired computing with spin torque devices (KR, MS, DF, KY), pp. 1–6.
STOC-2014-GalanisSV- Inapproximability for antiferromagnetic spin systems in the tree non-uniqueness region (AG, DS, EV), pp. 823–831.
ICPR-2014-KimK #estimation #image #multi #pattern matching #robust- Robust Surface Pattern Matching for Ball Spin Estimation with Multi-exposed Images Under Varying Illumination Conditions (JK, MK), pp. 4560–4563.
DAC-2013-SharadFR #memory management #power management- Ultra low power associative computing with spin neurons and resistive crossbar memory (MS, DF, KR), p. 6.
- DATE-2013-VenkatesanSRR #energy #named #performance #using
- DWM-TAPESTRI — an energy efficient all-spin cache using domain wall shift based writes (RV, MS, KR, AR), pp. 1825–1830.
- DAC-2012-SharadAPR #network
- Cognitive computing with spin-based neural networks (MS, CA, GP, KR), pp. 1262–1263.
VLDB-2012-EwenTKM #data flow #performance- Spinning Fast Iterative Data Flows (SE, KT, MK, VM), pp. 1268–1279.
SAC-2011-ChangH #approach #model transformation #multi #using #verification- A model transformation approach for verifying multi-agent systems using SPIN (LC, XH), pp. 37–42.
- DATE-2010-ChenLWZXZ #memory management #random #self
- A nondestructive self-reference scheme for Spin-Transfer Torque Random Access Memory (STT-RAM) (YC, HL, XW, WZ, WX, TZ), pp. 148–153.
- DATE-2010-GarciaM #energy #named
- Spinto: High-performance energy minimization in spin glasses (HJG, ILM), pp. 160–165.
- ICPR-2010-TamakiTURK #3d #image
- Scale Matching of 3D Point Clouds by Finding Keyscales with Spin Images (TT, ST, YU, BR, KK), pp. 3480–3483.
- DAC-2008-LiASR #array #design #memory management #modelling #probability #random #statistics
- Modeling of failure probability and statistical design of spin-torque transfer magnetic random access memory (STT MRAM) array for yield enhancement (JL, CA, SSS, KR), pp. 278–283.
AFP-2008-Bird08- Spider Spinning for Dummies (RSB), pp. 39–65.
ICSE-2008-LongDG #experience #industrial #model checking- Experience applying the SPIN model checker to an industrial telecommunications system (BL, JD, TCNG), pp. 693–702.
ITiCSE-2007-Ben-Ari #concurrent #education #nondeterminism- Teaching concurrency and nondeterminism with spin (MBA), pp. 363–364.
- SAC-2007-Kofron #behaviour #component #protocol #using
- Checking software component behavior using behavior protocols and spin (JK), pp. 1513–1517.
- ICPR-v1-2006-LiSH #image #recognition #using
- Face Recognition using Patch-based Spin Images (YL, WAPS, ERH), pp. 408–411.
SIGIR-2005-ChakrabartiMN #named #network- SPIN: searching personal information networks (SC, JM, AN), p. 674.
- SAC-2005-BalsaraR #model checking #predict #search-based #using
- Prediction of inherited and genetic mutations using the software model checker SPIN (ZB, SR), pp. 208–209.
SAT-J-2004-JiaMS05 #satisfiability- From Spin Glasses to Hard Satisfiable Formulas (HJ, CM, BS), pp. 199–210.
SEFM-2004-KazhamiakinPR #case study #requirements #using #verification #web #web service- Formal Verification of Requirements using SPIN: A Case Study on Web Services (RK, MP, MR), pp. 406–415.
CHI-2004-ShenVFR #interactive #named #tool support- DiamondSpin: an extensible toolkit for around-the-table interaction (CS, FV, CF, MR), pp. 167–174.
- ICPR-v3-2004-AssfalgBP #3d #image #retrieval #similarity
- Spin Images for Retrieval of 3D Objects by Local and Global Similarity (JA, ADB, PP), pp. 906–909.
KDD-2004-HuanWPY #database #graph #mining #named- SPIN: mining maximal frequent subgraphs from graph databases (JH, WW, JP, JY), pp. 581–586.
SAT-2004-JiaMS #satisfiability- From Spin Glasses to Hard Satisfiable Formulas (HJ, CM, BS), pp. 12–19.
- DATE-2003-AdriahantenainaCGMZ #named #scalability
- SPIN: A Scalable, Packet Switched, On-Chip Micro-Network (AA, HC, AG, LM, CAZ), pp. 20070–20073.
- DATE-2003-AndriahantenainaG #implementation #network
- Micro-Network for SoC: Implementation of a 32-Port SPIN network (AA, AG), pp. 11128–11129.
FME-2003-MorzentiPPS #model checking #specification- Model-Checking TRIO Specifications in SPIN (AM, MP, PSP, PS), pp. 542–561.
- FME-2002-IoustinovaSS #model checking
- Closing Open SDL-Systems for Model Checking with DTSpin (NI, NS, MS), pp. 531–548.
WICSA-2001-KloukinasI #architecture- SPIN-ning Software Architectures: A Method for Exploring Complex (CK, VI), pp. 67–76.
ASE-2001-GannodG #automation #petri net #using- An Automated Tool for Analyzing Petri Nets Using SPIN (GCG, SG), pp. 404–407.
- ASE-2001-InverardiMP #architecture #automation #consistency #modelling #using
- Automated Check of Architectural Models Consistency Using SPIN (PI, HM, PP), pp. 346–349.
- FME-2001-LeuschelMC #csp #how #ltl #model checking #refinement
- How to Make FDR Spin LTL Model Checking of CSP by Refinement (ML, TM, AC), pp. 99–118.
PPoPP-2001-ScottS #scalability- Scalable queue-based spin locks with timeout (MLS, WNSI), pp. 44–52.
TACAS-2000-BosnackiDHS #model checking- Model Checking SDL with Spin (DB, DD, LH, NS), pp. 363–377.
- ASE-1999-Bose #architecture #automation #modelling #simulation #uml #using #verification
- Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN (PKB), pp. 102–109.
- TACAS-1996-TripakisC #realtime
- Extending Promela and Spin for Real Time (ST, CC), pp. 329–348.
- FME-1996-BoigelotG #analysis #model checking #protocol #using
- Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN (BB, PG), pp. 465–478.
CAV-1996-HolzmannP- The State of SPIN (GJH, DP), pp. 385–389.
SOSP-1995-BershadSPSFBCE #operating system #performance #safety- Extensibility, Safety and Performance in the SPIN Operating System (BNB, SS, PP, EGS, MEF, DB, CC, SJE), pp. 267–284.
- SOSP-1991-KarlinLMO #empirical #multi
- Empirical Studies of Competitive Spinning for a Shared-Memory Multiprocessor (ARK, KL, MSM, SSO), pp. 41–55.
- DAC-1977-MorrisMG #network #scalability #simulation #using
- Simulation of large communications networks using SPIN (ILM, JM, RG), pp. 194–204.
