Search results for "ANSI"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
74	Hayato Kawashima, Katsuhiko Gondow	Experience with ANSI C Markup Language for a Cross-Referencer.	HICSS	2003	DBLP DOI BibTeX RDF
67	Ahmed Al-Ansi, Abdullah M. Al-Ansi, Ammar Muthanna, Ibrahim A. Elgendy, Andrey Koucheryavy	Survey on Intelligence Edge Computing in 6G: Characteristics, Challenges, Potential Use Cases, and Market Drivers.	Future Internet	2021	DBLP DOI BibTeX RDF
63	Michael M. David	ANSI SQL Hierarchical Processing Can Fully Integrate Native XML.	SIGMOD Rec.	2003	DBLP DOI BibTeX RDF
63	Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa	Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report.	ISSS	2002	DBLP DOI BibTeX RDF
63	Eli Biham, Lars R. Knudsen	Cryptanalysis of the ANSI X9.52 CBCM Mode.	EUROCRYPT	1998	DBLP DOI BibTeX RDF	ANSI X9.52, C13CM mode, Cryptanalysis, Modes of operation, Multiple Encryption, Triple-DES
54	Lutz Prechelt, Walter F. Tichy	A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	quality, productivity, controlled experiment, defects, Type checking
54	Lutz Prechelt, Walter F. Tichy	An Experiment to Assess the Benefits of Inter-Module Type Checking.	IEEE METRICS	1996	DBLP DOI BibTeX RDF
53	Yutaka Oiwa	Implementation of the memory-safe full ANSI-C compiler.	PLDI	2009	DBLP DOI BibTeX RDF	c language, memory safety
53	Hal Berenson, Philip A. Bernstein, Jim Gray 0001, Jim Melton, Elizabeth J. O'Neil, Patrick E. O'Neil	A Critique of ANSI SQL Isolation Levels.	SIGMOD Conference	1995	DBLP DOI BibTeX RDF	SQL
53	Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav	Predicate Abstraction of ANSI-C Programs Using SAT.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	ANSI-C, SAT, predicate abstraction
53	Colin M. Maunder, Rodham E. Tulloss	An introduction to the boundary scan standard: ANSI/IEEE Std 1149.1.	J. Electron. Test.	1991	DBLP DOI BibTeX RDF	ANSI/IEEE Std 1149.1, loaded-board test, self-test, boundary scan, JTAG
43	Claudio Fratarcangeli	Technique for Universal Quantification in SQL.	SIGMOD Rec.	1991	DBLP DOI BibTeX RDF	SQL
43	Tim Güneysu, Christof Paar	Breaking Legacy Banking Standards with Special-Purpose Hardware.	Financial Cryptography	2008	DBLP DOI BibTeX RDF	ANSI X9.9, Cryptanalysis, Banking, Special-Purpose Hardware
43	Mohamed Mancona Kandé, Valentin Crettaz, Alfred Strohmeier, Shane Sendall	Bridging the gap between IEEE 1471, an architecture description language, and UML.	Softw. Syst. Model.	2002	DBLP DOI BibTeX RDF	ANSI/IEEE-Std-1471, SADL, Advanced separation of concerns, MDSOC, Concern space, UML, Software architecture, Views, ADL, Viewpoints, Architecture description
42	Chimène Fankam, Stéphane Jean, Ladjel Bellatreche, Yamine Aït Ameur	Extending the ANSI/SPARC Architecture Database with Explicit Data Semantics: An Ontology-Based Approach.	ECSA	2008	DBLP DOI BibTeX RDF
42	Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav	SATABS: SAT-Based Predicate Abstraction for ANSI-C.	TACAS	2005	DBLP DOI BibTeX RDF
42	Edmund M. Clarke, Daniel Kroening, Flavio Lerda	A Tool for Checking ANSI-C Programs.	TACAS	2004	DBLP DOI BibTeX RDF
42	Henry G. Baker	Computing A*B (mod N) efficiently in ANSI C.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	C
42	Charles Rich	Building Task-Based User Interfaces with ANSI/CEA-2018.	Computer	2009	DBLP DOI BibTeX RDF	formation and generation, ANSI/CEA-2018, User interfaces, Standards, Plan execution
42	Lucas C. Cordeiro, Bernd Fischer 0002, João Marques-Silva 0001	SMT-Based Bounded Model Checking for Embedded ANSI-C Software.	ASE	2009	DBLP DOI BibTeX RDF	Embedded ANSI-C Software, Bounded Model Checking, Satisfiability Modulo Theories
41	Kuni Inayah, Bondan Estuwira Sukmono, Rahmat Purwoko, Santi Indarjani	Insertion attack effects on standard PRNGs ANSI X9.17 and ANSI X9.31 based on statistical distance tests and entropy difference tests.	IC3INA	2013	DBLP DOI BibTeX RDF
37	David Beech	Unification of Value and Object ADTs	ANSI X3H2	1992	DBLP BibTeX RDF
37	Krishna G. Kulkarni, Jim Melton, Jonathan Bauer, Mike Kelley	Inheritance for ADTs (revised)	ANSI X2H2	1991	DBLP BibTeX RDF
37	Jim Melton, Jonathan Bauer, Krishna G. Kulkarni	Object ADTs (with improvements for Value ADTs)	ANSI X3H2	1991	DBLP BibTeX RDF
37	David Beech, Cetin Ozbutun	Object Oriented DBMS as a Generalization of Relational DBMS	ANSI X3H2	1990	DBLP BibTeX RDF
37	Phil Shaw	Modification of User Defined Types	ANSI X3H2	1990	DBLP BibTeX RDF
33	Chuanjiang Li, Shaobo Li 0001, Lei Yang, Hongjing Wei, Ansi Zhang, Yizong Zhang	A novel multiscale hybrid neural network for intelligent fine-grained fault diagnosis.	Networks Heterog. Media	2023	DBLP DOI BibTeX RDF
33	Yizong Zhang, Shaobo Li 0001, Qiuchen He, Ansi Zhang, Chuanjiang Li, Zihao Liao	An Intelligent Fault Detection Framework for FW-UAV Based on Hybrid Deep Domain Adaptation Networks and the Hampel Filter.	Int. J. Intell. Syst.	2023	DBLP DOI BibTeX RDF
33	Mingming Shen, Shaobo Li 0001, Jing Yang 0017, Ansi Zhang, Qiuchen He, Ruiqiang Pu	A TL_FLAT Model for Chinese Text Datasets of UAV Power Systems: Optimization and Performance.	Int. J. Intell. Syst.	2023	DBLP DOI BibTeX RDF
33	Ansi Zhang, Song Li, Jie Wu, Shaobo Li 0001, Bao Zhang	Exploring Semantic Information Extraction From Different Data Forms in 3D Point Cloud Semantic Segmentation.	IEEE Access	2023	DBLP DOI BibTeX RDF
33	N. Kanagaraj, Mohammed Al-Ansi	Maximum Power Extraction Control Algorithm for Hybrid Renewable Energy System.	Comput. Syst. Sci. Eng.	2023	DBLP DOI BibTeX RDF
33	Mingbao Yang, Peng Zhou, Shaobo Li 0001, Yuanmeng Zhang, Jianjun Hu, Ansi Zhang	Multi-Head multimodal deep interest recommendation network.	Knowl. Based Syst.	2023	DBLP DOI BibTeX RDF
33	Mohammed Al-Ansi, Syed Alwee Aljunid, Essam A. Sourour, M. S. Anuar, Mohd Rashidi Che Beson	Multi-RF and Generalized Single-RF Combination Models for Spatial Modulation and NOMA Technologies.	IEEE Trans. Veh. Technol.	2022	DBLP DOI BibTeX RDF
33	Chuanjiang Li, Shaobo Li 0001, Ansi Zhang, Lei Yang, Enrico Zio, Michael G. Pecht, Konstantinos Gryllias	A Siamese hybrid neural network framework for few-shot fault diagnosis of fixed-wing unmanned aerial vehicles.	J. Comput. Des. Eng.	2022	DBLP DOI BibTeX RDF
33	Ansi Pan, Shengzhou Xu	Mammographic mass recognition using feature reuse and channel attention mechanism.	Int. J. Imaging Syst. Technol.	2022	DBLP DOI BibTeX RDF
33	Yizong Zhang, Shaobo Li 0001, Ansi Zhang, Chuanjiang Li, Ling Qiu	A Novel Bearing Fault Diagnosis Method Based on Few-Shot Transfer Learning across Different Datasets.	Entropy	2022	DBLP DOI BibTeX RDF
33	Chuanjiang Li, Shaobo Li 0001, Ansi Zhang, Qiang He, Zihao Liao, Jianjun Hu	Meta-learning for few-shot bearing fault diagnosis under complex working conditions.	Neurocomputing	2021	DBLP DOI BibTeX RDF
33	Feng Sun, Ajith Kumar V, Guanci Yang, Qikui Zhu, Yiyun Zhang, Ansi Zhang, Dhruv Makwana	RRLFSOR: An Efficient Self-Supervised Learning Strategy of Graph Convolutional Networks.	CoRR	2021	DBLP BibTeX RDF
33	Mingbao Yang, Shaobo Li 0001, Zhou Peng, Ansi Zhang, Yuanmeng Zhang	MultiHead MultiModal Deep Interest Recommendation Network.	CoRR	2021	DBLP BibTeX RDF
33	Qisong Song, Shaobo Li 0001, Qiang Bai, Jing Yang 0017, Ansi Zhang, Xingxing Zhang, Longxuan Zhe	Trajectory Planning of Robot Manipulator Based on RBF Neural Network.	Entropy	2021	DBLP DOI BibTeX RDF
33	Qisong Song, Shaobo Li 0001, Jing Yang 0017, Qiang Bai, Jianjun Hu, Xingxing Zhang, Ansi Zhang	Intelligent Optimization Algorithm-Based Path Planning for a Mobile Robot.	Comput. Intell. Neurosci.	2021	DBLP DOI BibTeX RDF
33	Zhuo Wang, Xinyu Wu 0001, Yu Zhang, Chunjie Chen 0001, Shoubin Liu, Yida Liu, Ansi Peng, Yue Ma 0006	A Semi-active Exoskeleton Based on EMGs Reduces Muscle Fatigue When Squatting.	Frontiers Neurorobotics	2021	DBLP DOI BibTeX RDF
33	Feng Sun, Ajith Kumar V, Guanci Yang, Ansi Zhang, Yiyun Zhang	Circle-U-Net: An Efficient Architecture for Semantic Segmentation.	Algorithms	2021	DBLP DOI BibTeX RDF
33	Amin Al Ansi, Yousif Aldryhim, Abdulrahman Al Janobi	First use of radio telemetry to assess behavior of red palm weevil, Rhynchophorus ferrugineus (Olivier) (Coleoptera: Dryophthoridae) in the presence and absence of pheromone traps.	Comput. Electron. Agric.	2020	DBLP DOI BibTeX RDF
33	Shaobo Li 0001, Wanli Yang, Ansi Zhang, Huibin Liu, Jinyuan Huang, Chuanjiang Li, Jianjun Hu	A Novel Method of Bearing Fault Diagnosis in Time-Frequency Graphs Using InceptionResnet and Deformable Convolution Networks.	IEEE Access	2020	DBLP DOI BibTeX RDF
33	Ansi Zhang, Shaobo Li 0001, Yuxin Cui, Wanli Yang, Rongzhi Dong, Jianjun Hu	Limited Data Rolling Bearing Fault Diagnosis With Few-Shot Learning.	IEEE Access	2019	DBLP DOI BibTeX RDF
33	Mohammed Al-Ansi, Syed Alwee Aljunid, Essam A. Sourour, M. S. Anuar, Mohd Rashidi Che Beson	Generalized Single-RF Downlink NOMA-SM System.	VTC Spring	2019	DBLP DOI BibTeX RDF
33	Rabia Imran, Khayar Salim Hassan Al-Ansi	High Performance Work System, Job Engagement and Innovative Work Behavior: An Exploration in Omani Context.	ICCMB	2019	DBLP DOI BibTeX RDF
33	Zefeng Yan, Haoyuan Yi, Zihao Du, Tiantian Huang, Bin Han, Lu-Feng Zhang, Ansi Peng, Xinyu Wu 0001	Development of An Assist Upper Limb Exoskeleton For Manual Handling Task.	ROBIO	2019	DBLP DOI BibTeX RDF
33	Zefeng Yan, Ansi Peng, Yong He 0008, Xunju Ma, Can Wang 0002, Xinyu Wu 0001	Development of A Non-Power Waist Assist Device and IEMG-Based Evaluation of Assist Effect.	ICARM	2019	DBLP DOI BibTeX RDF
33	Xuemei Yao, Shaobo Li 0001, Ansi Zhang	Equipment Condition Monitoring and Diagnosis System Based on Evidence Weight.	Int. J. Online Eng.	2018	DBLP BibTeX RDF
33	Jianghua Duan, Yongsheng Ou, Sheng Xu 0004, Zhiyang Wang, Ansi Peng, Xinyu Wu 0001, Wei Feng 0009	Learning Compliant Manipulation Tasks from Force Demonstrations.	CBS	2018	DBLP DOI BibTeX RDF
33	Guanci Yang, Ansi Zhang, Shaobo Li 0001, Yang Wang 0028, Yunan Wang, Qingsheng Xie, Ling He	Multi-objective evolutionary algorithm based on decision space partition and its application in hybrid power system optimisation.	Appl. Intell.	2017	DBLP DOI BibTeX RDF
33	Jianbing Hu, Ansi Peng, Yongsheng Ou, Guolai Jiang	On study of a wheel-track transformation robot.	ROBIO	2015	DBLP DOI BibTeX RDF
33	Fengjie Qu, Yimin Zhou 0001, Xinyu Wu 0001, Qifeng Zhang, Ansi Peng	Dynamic trajectory planning of underwater hydraulic manipulator in joint space.	ROBIO	2014	DBLP DOI BibTeX RDF
33	Ansi Peng, Yimin Zhou 0001, Jianbing Hu, Yongsheng Ou	Mechanical design for wheel/track transform mobile platform-search and rescue robot.	ROBIO	2014	DBLP DOI BibTeX RDF
33	Chunjie Chen 0001, Duan Zheng, Ansi Peng, Can Wang 0002, Xingyu Wu	Flexible design of a wearable lower limb exoskeleton robot.	ROBIO	2013	DBLP DOI BibTeX RDF
33	Ansi Wang, Yong Tang, Huadong Sun, Wei Wu, Jun Yi	An adaptive emergency control method for interconnected power grids against frequency decline and system blackout.	A-SSCC	2012	DBLP DOI BibTeX RDF
33	Ansi Wang, Yi Luo, Guangyu Tu, Pei Liu	Quantitative Evaluation of Human-Reliability Based on Fuzzy-Clonal Selection.	IEEE Trans. Reliab.	2011	DBLP DOI BibTeX RDF
33	Ying Liu, Ruiqing Fu, Jiping Wang, Yongsheng Ou, Xinyu Wu 0001, Ansi Peng	A wall-following strategy for mobile robots based on self-convergence.	ROBIO	2011	DBLP DOI BibTeX RDF
32	Maurizio Martinelli, Irma Serrecchia, Michela Serrecchia	Analysis of the Internet diffusion in the non-profit sector: the social digital divide in Italy.	Scientometrics	2006	DBLP DOI BibTeX RDF
32	Adrian Johnstone, Elizabeth Scott, Tim Womack	Reverse Compilation for Digital Signal Processors: A Working Example.	HICSS	2000	DBLP DOI BibTeX RDF	reverse compilation, VLIW architectures, DSP architectures
32	Farooq Butt	Porting the mcc PowerPC C/C++ Compiler into an Interactive Development Environment.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	C++
32	Charles D. Norton	The International Workshop on Parallel C++ (IWPC++), Kanazawa, Ishikawa Prefecture, Japan.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	C++
32	Vaidyanathan Ramadurai, Sanjay Jinturkar, Mayan Moudgill, John Glossner	Implementation of H.264 decoder on Sandblaster DSP.	ICME	2005	DBLP DOI BibTeX RDF	H.264-AVC baseline profile decoder, Sandblaster digital signal processor, ANSI C, DSP, optimization technique, software implementation
32	Massimiliano Poletto, Wilson C. Hsieh, Dawson R. Engler, M. Frans Kaashoek	'C and tcc: A Language and Compiler for Dynamic Code Generation.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	ANSI C, dynamic code optimization, compilers, dynamic code generation
32	Ireneusz Karkowski, Henk Corporaal	Design of Heterogenous Multi-Processor Embedded Systems: Applying Functional Pipelining.	IEEE PACT	1997	DBLP DOI BibTeX RDF	heterogenous multiprocessor embedded system design, functional pipelining, embedded program mapping, ANSI C program, application specific processor pipeline, frequency tracking system, two-processor system, highly optimized single core solution, architecture, multiprocessing systems, instruction level parallelism, speedup, efficient algorithm, loops
32	Dmitry Arapov, Alexey Ya. Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih, Ted G. Lewis	A programming environment for heterogenous distributed memory machines.	Heterogeneous Computing Workshop	1997	DBLP DOI BibTeX RDF	heterogenous distributed memory machines, ANSI C superset, application topology, mpC programming environment, portable parallel programs, run-time support system, command-line user interface, parallel programming, compiler, programming language, programming environment, network topology, virtual processors, mpC
32	Harry M. Sneed	Modelling the maintenance process at Zurich Life Insurance.	ICSM	1996	DBLP DOI BibTeX RDF	insurance data processing, software maintenance process modelling, Zurich Life Insurance, ANSI/IEEE standard, P1219, Guide to Software Maintenance, costs, customer service, software standards
32	Kazuhiro Sato, Shuhei Takimoto	Evaluating Performance of High-Speed and Long Distance Communications on HIPPI-ATM Networks.	LCN	1996	DBLP DOI BibTeX RDF	high-speed communications, long distance communications, HIPPI-ATM networks, flow-control performance, HIPPI-ATM conversion system, ANSI, transmission distance, new-credit sending interval, HIPPI interface, ATM interface, transfer performance, protocol-sequence diagram, return path traffic, 622 Mbit/s, 800 Mbit/s, performance evaluation, local area networks, simulation results, transmission delay
32	Guido Wirtz	Modularization, re-use and testing for parallel message-passing programs.	HICSS (2)	1995	DBLP DOI BibTeX RDF	parallel message-passing programs, program reuse, parallel program design, imperative message-passing programming language, distributed memory paradigm, graphical constructs, sequential parts, slightly restricted ANSI-C, formal specification, parallel programming, message passing, modularization, requirements, program testing, program testing, software reusability, distributed memory systems, parallel languages, sequential programming
32	Mariam Kamkar, Patrik Krajina	Dynamic slicing of distributed programs.	ICSM	1995	DBLP DOI BibTeX RDF	program maintenance activities, computer supported methods, distributed dynamic dependence graph, communication dependences, distributed dynamic slicer, ANSI-C programming language, parallel MIMD computer, Parsytec GC/Powerplus, parallel programming, graph theory, software maintenance, message passing, program slicing, distributed programs, dependence analysis, program diagnostics, dynamic slicing, dynamic slice, static slice
32	Chan Pyng Lai, Rangachar Kasturi	Detection of Dimension Sets in Engineering Drawings.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	engineering computing, dimension sets, ANSI drafting standards, rule-based text/graphics separation algorithm, model-based procedure, arrowhead tracking, tails, text blocks, feature control frames, image segmentation, image recognition, document image processing, engineering drawings, search methods, segmented images, leaders
32	Geoff Barrett	Formal Methods Applied to a Floating-Point Number System.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	floating-point number system, binary floating-point arithmetic, ANSI/IEEE Std. 754-1985, set-theoretic specification language, sequential components, unpack, operands, proven rules, mathematically rigorous method, Inmos IMS T800 transputer, formal specification, formal methods, specification languages, digital arithmetic, Z, formalization, round, pack, program development, IEEE standard, floating-point unit, internal representations
31	Yu-Ting Kuo, Tay-Jyi Lin, Yueh-Tai Li, Chou-Kun Lin, Chih-Wei Liu	Ultra low-power ANSI S1.11 filter bank for digital hearing aids.	ASP-DAC	2009	DBLP DOI BibTeX RDF
31	Ninghui Li, Ji-Won Byun, Elisa Bertino	A Critique of the ANSI Standard on Role-Based Access Control.	IEEE Secur. Priv.	2007	DBLP DOI BibTeX RDF
31	Chi Po Cheong, Simon Fong 0001, Pouwan Lei	Efficient and Secure Card-based Payment System Based on ANSI X9.59-2006.	CEC/EEE	2007	DBLP DOI BibTeX RDF
31	David J. Lau, Orion Pritchard	Rapid System-on-a-Programmable-Chip Development and Hardware Acceleration Of ANSI C Functions.	FPL	2006	DBLP DOI BibTeX RDF
31	Adrian Johnstone, Elizabeth Scott, Tim Womack	Experience Paper: Reverse Compilation of Digital Signal Processor Assembler Source to ANSI-C.	ICSM	1999	DBLP DOI BibTeX RDF	reverse compilation, low to high level language translation, digital signal processing
31	Arndt Lindner	ANSI-C in Safety Critical Applications - Lessons-Learned from Software Evaluation.	SAFECOMP	1998	DBLP DOI BibTeX RDF
31	Michael A. Covington	Speech Acts in Electronic Communication With Special Reference to KQML and ANSI X12.	HICSS (4)	1997	DBLP DOI BibTeX RDF
31	Stephen N. Freund, Eric S. Roberts	Thetis: an ANSI C programming environment designed for introductory use.	SIGCSE	1996	DBLP DOI BibTeX RDF
31	Christopher W. Fraser	A retargetable compiler for ANSI C.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF	C
22	Fengbin Qi, Xianyi Zhang, Shanshan Wang, Xingquan Mao	RCC: A New Programming Language for Reconfigurable Computing.	HPCC	2009	DBLP DOI BibTeX RDF
22	Alex K. Jones, Raymond R. Hoare, Swapna R. Dontharaju, Shen Chih Tung, Ralph Sprang, Joshua Fazekas, James T. Cain, Marlin H. Mickle	A Field Programmable RFID Tag and Associated Design Flow.	FCCM	2006	DBLP DOI BibTeX RDF
22	Robin J. Bruce, Richard Chamberlain, Malachy Devlin, Stephen Marshall	Poster reception - Implementing algorithms on FPGAs using high-level languages and low-level libraries.	SC	2006	DBLP DOI BibTeX RDF
22	Praful V. Bhansali	Universal software safety standard.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	verification, validation, software safety, system safety
22	Michael Factor, David Nagle, Dalit Naor, Erik Riedel, Julian Satran	The OSD Security Protocol.	IEEE Security in Storage Workshop	2005	DBLP DOI BibTeX RDF
22	Daniel Kroening, Edmund M. Clarke	Checking consistency of C and Verilog using predicate abstraction and induction.	ICCAD	2004	DBLP DOI BibTeX RDF
22	Jan A. M. Wiegerinck	Introduction to the risk based design of safety instrumented systems for the process industry.	ICARCV	2002	DBLP DOI BibTeX RDF
22	Don Johnson, Alfred Menezes, Scott A. Vanstone	The Elliptic Curve Digital Signature Algorithm (ECDSA).	Int. J. Inf. Sec.	2001	DBLP DOI BibTeX RDF
22	Albert Levi, Çetin Kaya Koç	CONSEPP: CONvenient and Secure Electronic Payment Protocol Based on X9.59.	ACSAC	2001	DBLP DOI BibTeX RDF
22	Atul Adya, Barbara Liskov, Patrick E. O'Neil	Generalized Isolation Level Definitions.	ICDE	2000	DBLP DOI BibTeX RDF
22	Richard Kelsey, William D. Clinger, Jonathan Rees	Revised5 Report on the Algorithmic Language Scheme.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	SCHEME
22	Markus Willems, Volker Bürsgens, Holger Keding, Thorsten Grötker, Heinrich Meyr	System Level Fixed-Point Design Based on an Interpolative Approach.	DAC	1997	DBLP DOI BibTeX RDF
22	Jean-Luc Dekeyser, Dominique Lazure, Philippe Marquet	A Geometrical Data-Parallel Language.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF
22	Noemi de La Rocque Rodriguez, Roberto Ierusalimschy, José Lucas Rangel	Types in School.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF
22	Il-Yeol Song, Heather M. Godsey, Judith Newton, Bruce Bargmeyer	GemCode: An Expert System Generating Mnemonic Codes for Data Elements and Data Items.	DEXA	1993	DBLP DOI BibTeX RDF	Mnemonic Code, Data Elements, Data Items, Database, Standard, Expert System
22	Linda Campbell, Peter N. Creasy	A Conceptual Graphs Approach to Information Systems Design.	Workshop on Conceptual Graphs	1992	DBLP DOI BibTeX RDF
22	Roger R. Baldwin	A Note on H. E. Tomplin's Minimum-Period COBOL Style.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	COBOL