Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Jan A. Bergstra |
Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.08722, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Renkui Hou, Chu-Ren Huang, Mi Zhou, Menghan Jiang |
Distance between Chinese Registers Based on the Menzerath-Altmann Law and Regression Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Glottometrics ![In: Glottometrics 45, pp. 24-56, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Huiying Cai, Yunhua Qu, Zhiwei Feng |
A Corpus-Based Study of the Semantic Prosody of Chinese Light Verb Pattern across Registers: Taking jinxing and shoudao as Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Glottometrics ![In: Glottometrics 46, pp. 61-82, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Xiaowen Zhang, Yunhua Qu, Zhiwei Feng |
A Corpus-Based Study on the Diachronic Relationship between the Contemporary American English Present Perfect and Simple Past Across Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Glottometrics ![In: Glottometrics 44, pp. 34-58, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Xiaofang Xu, Chunlei Li 0001, Xiangyong Zeng |
Nonsingular Polynomials from Feedback Shift Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 30(3), pp. 469-487, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Haiyan Wang, Qiuzhen Lin, Jianyong Chen, Jianqiang Li 0001, Jianghua Zhong, Dongdai Lin, Jia Wang 0008, Lijia Ma |
On Stability of Multi-Valued Nonlinear Feedback Shift Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex. ![In: Complex. 2019, pp. 8765970:1-8765970:11, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Xinmiao Zhang |
A Low-Power Parallel Architecture for Linear Feedback Shift Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 66-II(2), pp. 412-416, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Jianghua Zhong, Dongdai Lin |
On Equivalence of Cascade Connections of Two Nonlinear Feedback Shift Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 62(12), pp. 1793-1804, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Marwa Naveed Sheikh, Wei-Ming Lin |
Dynamic capping of rename registers for SMT processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 99, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Janusz Szmidt |
Nonlinear Feedback Shift Registers and Zech's Logarithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMCIS ![In: International Conference on Military Communications and Information Systems, ICMCIS 2019, Budva, Montenegro, May 14-15, 2019, pp. 1-4, 2019, IEEE, 978-1-5386-9383-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Pinghui Wang, Peng Jia 0004, Xiangliang Zhang 0001, Jing Tao, Xiaohong Guan, Don Towsley |
Utilizing Dynamic Properties of Sharing Bits and Registers to Estimate User Cardinalities Over Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: 35th IEEE International Conference on Data Engineering, ICDE 2019, Macao, China, April 8-11, 2019, pp. 1094-1105, 2019, IEEE, 978-1-5386-7474-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Arvid Jakobsson, Frédéric Dabrowski, Wadoud Bousdira |
Safe usage of registers in BSPlib. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 8-12, 2019, pp. 1400-1407, 2019, ACM, 978-1-4503-5933-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Johan Laurent, Vincent Beroulle, Christophe Deleuze, Florian Pebay-Peyroula |
Fault Injection on Hidden Registers in a RISC-V Rocket Processor and Software Countermeasures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Florence, Italy, March 25-29, 2019, pp. 252-255, 2019, IEEE, 978-3-9819263-2-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Gwénolé Lecorvé, H. Ambre Ayats, Benoît Fournier, Jade Mekki, Jonathan Chevelu, Delphine Battistelli, Nicolas Béchet |
Towards the Automatic Processing of Language Registers: Semi-supervisedly Built Corpus and Classifier for French. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICLing (1) ![In: Computational Linguistics and Intelligent Text Processing - 20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, Revised Selected Papers, Part I, pp. 480-492, 2019, Springer, 978-3-031-24336-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Benedikt Bollig, Patricia Bouyer, Fabian Reiter |
Identifiers in Registers - Describing Network Algorithms with Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 115-132, 2019, Springer, 978-3-030-17126-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Min Hong Yun, Lin Zhong 0001 |
Ginseng: Keeping Secrets in Registers When You Distrust the Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NDSS ![In: 26th Annual Network and Distributed System Security Symposium, NDSS 2019, San Diego, California, USA, February 24-27, 2019, 2019, The Internet Society, 1-891562-55-X. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | James Aspnes, Heyang Er |
Consensus with Max Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: 33rd International Symposium on Distributed Computing, DISC 2019, October 14-18, 2019, Budapest, Hungary., pp. 1:1-1:9, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-126-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Nkyi Stephen, Yan Xue Feng, Rodor Gershon, Kusi Ankrah Bonsu |
Integrated Round Trip Path Dual Registers (RTPDR) Fault Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCSIC ![In: ISCSIC 2019: 3rd International Symposium on Computer Science and Intelligent Control, Amsterdam, The Netherlands, September 25-27, 2019, pp. 22:1-22:6, 2019, ACM, 978-1-4503-7661-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Layla S. Aldawsari |
Naming Anonymous Processes with Test-and-Set Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCSIC ![In: ISCSIC 2019: 3rd International Symposium on Computer Science and Intelligent Control, Amsterdam, The Netherlands, September 25-27, 2019, pp. 25:1-25:7, 2019, ACM, 978-1-4503-7661-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Adriana N. Borodzhieva |
Modeling of Cryptosystems Based on Linear Feedback Shift Registers Using Spreadsheets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIPRO ![In: 42nd International Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2019, Opatija, Croatia, May 20-24, 2019, pp. 1473-1478, 2019, IEEE, 978-953-233-098-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Elma Kerz, Daniel Wiechmann, Morten H. Christiansen |
Tuning to Multiple Statistics: Second Language Processing of Multiword Sequences Across Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 41th Annual Meeting of the Cognitive Science Society, CogSci 2019: Creativity + Cognition + Computation, Montreal, Canada, July 24-27, 2019, pp. 546-552, 2019, cognitivesciencesociety.org, 0-9911967-7-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Vamshi Krishna Kammadanam, Virendra R. Sule, Yi Hong 0001 |
Conditions for Feedback Shift Registers to Generate Permutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMC ![In: Proceedings of the Fifth International Conference on Mathematics and Computing - ICMC 2019, Bhubaneswar, India, February 6-9, 2019., pp. 125-136, 2019, Springer, 978-981-15-5410-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Naruaki Maeda, Akio Tsuneda |
Markov Binary Sequences Generated by Post-Processing Based on Feedback Shift Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTC ![In: 2019 International Conference on Information and Communication Technology Convergence, ICTC 2019, Jeju Island, Korea (South), October 16-18, 2019, pp. 147-149, 2019, IEEE, 978-1-7281-0893-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Gyoung-Hwan Hyun, Taewhan Kim |
Allocation of State Retention Registers Boosting Practical Applicability to Power Gated Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the International Conference on Computer-Aided Design, ICCAD 2019, Westminster, CO, USA, November 4-7, 2019, pp. 1-6, 2019, ACM, 9781728123509. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Miloslaw Chodacki |
Feedback Shift Registers Evolutionary Design Using Reverse Polish Notation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIIDS (2) ![In: Intelligent Information and Database Systems - 11th Asian Conference, ACIIDS 2019, Yogyakarta, Indonesia, April 8-11, 2019, Proceedings, Part II, pp. 475-485, 2019, Springer, 978-3-030-14801-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Chengkang He, Aijiao Cui, Chip-Hong Chang |
Identification of State Registers of FSM Through Full Scan by Data Analytics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsianHOST ![In: Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2019, Xi'an, China, December 16-17, 2019, pp. 1-6, 2019, IEEE, 978-1-7281-3544-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Josie E. Rodriguez Condia, Matteo Sonza Reorda |
Testing permanent faults in pipeline registers of GPGPUs: A multi-kernel approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 25th IEEE International Symposium on On-Line Testing and Robust System Design, IOLTS 2019, Rhodes, Greece, July 1-3, 2019, pp. 97-102, 2019, IEEE, 978-1-7281-2490-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Faris S. Alghareb, Ronald F. DeMara |
Design and Evaluation of DNU-Tolerant Registers for Resilient Architectural State Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 2019 on Great Lakes Symposium on VLSI, GLSVLSI 2019, Tysons Corner, VA, USA, May 9-11, 2019, pp. 303-306, 2019, ACM, 978-1-4503-6252-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Veronika Laippala, Roosa Kyllönen, Jesse Egbert, Douglas Biber, Sampo Pyysalo |
Toward Multilingual Identification of Online Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NODALIDA ![In: Proceedings of the 22nd Nordic Conference on Computational Linguistics, NoDaLiDa 2019, Turku, Finland, September 30 - October 2, 2019, pp. 292-297, 2019, Linköping University Electronic Press, 978-91-7929-995-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Hrvoje Tomic, Sinisa Mastelic Ivic, Miodrag Roic |
Land Consolidation Suitability Ranking of Cadastral Municipalities: Information-Based Decision-Making Using Multi-Criteria Analyses of Official Registers' Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPRS Int. J. Geo Inf. ![In: ISPRS Int. J. Geo Inf. 7(3), pp. 87, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Chenyao Bao, Xiaowen Zhang, Yunhua Qu, Zhiwei Feng |
American English Perfect Construction Across Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Quant. Linguistics ![In: J. Quant. Linguistics 25(4), pp. 314-341, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Wouter Kool 0002, Samuel J. Gershman, Fiery Cushman |
Planning Complexity Registers as a Cost in Metacontrol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cogn. Neurosci. ![In: J. Cogn. Neurosci. 30(10), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Davide Bellizia, Simone Bongiovanni, Pietro Monsurrò, Giuseppe Scotti, Alessandro Trifiletti, Francesco Bruno Trotta |
Secure Double Rate Registers as an RTL Countermeasure Against Power Analysis Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 26(7), pp. 1368-1376, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Li-Ping Wang, Daqing Wan |
On lattice-based algebraic feedback shift registers synthesis for multisequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cryptogr. Commun. ![In: Cryptogr. Commun. 10(3), pp. 455-465, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Andrew Klapper |
Matrix parametrized shift registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cryptogr. Commun. ![In: Cryptogr. Commun. 10(2), pp. 369-382, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Zohir Bouzid, Michel Raynal, Pierre Sutra |
Anonymous obstruction-free (n, k)-set agreement with n-k+1 atomic read/write registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 31(2), pp. 99-117, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Catalin Bogdan Ciobanu, Georgi Gaydadjiev, Christian Pilato, Donatella Sciuto |
The Case for Polymorphic Registers in Dataflow Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 46(6), pp. 1185-1219, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jan A. Bergstra, Cornelis A. Middelburg |
A Short Introduction to Program Algebra with Instructions for Boolean Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. J. Moldova ![In: Comput. Sci. J. Moldova 26(3), pp. 199-232, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Jianghua Zhong, Dongdai Lin |
On Minimum Period of Nonlinear Feedback Shift Registers in Grain-Like Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 64(9), pp. 6429-6442, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jan A. Bergstra, Cornelis A. Middelburg |
A short introduction to program algebra with instructions for Boolean registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.04264, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Benedikt Bollig, Patricia Bouyer, Fabian Reiter |
Identifiers in Registers - Describing Network Algorithms with Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.08197, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Pinghui Wang, Peng Jia 0004, Xiangliang Zhang 0001, Jing Tao, Xiaohong Guan, Don Towsley |
Utilizing Dynamic Properties of Sharing Bits and Registers to Estimate User Cardinalities over Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.09126, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Giovanni Abramo, Ciriaco Andrea D'Angelo, Fulvio Viel |
Selecting competent referees to assess research projects proposals: a study of referees' registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1810.13359, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Yuanhao Wei |
Space Complexity of Implementing Large Shared Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.00481, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Ricardo Gonzalez-Toral, Shanshan Liu 0001, Pedro Reviriego, Juan Antonio Maestro |
Reducing the Power Consumption of Fault Tolerant Registers Through Hybrid Protection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. I Regul. Pap. ![In: IEEE Trans. Circuits Syst. I Regul. Pap. 65-I(4), pp. 1293-1302, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Partho Ghose, Md. Naimur Rahman, Md. Masbaul Alam Polash, Uzzal Kumar Acharjee |
Design of Reversible Shift Registers Minimizing Number of Gates, Constant Inputs and Garbage Outputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICACCI ![In: 2018 International Conference on Advances in Computing, Communications and Informatics, ICACCI 2018, Bangalore, India, September 19-22, 2018, pp. 752-758, 2018, IEEE, 978-1-5386-5314-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Sprenger 0001, Steffen Zeuch, Ulf Leser |
Exploiting Automatic Vectorization to Employ SPMD on SIMD Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: 34th IEEE International Conference on Data Engineering Workshops, ICDE Workshops 2018, Paris, France, April 16-20, 2018, pp. 90-95, 2018, IEEE Computer Society, 978-1-5386-6306-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Janis Bicevskis, Zane Bicevska, Anastasija Nikiforova, Ivo Oditis |
Data quality evaluation: a comparative analysis of company registers' open data in four European countries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS (Communication Papers) ![In: Communication Papers of the 2018 Federated Conference on Computer Science and Information Systems, FedCSIS 2018, Poznań, Poland, September 9-12, 2018., pp. 197-204, 2018, 978-83-952357-0-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Rémi Cardon, Natalia Grabar |
Identification of Parallel Sentences in Comparable Monolingual Corpora from Different Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Louhi@EMNLP ![In: Proceedings of the Ninth International Workshop on Health Text Mining and Information Analysis, Louhi@EMNLP 2018, Brussels, Belgium, October 31, 2018, pp. 83-93, 2018, Association for Computational Linguistics, 978-1-948087-74-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Gwénolé Lecorvé, H. Ambre Ayats, Benoît Fournier, Jade Mekki, Jonathan Chevelu, Delphine Battistelli, Nicolas Béchet |
Construction conjointe d'un corpus et d'un classifieur pour les registres de langue en français (Joint building of a corpus and a classifier for language registers in French). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORIA-TALN-RJC (TALN) ![In: Actes de la Conférence, CORIA-TALN-RJC 2018 - Volume 1 - Articles longs, articles courts de TALN, Rennes, France, May 14-18, 2018, pp. 143-156, 2018, ATALA. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Veselin N. Ivanovic, Nevena R. Brnovic |
Appropriate registers' lengths in the fully pipelined design of an optimal space/spatial frequency filter for highly nonstationary two-dimensional FM signals estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MECO ![In: 7th Mediterranean Conference on Embedded Computing, MECO 2018, Budva, Montenegro, June 10-14, 2018, pp. 1-4, 2018, IEEE, 978-1-5386-5683-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Zelin Rong, Peidai Xie, Jingyuan Wang, Shenglin Xu, Yongjun Wang |
Clean the Scratch Registers: A Way to Mitigate Return-Oriented Programming Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 29th IEEE International Conference on Application-specific Systems, Architectures and Processors, ASAP 2018, Milano, Italy, July 10-12, 2018, pp. 1-8, 2018, IEEE Computer Society, 978-1-5386-7479-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Rokiatou Diarra, Alain Mérigot, Bastien Vincke |
[Engineering Paper] RECKA and RPromF: Two Frama-C Plug-ins for Optimizing Registers Usage in CUDA, OpenACC and OpenMP Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 18th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2018, Madrid, Spain, September 23-24, 2018, pp. 187-192, 2018, IEEE Computer Society, 978-1-5386-8290-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Thembi Rosa, Carlos Falci |
Registers as inventions: body, dance, memory and digital medias. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOCO ![In: Proceedings of the 5th International Conference on Movement and Computing, MOCO 2018, Genoa, Italy, June 28-30, 2018, pp. 36:1-36:3, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Adeline Granet, Benjamin Hervy, Geoffrey Roman-Jimenez, Marouane Hachicha, Emmanuel Morin, Harold Mouchère, Solen Quiniou, Guillaume Raschia, Françoise Rubellin, Christian Viard-Gaudin |
Crowdsourcing-based Annotation of the Accounting Registers of the Italian Comedy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LREC ![In: Proceedings of the Eleventh International Conference on Language Resources and Evaluation, LREC 2018, Miyazaki, Japan, May 7-12, 2018., 2018, European Language Resources Association (ELRA). The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Yuanhui Ni, Zhiyao Gong, Weiwen Chen, Chengmo Yang, Keni Qiu |
State-Transition-Aware Spilling Heuristic for MLC STT-RAM-Based Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: VLSI Design 2017, pp. 1030249:1-1030249:9, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Cong Hao, Jianmo Ni, Nan Wang 0003, Takeshi Yoshimura |
Interconnection Allocation Between Functional Units and Registers in High-Level Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 25(3), pp. 1140-1153, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Donatella Firmani, Paolo Merialdo, Marco Maiorino |
In Codice Ratio: Scalable Transcription of Vatican Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ERCIM News ![In: ERCIM News 2017(111), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Hideo Fujiwara, Katsuya Fujiwara |
Synthesis and Enumeration of Generalized Shift Registers for Strongly Secure SR-Equivalents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 100-D(9), pp. 2232-2236, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Margreta Kuijper, Raquel Pinto |
An iterative algorithm for parametrization of shortest length linear shift registers over finite chain rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 83(2), pp. 283-305, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Yupeng Jiang, Jiangshuai Yang |
On the number of irreducible linear transformation shift registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 83(2), pp. 445-454, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Ming Li 0033, Yupeng Jiang, Dongdai Lin |
The adjacency graphs of some feedback shift registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 82(3), pp. 695-713, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Haiyan Wang, Jianghua Zhong, Dongdai Lin |
Linearization of multi-valued nonlinear feedback shift registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Sci. Complex. ![In: J. Syst. Sci. Complex. 30(2), pp. 494-509, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Vignyan Reddy Kothinti Naresh, Dibakar Gope, Mikko H. Lipasti |
The CURE: Cluster Communication Using Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 16(5s), pp. 124:1-124:19, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Antonella Del Pozzo, Silvia Bonomi, Riccardo Lazzeretti, Roberto Baldoni |
Building Regular Registers with Rational Malicious Servers and Anonymous Clients - Extended Version. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1704.05521, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal |
Another Look at the Implementation of Read/write Registers in Crash-prone Asynchronous Message-Passing Systems (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1702.08176, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Lin Wang |
Deciding Irreducibility/Indecomposability of Feedback Shift Registers is NP-hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1702.01423, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Fan Pan, Guoxiao Tao |
Alex Chengyu, Fang and Jing, Cao: Text Genres and Registers: The Computation of Linguistic Features - Springer-Verlag, Berlin, Heidelberg, 2015. Hardcover: 267 pp, ISBN: 978-3-662-45099-4; eBook: ISBN: 978-3-662-45100-7; DOI: 10.1007/978-3-662-45100-7. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 113(3), pp. 1815-1818, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Hongjia Mo, Michael Peter Kennedy |
Masked Dithering of MASH Digital Delta-Sigma Modulators With Constant Inputs Using Multiple Linear Feedback Shift Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. I Regul. Pap. ![In: IEEE Trans. Circuits Syst. I Regul. Pap. 64-I(6), pp. 1390-1399, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Bjørn Kjos-Hanssen |
Shift Registers Fool Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 170-181, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Daniel C. Dinis, Rui Fiel Cordeiro, Arnaldo S. R. Oliveira, José M. N. Vieira, Tomas O. Silva |
Improving the performance of all-digital transmitter based on parallel delta-sigma modulators through propagation of state registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MWSCAS ![In: IEEE 60th International Midwest Symposium on Circuits and Systems, MWSCAS 2017, Boston, MA, USA, August 6-9, 2017, pp. 1133-1137, 2017, IEEE, 978-1-5090-6389-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Jun Wang 0070, Jianmin Pang, Liguo Fu, Zheng Shan, Feng Yue, Jiahao Zhang |
A Binary Translation Backend Registers Allocation Algorithm Based on Priority. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GSKI (2) ![In: Geo-Spatial Knowledge and Intelligence - 5th International Conference, GSKI 2017, Chiang Mai, Thailand, December 8-10, 2017, Revised Selected Papers, Part II, pp. 414-425, 2017, Springer, 978-981-13-0895-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Meilin Li, Jianquan Lu, Jie Zhong |
Stability of (n, k) nonlinear feedback shift registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: 13th IEEE Conference on Automation Science and Engineering, CASE 2017, Xi'an, China, August 20-23, 2017, pp. 166-170, 2017, IEEE, 978-1-5090-6781-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Eric Ruppert |
Brief Announcement: Readers of Wait-Free Unbounded Registers Must Write. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the ACM Symposium on Principles of Distributed Computing, PODC 2017, Washington, DC, USA, July 25-27, 2017, pp. 93-94, 2017, ACM, 978-1-4503-4992-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Pankaj Khanchandani, Roger Wattenhofer |
Brief Announcement: Fast Shared Counting using (O(n)) Compare-and-Swap Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the ACM Symposium on Principles of Distributed Computing, PODC 2017, Washington, DC, USA, July 25-27, 2017, pp. 95-96, 2017, ACM, 978-1-4503-4992-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Zhiyao Gong, Keni Qiu, Weiwen Chen, Yuanhui Ni, Yuanchao Xu 0002, Jianlei Yang 0001 |
Pipeline Optimizations of Architecting STT-RAM as Registers in Rad-Hard Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustCom/BigDataSE/ICESS ![In: 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4, 2017, pp. 844-852, 2017, IEEE Computer Society, 978-1-5090-4906-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Daiki Asai, Masao Yanagisawa, Nozomu Togawa |
Floorplan-driven high-level synthesis using volatile/non-volatile registers for hybrid energy-harvesting systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASICON ![In: 12th IEEE International Conference on ASIC, ASICON 2017, Guiyang, China, October 25-28, 2017, pp. 64-67, 2017, IEEE, 978-1-5090-6625-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Antonella Del Pozzo, Silvia Bonomi, Riccardo Lazzeretti, Roberto Baldoni |
Building Regular Registers with Rational Malicious Servers and Anonymous Clients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCML ![In: Cyber Security Cryptography and Machine Learning - First International Conference, CSCML 2017, Beer-Sheva, Israel, June 29-30, 2017, Proceedings, pp. 50-67, 2017, Springer, 978-3-319-60079-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Eero Hyvönen, Petri Leskinen, Erkki Heino, Jouni Tuominen, Laura Sirola |
Reassembling and Enriching the Life Stories in Printed Biographical Registers: Norssi High School Alumni on the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LDK ![In: Language, Data, and Knowledge - First International Conference, LDK 2017, Galway, Ireland, June 19-20, 2017, Proceedings, pp. 113-119, 2017, Springer, 978-3-319-59887-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Eric Ruppert |
Implementing Shared Registers in Asynchronous Message-Passing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Algorithms ![In: Encyclopedia of Algorithms - 2016 Edition, pp. 954-958, 2016, Springer, 978-1-4939-2863-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Paul M. B. Vitányi |
Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Algorithms ![In: Encyclopedia of Algorithms - 2016 Edition, pp. 1808-1812, 2016, Springer, 978-1-4939-2863-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso |
Adding Data Registers to Parameterized Networks with Broadcast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 143(3-4), pp. 287-316, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Klaus Pommerening |
Cryptanalysis of nonlinear feedback shift registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cryptologia ![In: Cryptologia 40(4), pp. 303-315, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Hideo Fujiwara, Katsuya Fujiwara |
Realization of SR-Equivalents Using Generalized Shift Registers for Secure Scan Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 99-D(8), pp. 2182-2185, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Hideo Fujiwara, Katsuya Fujiwara |
Properties of Generalized Feedback Shift Registers for Secure Scan Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 99-D(4), pp. 1255-1258, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Abhishek Nag, Sambhu Nath Pradhan |
An Autonomous Clock Gating Technique in Finite State Machines Based on Registers Partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Circuits Syst. Comput. ![In: J. Circuits Syst. Comput. 25(5), pp. 1650033:1-1650033:21, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Jianghua Zhong, Dongdai Lin |
Stability of nonlinear feedback shift registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Inf. Sci. ![In: Sci. China Inf. Sci. 59(1), pp. 1-12, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Kalikinkar Mandal, Guang Gong |
Filtering Nonlinear Feedback Shift Registers using Welch-Gong Transformations for Securing RFID Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAI Endorsed Trans. Security Safety ![In: EAI Endorsed Trans. Security Safety 3(7), pp. e3, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Achour Mostéfaoui, Michel Raynal |
Two-Bit Messages are Sufficient to Implement Atomic Read/Write Registers in Crash-prone Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1602.02695, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Bjørn Kjos-Hanssen |
Shift registers fool finite automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.08226, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Fionn Murtagh, Giuseppe Iurato |
Jacques Lacan's Registers of the Psychoanalytic Field, Applied using Geometric Data Analysis to Edgar Allan Poe's "The Purloined Letter". ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1604.06952, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Valerii A. Pesoshin, Valery M. Kuznetsov, Dar'ya V. Shirshova |
Generators of the equiprobable pseudorandom nonmaximal-length sequences based on linear-feedback shift registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Remote. Control. ![In: Autom. Remote. Control. 77(9), pp. 1622-1632, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Jingqiang Lin, Bo Luo, Le Guan, Jiwu Jing |
Secure Computing Using Registers and Caches: The Problem, Challenges, and Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 14(6), pp. 63-70, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Jan A. Bergstra, Cornelis A. Middelburg |
On Instruction Sets for Boolean Registers in Program Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Ann. Comput. Sci. ![In: Sci. Ann. Comput. Sci. 26(1), pp. 1-26, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Pedro Reviriego, Mustafa Demirci, Jesús Tabero, Alberto Regadío, Juan Antonio Maestro |
DMR +: An efficient alternative to TMR to protect registers in Xilinx FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 63, pp. 314-318, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Ming Li 0033, Dongdai Lin |
The Adjacency Graphs of Linear Feedback Shift Registers with Primitive-like Characteristic Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2016, pp. 269, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Jianghua Zhong, Dongdai Lin |
Driven Stability of Nonlinear Feedback Shift Registers With Inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 64(6), pp. 2274-2284, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Hongjia Mo, Michael Peter Kennedy |
Masked Dithering of MASH Digital Delta-Sigma Modulators with Constant Inputs Using Linear Feedback Shift Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. I Regul. Pap. ![In: IEEE Trans. Circuits Syst. I Regul. Pap. 63-I(8), pp. 1131-1141, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Isabella Biscoglio, Giuseppe Lami, Gianluca Trentanni |
Certification of Cash Registers Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD (Revised Selected Papers) ![In: Model-Driven Engineering and Software Development - 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers, pp. 154-167, 2016, Springer, 978-3-319-66301-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Haytham Saafan, M. Watheq El-Kharashi, Ashraf Salem |
Formal Based Methodology for Inferring Memory Mapped Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: 17th International Workshop on Microprocessor and SOC Test and Verification, MTV 2016, Austin, TX, USA, December 12-13, 2016, pp. 15-18, 2016, IEEE Computer Society, 978-1-4673-8924-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|