|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 88 occurrences of 65 keywords
|
|
|
Results
Found 179 publication records. Showing 174 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
171 | Jingyue Li, Marco Torchiano, Reidar Conradi, Odd Petter N. Slyngstad, Christian Bunse |
A State-of-the-Practice Survey of Off-the-Shelf Component-Based Development Processes. |
ICSR |
2006 |
DBLP DOI BibTeX RDF |
|
156 | Mohsen Sharifi, S. F. Noorani, F. Orooji |
A New Technique for Participation of Non-CORBA Independent Persistent Objects in OTS Transactions. |
EurAsia-ICT |
2002 |
DBLP DOI BibTeX RDF |
Object Transaction Service (OTS), Recoverable Object, Shadow Object, CORBA, Distributed Transaction, Persistent Object |
156 | Lawrence Chung, Xavier Franch, Neil A. M. Maiden |
Second international workshop on models and processes for the evaluation of off-the-shelf components (MPEC'05). |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
OTS products, OTS-based systems |
124 | Reidar Conradi, Jingyue Li |
Observations on versioning of off-the-shelf components in industrial projects (short paper). |
SCM |
2005 |
DBLP DOI BibTeX RDF |
|
109 | Jingyue Li, Reidar Conradi, Odd Petter N. Slyngstad, Marco Torchiano, Maurizio Morisio, Christian Bunse |
A State-of-the-Practice Survey of Risk Management in Development with Off-the-Shelf Software Components. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
Software Engineering/Reusable Software, Software Engineering/Management, Software Engineering/Software Engineering Process |
102 | Weimin Ma, Kendra M. L. Cooper, Lawrence Chung |
Matching Effectiveness and OTS Model Richness. |
SNPD |
2005 |
DBLP DOI BibTeX RDF |
|
101 | Claudia P. Ayala, Carl-Fredrik Sørensen, Reidar Conradi, Xavier Franch, Jingyue Li |
Open Source Collaboration for Fostering Off-The-Shelf Components Selection. (PDF / PS) |
OSS |
2007 |
DBLP DOI BibTeX RDF |
Off-the-Shelf components (OTS), Open Source Software (OSS), open source collaboration, reuse, Commercial-Off-The-Shelf (COTS), component selection |
94 | Claudia P. Ayala, Xavier Franch |
Assessing What Information Quality Means in OTS Selection Processes. |
ICCBSS |
2008 |
DBLP DOI BibTeX RDF |
Off-The-Shelf (OTS) components, Information Quality |
93 | Yan Li 0067, Minghui Zhou 0001, Donggang Cao, Lu Zhang 0023 |
Constructing Flexible Application Servers with Off-the-Shelf Middleware Services Integration Framework. |
ICSR |
2008 |
DBLP DOI BibTeX RDF |
|
93 | Sanghyun Park, Eugene Earlie, Aviral Shrivastava, Alex Nicolau, Nikil D. Dutt, Yunheung Paek |
Automatic generation of operation tables for fast exploration of bypasses in embedded processors. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
93 | Jingyue Li, Reidar Conradi, Odd Petter N. Slyngstad, Christian Bunse, Muhammad Umair Ahmed Khan, Marco Torchiano, Maurizio Morisio |
Validation of New Theses on Off-the-Shelf Component Based Development. |
IEEE METRICS |
2005 |
DBLP DOI BibTeX RDF |
|
86 | Kendra M. L. Cooper, Lawrence Chung |
Managing change in an OTS-aware requirements engineering approach. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
|
86 | Peter T. Popov, Lorenzo Strigini, Steve Riddle, Alexander B. Romanovsky |
On Systematic Design of Protectors for Employing OTS Items. |
EUROMICRO |
2001 |
DBLP DOI BibTeX RDF |
error detection and recovery, dependability, traceability, COTS, System integration, wrapping |
78 | Jian Liang, Simone Sédillot, Bruno Traverson |
OMG Object Transaction Service based on an X/Open and ISO OSI TP Kernel. |
HICSS (1) |
1997 |
DBLP DOI BibTeX RDF |
|
70 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method. |
Essays Dedicated to Joseph A. Goguen |
2006 |
DBLP DOI BibTeX RDF |
|
70 | Deron Liang, Win-Tsung Lo, Yu-Ming Kao, Shyan-Ming Yuan, Yue-Shan Chang |
A fault tolerant object transaction service in CORBA. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
fault tolerant object transaction service, robust software, mission critical applications, Object Transaction Service, CORBA 2 specification, transactional applications, OTS implementation, node crashes, software system failures, process hangs, Orbix, object-oriented methods, database applications, Sun workstations, ACID properties |
62 | Weiqiang Kong, Kazuhiro Ogata 0001, Kokichi Futatsugi |
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
62 | Aviral Shrivastava, Eugene Earlie, Nikil D. Dutt, Alexandru Nicolau |
Retargetable pipeline hazard detection for partially bypassed processors. |
IEEE Trans. Very Large Scale Integr. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
62 | Jingyue Li, Reidar Conradi, Odd Petter N. Slyngstad, Marco Torchiano, Maurizio Morisio, Christian Bunse |
Preliminary Results from a State-of-the-Practice Survey on Risk Management in Off-the-Shelf Component-Based Development. |
ICCBSS |
2005 |
DBLP DOI BibTeX RDF |
|
62 | Peter T. Popov |
Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
62 | Prabhu Ram, Lyman Do, Pamela Drew, Tong Zhou |
Object Transaction Service: Experiences and Open Issues. |
DOA |
1999 |
DBLP DOI BibTeX RDF |
|
62 | Ennio Grasso |
Implementing interposition in CORBA Object Transaction Service. |
EDOC |
1997 |
DBLP DOI BibTeX RDF |
CORBA object model, Object Transaction Service, implementation design, Orbix, transaction objects interposition, object-oriented methods, distributed transactions, object request broker |
56 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Formal Analysis of the NetBill Electronic Commerce Protocol. |
ISSS |
2003 |
DBLP DOI BibTeX RDF |
NetBill, OTS, verification, electronic commerce, security protocol, algebraic specification, CafeOBJ |
55 | Tom Anderson 0001, Mei Feng, Steve Riddle, Alexander B. Romanovsky |
Error Recovery for a Boiler System with OTS PID Controller. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Ivan Silva Neto, Francisco Reverbel |
On the Performance of Transactional Remote Invocations over Commonly Used Transports. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
transactional invocations, CORBA OTS, WS-AtomicTransaction, performance, transactions |
47 | Juan Pablo Carvallo 0001, Xavier Franch |
On the Use of Requirements for Driving Call-for-Tender Processes for Procuring Coarse-grained OTS Components. |
RE |
2009 |
DBLP DOI BibTeX RDF |
OTS componentes, call-for-tender processes, requirements engineering |
47 | Kaoru Inoue, Kazuyoshi Wada, Yuko Ito |
Effective Application of Paro: Seal Type Robots for Disabled People in According to Ideas of Occupational Therapists. |
ICCHP |
2008 |
DBLP DOI BibTeX RDF |
Mental Commit Robot, Robot Therapy, Seal type Robot, Human-Robot Interaction, disabled people, Occupational Therapy |
47 | Jingyue Li, Reidar Conradi, Odd Petter N. Slyngstad, Christian Bunse, Muhammad Umair Ahmed Khan, Marco Torchiano, Maurizio Morisio |
An Empirical Study on Off-the-Shelf Component Usage in Industrial Projects. |
PROFES |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Eduardo Romero 0002, Gabriela Peretti, Carlos A. Marqués |
Oscillation Test Strategy: A Case Study. |
J. Electron. Test. |
2004 |
DBLP DOI BibTeX RDF |
oscillation test strategy, testing, design for test, operational amplifier |
47 | Weiqiang Kong, Kazuhiro Ogata 0001, Jianwen Xiang, Kokichi Futatsugi |
Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol. |
CIT |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Fan Ye 0005, Tim Kelly |
Component Failure Mitigation According to Failure Type. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Henri Ots, Innar Liiv, Diana Tur |
Mobile Phone Usage Data for Credit Scoring. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
41 | Henri Ots, Innar Liiv, Diana Tur |
Mobile Phone Usage Data for Credit Scoring. |
DB&IS |
2020 |
DBLP DOI BibTeX RDF |
|
41 | Nele Ots |
On the phrase-level function of f0 in Estonian. |
J. Phonetics |
2017 |
DBLP DOI BibTeX RDF |
|
41 | Kärt Ots, Fernando Loizides, Sónia Sousa 0001 |
Information Seeking Behaviour of Scholars Using Resource Discovery Systems. |
ECIL |
2015 |
DBLP DOI BibTeX RDF |
|
41 | Anssi Tarkiainen, Hanna-Kaisa Ellonen, Mart Ots, Lara Stocchi |
Creating Loyalty Towards Magazine Websites: Insights from the Double Jeopardy Phenomenon. |
Int. J. E Bus. Res. |
2014 |
DBLP DOI BibTeX RDF |
|
41 | Heikki Laaki, Karel Kaurila, Karl Ots, Vik Nuckchady, Petros Belimpasakis |
Augmenting virtual worlds with real-life data from mobile devices. |
VR |
2010 |
DBLP DOI BibTeX RDF |
|
39 | Jianwen Xiang, Dines Bjørner, Kokichi Futatsugi |
Formal digital license language with OTS/CafeOBJ method. |
AICCSA |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Charles Santoni, Jean-Marc Mercantini, Maria de F. Q. V. Turnell, Alexandre Scaico, José A. do N. Neto |
A real-time interface simulator for operator's training: a proposed architecture. |
SCSC |
2007 |
DBLP BibTeX RDF |
operator training systems (OTS), simulation engine architecture, virtual reality, petri nets, human interfaces, industrial automation |
39 | Kazuhiro Ogata 0001, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi |
Induction-Guided Falsification. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
observational transition system (OTS), invariant, induction, counterexample, Maude, CafeOBJ |
31 | Danny Harnik, Yuval Ishai, Eyal Kushilevitz, Jesper Buus Nielsen |
OT-Combiners via Secure Computation. |
TCC |
2008 |
DBLP DOI BibTeX RDF |
|
31 | David de Andrés, Juan-Carlos Ruiz-Garcia, Daniel Gil, Pedro J. Gil |
Dependability Assessment for the Selection of Embedded Cores. |
EDCC |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Danny Harnik, Yuval Ishai, Eyal Kushilevitz |
How Many Oblivious Transfers Are Needed for Secure Multiparty Computation? |
CRYPTO |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Qianhong Wu, Bo Qin, Changjie Wang, Xiaofeng Chen 0001, Yumin Wang |
t-Out-of-n String/Bit Oblivious Transfers Revisited. |
ISPEC |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Kazuhiro Ogata 0001, Masahiro Nakano, Masaki Nakamura 0001, Kokichi Futatsugi |
Chocolat/SMV: A Translator from CafeOBJ into SMV. |
PDCAT |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Tiago R. Balen, Antonio Andrade Jr., Florence Azaïs, Michel Renovell, Marcelo Lubaszewski |
Testing the Configurable Analog Blocks of Field Programmable Analog Arrays. |
ITC |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Tom Anderson 0001, Mei Feng, Steve Riddle, Alexander B. Romanovsky |
Protective Wrapper Development: A Case Study. |
ICCBSS |
2003 |
DBLP DOI BibTeX RDF |
|
31 | B. Ramakrishna Rau, Michael S. Schlansker |
Embedded Computer Architecture and Automation. |
Computer |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Aykut Kutlusan, Nadir Altmidort, Tufan Oruk, Alpay Duman |
A Combat Management System Middleware Based on CORBA. |
DOA |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Juliano Iyoda, Augusto Sampaio, Leila Silva |
ParTS: A Partitioning Transformation System. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Sherif M. Yacoub, Bojan Cukic, Hany H. Ammar |
A Component-based Approach to Reliability Analysis of Distributed Systems. |
SRDS |
1999 |
DBLP DOI BibTeX RDF |
Component-Dependency Graphs and Scenario-based Reliability Analysis, Reliability Analysis |
31 | Bjørn W. Bjanger, Anders Solhaug |
ATM Network Management with Distributed Transactional Agents. |
IS&N |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Hartmut Vogler, Thomas Kunkelmann, Marie-Luise Moschgath |
An Approach for Mobile Agent Security and Fault Tolerance using Distributed Transactions. |
ICPADS |
1997 |
DBLP DOI BibTeX RDF |
OTS, security, fault tolerance, mobile agents, electronic commerce, CORBA, distributed transactions |
24 | Tianhao Chen, Pengbo Xu, Haibiao Zheng |
Bootstrapping OTS-Funcimg Pre-training Model (Botfip) - A Comprehensive Symbolic Regression Framework. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Muthakshi S, Mahesh K |
Long-Term Container Allocation via Optimized Task Scheduling Through Deep Learning (OTS-DL) And High-Level Security. |
KSII Trans. Internet Inf. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Wenbo Hu, Hongjian Zhan, Cong Liu, Bing Yin, Yue Lu 0001 |
OTS: A One-shot Learning Approach for Text Spotting in Historical Manuscripts. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Yifan Wang, Masaki Nakamura 0001, Kazutoshi Sakakibara, Yuki Okura |
Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method (S). |
SEKE |
2023 |
DBLP DOI BibTeX RDF |
|
24 | P. C. Chang, P. J. Liao, C. H. Wu, Y. C. Chang, D. H. Hou, Elia Ambrosi, H. Y. Lee, J. H. Lee, X. Y. Bao |
A New Ramp Stress Reliability Assessment on Pulse Energy Based OTS Switching Operation. |
IRPS |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Motonari Honda, Yuichi Kaji |
Improvement of Winternitz OTS with a Novel Fingerprinting Function. |
SECRYPT |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Sanghyun Ban, Jangseop Lee, Taehoon Kim, Hyunsang Hwang |
Simple Binary In-Te OTS with Sub-nm HfOₓ Buffer Layer for 3D Vertical X-point Memory Applications. |
VLSI Technology and Circuits |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Wei-Chih Chien, E. K. Lai, L. Buzi, C. W. Cheng, C. W. Yeh, A. Ray, Lynne M. Gignac, N. Gong, H. Y. Cheng, A. Grun, D. Y. Lee, W. Kim, A. Majumdar, Douglas M. Bishop, Robert L. Bruce, D. Daudelin, H. Y. Ho, M. J. BrightSky, H. L. Lung |
A Comprehensive Study on the Pillar Size of OTS-PCM Memory with an Optimized Process and Scaling Trends Down to Sub-10 nm for SCM Applications. |
IMW |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Tommi Jauhiainen, Heidi Jauhiainen, Krister Lindén |
Tuning HeLI-OTS for Guarani-Spanish Code Switching Analysis. |
IberLEF@SEPLN |
2023 |
DBLP BibTeX RDF |
|
24 | Taeung No, Seonjun Choi, Gaeryun Sung, Seong-Beom Kim, Jaeduk Han, Yun Heub Song |
A Discharge-Path-Based Sensing Circuit With OTS Snapback Current Protection for Phase Change Memories. |
IEEE Access |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Masaki Nakamura 0001, Shuki Higashi, Kazutoshi Sakakibara, Kazuhiro Ogata 0001 |
Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Camille Laguna, Mathieu Bernard, Julien Garrione, Niccolo Castellani, Valentina Meli, S. Martin, François Aussenac, D. Rouchon, N. Rochat, Emmanuel Nolot, Guillaume Bourgeois, Marie Claire Cyrille, Liviu Militaru, A. Souifi, François Andrieu, Gabriele Navarro |
Multilayer Structure in SeAsGeSi-based OTS for High Thermal Stability and Reliability Enhancement. |
ESSDERC |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Tatsuya Igarashi, Masaki Nakamura 0001, Kazutoshi Sakakibara |
Formal Verification of the Lim-Jeong-Park-Lee Autonomous Vehicle Control Protocol using the OTS/CafeOBJ Method. |
SEKE |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Wei-Chih Chien, Lynne M. Gignac, Y. C. Chou, C. H. Yang, N. Gong, H. Y. Ho, C. W. Yeh, H. Y. Cheng, W. Kim, I. T. Kuo, E. K. Lai, C. W. Cheng, L. Buzi, A. Ray, C. S. Hsu, Robert L. Bruce, Matthew BrightSky, H. L. Lung |
Endurance Evaluation on OTS-PCM Device using Constant Current Stress Scheme. |
IRPS |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Wen Ma, Tung Thanh Hoang, Brian Hoskins, Matthew W. Daniels, Jabez J. McClelland, Yutong Gao, Gina C. Adam, Martin Lueker-Boden |
Effect of OTS Selector Reliabilities on NVM Crossbar-based Neuromorphic Training. |
IRPS |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Jangseop Lee, Seonghun Kim, Sangmin Lee, Sanghyun Ban, Seongjae Heo, Donghwa Lee, Oleksandr Mosendz, Hyunsang Hwang |
Improving the SiGeAsTe Ovonic Threshold Switching (OTS) Characteristics by Microwave Annealing for Excellent Endurance (> 1011) and Low Drift Characteristics. |
VLSI Technology and Circuits |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Tommi Jauhiainen, Heidi Jauhiainen, Krister Lindén |
HeLI-OTS, Off-the-shelf Language Identifier for Text. |
LREC |
2022 |
DBLP BibTeX RDF |
|
24 | Duong Dinh Tran, Dang Duy Bui, Kazuhiro Ogata 0001 |
Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Kwang Woo Lee, Hyun Kook Park, Seong-Ook Jung |
Adaptive Sensing Voltage Modulation Technique in Cross-Point OTS-PRAM. |
IEEE Trans. Very Large Scale Integr. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Amos Zheng, Marcos A. Simplício Jr. |
z-OTS: a one-time hash-based digital signaturescheme with fast verification. |
IACR Cryptol. ePrint Arch. |
2021 |
DBLP BibTeX RDF |
|
24 | David Chaum, Mario Larangeira, Mario Yaksetig, William Carter |
W-OTS(+) up my Sleeve! A Hidden Secure Fallback for Cryptocurrency Wallets. |
IACR Cryptol. ePrint Arch. |
2021 |
DBLP BibTeX RDF |
|
24 | Masaki Nakamura 0001, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata 0001 |
Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method. |
Int. J. Softw. Eng. Knowl. Eng. |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Masaki Nakamura 0001, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata 0001 |
Formal verification of multitask hybrid systems by the OTS/CafeOBJ method. |
SEKE |
2021 |
DBLP DOI BibTeX RDF |
|
24 | J. Gasquez, Bastien Giraud, P. Boivin, Y. Moustapha-Rabault, Vincenzo Della Marca, Jean-Michel Walder, Jean-Michel Portal |
A Regulated Sensing Solution Based on a Self-reference Principle for PCM + OTS Memory Array. |
VLSI-SoC (Selected Papers) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | J. Gasquez, Bastien Giraud, P. Boivin, Y. Moustapha-Rabault, Vincenzo Della Marca, Jean-Pierre Walder, Jean-Michel Portal |
A Self-referenced and regulated sensing solution for PCM with OTS selector. |
VLSI-SoC |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Zhong Ma, Hongqi Yu, Shiqing Zhang, Yi Sun, Jietao Diao, David Day-Uei Li |
Random time delay analysis of Nb2O5 and OTS memristors. |
ICISCAE (IEEE) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | David Chaum, Mario Larangeira, Mario Yaksetig, William Carter |
W-OTS+ Up My Sleeve! A Hidden Secure Fallback for Cryptocurrency Wallets. |
ACNS (1) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Joel Minguet Lopez, Niccolo Castellani, Laurent Grenouillet, Lucas Reganaz, Gabriele Navarro, Mathieu Bernard, Catherine Carabasse, Thomas Magis, Damien Deleruyelle, Marc Bocquet, Jean-Michel Portal, E. Nowak, Gabriel Molas |
Ge-Se-Sb-N-based OTS scaling perspectives for high-density 1 S1R crossbar arrays. |
IMW |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Camille Laguna, Mathieu Bernard, Nicolas Bernier, D. Rouchon, N. Rochat, Julien Garrione, A. Jannaud, Emmanuel Nolot, Valentina Meli, Niccolo Castellani, C. Sabbione, Guillaume Bourgeois, Marie Claire Cyrille, Liviu Militaru, A. Souifi, Gabriele Navarro, Etienne Nowak |
Multilayer OTS Selectors Engineering for High Temperature Stability, Scalability and High Endurance. |
IMW |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Hualin Cai, Rui Ding, Weizhuo Huang, Yinwei Zhan, Rongqian Yang |
Fast Calibration with OTS for AR-based Surgical Navigation. |
M2VIP |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Seong-il Im, Hyejin Lee, Jaesang Lee 0004, Jae-Seung Jeong, Joon Young Kwak, Keunsu Kim, Jeong Ho Cho, Hyunsu Ju, Suyoun Lee |
Highly-scalable stochastic neuron based on Ovonic Threshold Switch (OTS) and its applications in Restricted Boltzmann Machine (RBM). |
CoRR |
2020 |
DBLP BibTeX RDF |
|
24 | Masaki Nakamura 0001, Kazutoshi Sakakibara, Kazuhiro Ogata 0001 |
Specification description and verification of multitask hybrid systems in the OTS/CafeOBJ method. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
24 | Mikhail A. Kudinov, Evgeniy O. Kiktenko, Aleksey K. Fedorov |
Security analysis of the W-OTS+ signature scheme: Updating security bounds. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
24 | Kwang Woo Lee, Hyun Kook Park, Seong-Ook Jung |
A Read Voltage Modulation Technique for Leakage Current Compensation in Cross-Point OTS-PRAM. |
ISCAS |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Masaki Nakamura 0001, Shuki Higashi, Kazutoshi Sakakibara, Kazuhiro Ogata 0001 |
Formal verification of Fischer's real-time mutual exclusion protocol by the OTS/CafeOBJ method. |
SICE |
2020 |
DBLP BibTeX RDF |
|
24 | Jonathan Baxter |
Some observations concerning Off Training Set (OTS) error. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
24 | V. Balamurugan, R. Saravanan 0005 |
Enhanced intrusion detection and prevention system on cloud environment using hybrid classification and OTS generation. |
Clust. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Jiyong Woo, Shimeng Yu |
Design Space Exploration of Ovonic Threshold Switch (OTS) for Sub-Threshold Read Operation in Cross-Point Memory Arrays. |
ISCAS |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Nikolaos Triantafyllou |
Software engineering applications of the OTS/CafeOBJ algebraic specification method |
|
2019 |
RDF |
|
24 | Milim Lee, Youngjo Kim, Seong Won Cho, Joon Young Kwak, Hyunsu Ju, Yeonjin Yi, Byung-ki Cheong, Suyoun Lee |
A highly scalable and energy-efficient artificial neuron using an Ovonic Threshold Switch (OTS) featuring the spike-frequency adaptation and chaotic activity. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
24 | Dominik Klein 0001 |
Key-Secrecy of PACE with OTS/CafeOBJ. |
IACR Cryptol. ePrint Arch. |
2018 |
DBLP BibTeX RDF |
|
24 | Anthonin Verdy, Gabriele Navarro, Mathieu Bernard, Sophie Chevalliez, Niccolo Castellani, Emmanuel Nolot, Julien Garrione, Pierre Noe, Guillaume Bourgeois, Veronique Sousa, Marie Claire Cyrille, Etienne Nowak |
Carbon electrode for Ge-Se-Sb based OTS selector for ultra low leakage current and outstanding endurance. |
IRPS |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Solomon Amsalu Chekol, Jongmyung Yoo, Hyunsang Hwang |
Thermally Stable Te-based Binary OTS Device for Selector Application. |
NVMTS |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Marie Claire Cyrille, Anthonin Verdy, Gabriele Navarro, Guillaume Bourgeois, Julien Garrione, Mathieu Bernard, C. Sabbione, Pierre Noe, Etienne Nowak |
OTS selector devices: Material engineering for switching performance. |
ICICDT |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Saumya Solanki, Gautam Krishnan, Varshini Sampath, Jason Polakis |
In (Cyber)Space Bots Can Hear You Speak: Breaking Audio CAPTCHAs Using OTS Speech Recognition. |
AISec@CCS |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Ryusei Mori, Masaki Nakamura 0001 |
Automated Test Case Generation from OTS/CafeOBJ Specifications by Specification Translation. |
ICST Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Iakovos Ouranos, Kazuhiro Ogata 0001, Petros S. Stefaneas |
TESLA Source Authentication Protocol Verification Experiment in the Timed OTS/CafeOBJ Method: Experiences and Lessons Learned. |
IEICE Trans. Inf. Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 174 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|