|
|
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 |
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 |
|
|