Search results for "T-Check"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Cinthia Obladen de Almendra Freitas, Abdenaim El Yacoubi, Flávio Bortolozzi, Robert Sabourin	Brazilian Bank Check Handwritten Legal Amount Recognition.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	bank check handwritten word recognition, bank cheque, global word analysis, database, feature extraction, hidden markov models, document image processing
26	Elaini Simoni Angelotti, Edson Emílio Scalabrin, Bráulio Coelho Ávila, Flávio Bortolozzi	A Paraconsistent System of Autonomous Agents for Brazilian Bank Check Treatment.	SCCC	2000	DBLP DOI BibTeX RDF	paraconsistent system, Brazilian bank check treatment, handwritten Brazilian bank checks, reasoning mechanisms, task distribution problems, communication between agents, multi-agent systems, image segmentation, software agents, handwriting recognition, autonomous agents, formal logic, paraconsistent logic, cheque processing
26	Enrico Paolini, Marc P. C. Fossorier, Marco Chiani	Doubly-Generalized LDPC Codes: Stability Bound Over the BEC.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
26	Kan Watanabe, Masaru Fukushi, Susumu Horiguchi	Optimal spot-checking to minimize the computation time in volunteer computing.	IPDPS	2008	DBLP DOI BibTeX RDF
26	Olgica Milenkovic, Navin Kashyap, David Leyba	Shortened Array Codes of Large Girth.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
24	Shangmin Luan, Guozhong Dai	An algebraic approach to revising propositional rule-based knowledge bases.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	knowledge base revision, rule-based knowledge base, Petri net, consistency check
24	Marjan Karkooti, Predrag Radosavljevic, Joseph R. Cavallaro	Configurable LDPC Decoder Architectures for Regular and Irregular Codes.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	Error correcting codes, Reconfigurable architectures, Low density parity check codes
24	Tina Mattes, Jörg Pfahler, Frank Schiller, Thomas Honold	Analysis of Combinations of CRC in Industrial Communication.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Cyclic Redundancy Check, Residual Error Probability, Safety-critical Communication
24	Gui Liang Feng, Robert H. Deng, Feng Bao 0001, Jia-Chen Shen	New Efficient MDS Array Codes for RAID Part I: Reed-Solomon-Like Codes for Tolerating Three Disk Failures.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	MDS array codes, multiple disk failures, RAID, Reed-Solomon codes, Low-density-parity-check codes
24	Malek Adjouadi, Frank M. Candocia	A Stereo Matching Paradigm Based on the Walsh Transformation.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	feature-based stereo matching technique, feature point location, potential match searching, match validation, global consistency check, disparity determination, stereo image representation, Walsh-based attributes, accurate disparity extraction, matching primitives, image complexity, feature extraction, transforms, image matching, stereo vision, soundness, stereo image processing, derivatives, Walsh functions, processing time, Walsh transformation, decision-making process, feature point detection
24	Shantanu Dutt, Li Li	Trust-Based Design and Check of FPGA Circuits Using Two-Level Randomized ECC Structures.	ACM Trans. Reconfigurable Technol. Syst.	2009	DBLP DOI BibTeX RDF	masking probability, parity groups, parity randomization, trust checking, trust-based design, FPGAs, Error-correcting codes
24	João Brunet, Dalton Serey Guerrero, Jorge C. A. de Figueiredo	Design tests: An approach to programmatically check your code against design rules.	ICSE Companion	2009	DBLP DOI BibTeX RDF
24	Jos H. Weber, Khaled A. S. Abdel-Ghaffar	Results on Parity-Check Matrices With Optimal Stopping And/Or Dead-End Set Enumerators.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
24	Tanja Karp, Michel Kieffer, Pierre Duhamel	Parity-Check Matrix Calculation for Paraunitary Oversampled DFT Filter Banks.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
24	João Ascenso, Catarina Brites, Fernando Pereira 0001	Design and performance of a novel low-density parity-check code for distributed video coding.	ICIP	2008	DBLP DOI BibTeX RDF
24	Mohammad Shaqfeh, Norbert Görtz	Systematic Modification of Parity-Check Matrices for Efficient Encoding of LDPC Codes.	ICC	2007	DBLP DOI BibTeX RDF
24	Daesun Oh, Keshab K. Parhi	Efficient Highly-Parallel Decoder Architecture for Quasi-Cyclic Low-Density Parity-Check Codes.	ISCAS	2007	DBLP DOI BibTeX RDF
24	S. Baghavathi Priya, M. Prakash, K. K. Dhawan	Fault Tolerance-Genetic Algorithm for Grid Task Scheduling using Check Point.	GCC	2007	DBLP DOI BibTeX RDF
24	Lu Xin, Xu Jun	Novel Efficient Check Node Update Implementations for Row Weight Matched Min-Sum Algorithm.	IMSCCS	2007	DBLP DOI BibTeX RDF	CNU, Min-Sum, LDPC, BP
24	Zhiming Chang, XinJun Mao, Zhichang Qi	An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style.	TASE	2007	DBLP DOI BibTeX RDF
24	Vladimir Shapiro	How to Reduce the Size of Bank Check Image Archive?	ICDAR	2007	DBLP DOI BibTeX RDF
24	Koichi Adachi, Masao Nakagawa	Iterative Modified QRM-MLD Based on CRC Check for OFDM MIMO Multiplexing.	VTC Spring	2006	DBLP DOI BibTeX RDF
24	Xia Yu, Shuoyu Wang	A Health Check and Prediction System for Lifestyle-Related Disease Prevention.	ICICIC (2)	2006	DBLP DOI BibTeX RDF
24	Christian Tellkamp, Thomas Wiechert, Frédéric Thiesse, Elgar Fleisch	The Adoption of RFID-based Self-Check-Out-Systems at the Point-of-Sale.	I3E	2006	DBLP DOI BibTeX RDF
24	Stephen Bates, Ramkrishna Swamy	Parallel encoders for low-density parity-check convolutional codes.	ISCAS	2006	DBLP DOI BibTeX RDF
24	Stephen Bates, Logan Gunthorpe, Ali Emre Pusane, Zhengang Chen, Kamil Sh. Zigangirov, Daniel J. Costello Jr.	Decoders for low-density parity-check convolutional codes with large memory.	ISCAS	2006	DBLP DOI BibTeX RDF
24	Zongwang Li, Lei Chen 0008, Lingqi Zeng, Shu Lin 0001, Wai H. Fong	Efficient Encoding of Quasi-Cyclic Low-Density Parity-Check Codes.	IEEE Trans. Commun.	2005	DBLP DOI BibTeX RDF
24	Hylke W. van Dijk, Bas Graaf, Rob Boerman	On the Systematic Conformance Check of Software Artefacts.	EWSA	2005	DBLP DOI BibTeX RDF
24	Vineet Agarwal, Navneeth Kankani, Ravishankar Rao, Sarvesh Bhardwaj, Janet Meiling Wang	An efficient combinationality check technique for the synthesis of cyclic combinational circuits.	ASP-DAC	2005	DBLP DOI BibTeX RDF
24	Miguel R. Penabad, Nieves R. Brisaboa, Héctor J. Hernández, José R. Paramá	A general procedure to check conjunctive query containment.	Acta Informatica	2002	DBLP DOI BibTeX RDF
24	Bintou Kane, Hong Su, Elke A. Rundensteiner	Consistently updating XML documents using incremental constraint check queries.	WIDM	2002	DBLP DOI BibTeX RDF	XQuery, XML schema, XML update
24	Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu	Deriving Pre-conditions for Array Bound Check Elimination.	PADO	2001	DBLP DOI BibTeX RDF
24	Ajay R. Dani, P. Radha Krishna 0001	An E-check Framework for Electronic Payment Systems in the Web Based Environment.	EC-Web	2001	DBLP DOI BibTeX RDF
22	Jin Taek Kim, Jeong-Ho Kho, Min-Seok Hong, Choul Woong Son, Do-Won Lee, Sang-Jo Youk, Geuk Lee	A study on intrusion protection techniques against Linux kernel backdoor.	ICHIT	2009	DBLP DOI BibTeX RDF
22	Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer	SharC: checking data sharing strategies for multithreaded C.	PLDI	2008	DBLP DOI BibTeX RDF	data-race
22	Michele Portolan, Régis Leveugle	Effective Checkpoint and Rollback Using Hardware/OS Collaboration.	DFT	2007	DBLP DOI BibTeX RDF
22	Nikos Paragios, Olivier Mellina-Gottardo, Visvanathan Ramesh	Gradient Vector Flow Fast Geometric Active Contours.	IEEE Trans. Pattern Anal. Mach. Intell.	2004	DBLP DOI BibTeX RDF	additive operator splitting, image segmentation, level set methods, gradient vector flow, geodesic active contours, Boundary extraction
22	Marco Bernardo 0001, Paolo Ciancarini, Lorenzo Donatiello	Architecting families of software systems with process algebras.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	Architectural mismatch detection, software architectures, process algebras, architectural styles
22	Ronald Veldema, Rutger F. H. Hofman, Raoul Bhoedjang, Ceriel J. H. Jacobs, Henri E. Bal	Source-level global optimizations for fine-grain distributed shared memory systems.	PPoPP	2001	DBLP DOI BibTeX RDF
22	Rajiv Gupta 0001	A Fresh Look at Optimizing Array Bound Checking.	PLDI	1990	DBLP DOI BibTeX RDF
22	H. J. Beker, G. M. Cole	Message Authentication and Dynamic Passwords.	EUROCRYPT	1987	DBLP DOI BibTeX RDF
22	Heli Sun, Chen Cao, Xuguang Chu, Tingting Hu, Junzhi Lu, Liang He 0006, Zhi Wang 0002, Hui He, Hui Xiong 0001	What Your Next Check-in Might Look Like: Next Check-in Behavior Prediction.	ACM Trans. Intell. Syst. Technol.	2023	DBLP DOI BibTeX RDF
22	Yong Ding 0006, Zhiping Huang, Jing Zhou	Blind recognition of sparse parity-check matrices of low-density parity-check codes in the presence of noise.	IET Commun.	2023	DBLP DOI BibTeX RDF
22	Sanjana Kavatagi, Rashmi Rachh, Madhura Mulimani	VTU_BGM at Check That!-2022: An Autoregressive Encoding Model for Detecting Check-worthy Claims.	CLEF (Working Notes)	2022	DBLP BibTeX RDF
22	Sascha Mücke, Lukas Pfahler	Check Mate: A Sanity Check for Trustworthy AI.	LWDA	2022	DBLP BibTeX RDF
22	Tariq Alhindi, Brennan Xavier McManus, Smaranda Muresan	What to Fact-Check: Guiding Check-Worthy Information Detection in News Articles through Argumentative Discourse Structure.	SIGDIAL	2021	DBLP DOI BibTeX RDF
22	Jakub Chabik	Digital Government Measurement and Perception - Reality Check in Poland: Measurement and Perception - Reality Check.	DG.O	2021	DBLP DOI BibTeX RDF
22	Zhilong Chen, Hancheng Cao, Huangdong Wang, Fengli Xu, Vassilis Kostakos, Yong Li 0008	Will You Come Back / Check-in Again?: Understanding Characteristics Leading to Urban Revisitation and Re-check-in.	Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.	2020	DBLP DOI BibTeX RDF
22	Yavuz Selim Kartal, Busra Guvenen, Mücahid Kutlu	Too Many Claims to Fact-Check: Prioritizing Political Claims Based on Check-Worthiness.	CoRR	2020	DBLP BibTeX RDF
22	Yavuz Selim Kartal, Mücahid Kutlu, Busra Guvenen	Too Many Claims to Fact-Check: Prioritizing Political Claims Based on Check-Worthiness.	CIKM (Workshops)	2020	DBLP BibTeX RDF
22	Sangay Tenzin, Pema Dorji, Bevek Subba, Thinley Tobgay	Smart Check-in Check-out System for Vehicles using Automatic Number Plate Recognition.	ICCCNT	2020	DBLP DOI BibTeX RDF
22	Huei-Ting Huang, Winai Wongthai	The Design of an Online Information System of the Check Stage in Plan-Do-Check-Act Cycle for Evaluation of Student Learning in Taiwan Preschools.	ICEBT	2019	DBLP DOI BibTeX RDF
22	Ritesh Kumar, Shivansh Prakash, Shashank Kumar, Rajendra Pamula	Check That! Automatic Identification and Verification of Claims: IIT(ISM) @CLEF'19 Check Worthiness.	CLEF (Working Notes)	2019	DBLP BibTeX RDF
22	Dongming Yuan, Lu Li, Yuanan Liu	Lowering the error floors of low-density parity-check codes with additional check nodes.	ITW	2017	DBLP DOI BibTeX RDF
22	Arwa Alrawais, Abdulrahman Alhothaily, Xiuzhen Cheng 0001	X.509 Check: A Tool to Check the Safety and Security of Digital Certificates.	IIKI	2015	DBLP DOI BibTeX RDF
22	Kiran K. Rachuri, Theus Hossmann, Cecilia Mascolo, Sean B. Holden	Beyond location check-ins: Exploring physical and soft sensing to augment social check-in apps.	PerCom	2015	DBLP DOI BibTeX RDF
22	Kenneth Joseph, Kathleen M. Carley, Jason I. Hong	Check-ins in "Blau Space": Applying Blau's Macrosociological Theory to Foursquare Check-ins from New York City.	ACM Trans. Intell. Syst. Technol.	2014	DBLP DOI BibTeX RDF
22	Rigel Gjomemo, Hafiz Malik, Nilesh Sumb, V. N. Venkatakrishnan, Rashid Ansari	Digital Check Forgery Attacks on Client Check Truncation Systems.	Financial Cryptography	2014	DBLP DOI BibTeX RDF
22	Yejun He, Guiyuan Sun, Jie Yang, Francis Chung-Ming Lau	D-GLDPC codes with 3-D single parity-check product codes as super check nodes.	WCSP	2014	DBLP DOI BibTeX RDF
22	Raghunath Rajachandrasekar, Sreeram Potluri, Akshay Venkatesh, Khaled Hamidouche, Md. Wasi-ur-Rahman, Dhabaleswar K. Panda 0001	MIC-Check: a distributed check pointing framework for the intel many integrated cores architecture.	HPDC	2014	DBLP DOI BibTeX RDF
22	Robert T. Hans	Using a biometric system to check-in and check-out luggage at airports.	ISBAST	2014	DBLP DOI BibTeX RDF
22	Shek F. Yau, Tan L. Wong, Francis Chung-Ming Lau, Yejun He	A fast low-density parity-check code simulator based on compressed parity-check matrices.	Wirel. Commun. Mob. Comput.	2013	DBLP DOI BibTeX RDF
22	Kyung-Joong Kim 0002, Jin-Ho Chung, Kyeongcheol Yang	Bounds on the Size of Parity-Check Matrices for Quasi-Cyclic Low-Density Parity-Check Codes.	IEEE Trans. Inf. Theory	2013	DBLP DOI BibTeX RDF
22	Panagiota Nikolaou, Yiannakis Sazeides, Lorena Ndreu, Emre Özer 0001, Sachin Idgunji	Memory array protection: check on read or check on write?	DATE	2013	DBLP DOI BibTeX RDF
22	Wei Lin, Baoming Bai, Xiao Ma 0001, Rong Sun	Dynamic Bubble-Check Algorithm for Check Node Processing in Q-Ary LDPC Decoders.	IEICE Trans. Commun.	2012	DBLP DOI BibTeX RDF
22	Y. Min, Francis Chung-Ming Lau, Chi K. Tse	Generalized LDPC code with single-parity-check product constraints at super check nodes.	ISTC	2012	DBLP DOI BibTeX RDF
22	Thomas J. E. Schwarz, Ethan L. Miller	Store, Forget, and Check: Using Algebraic Signatures to Check Remotely Administered Storage.	ICDCS	2006	DBLP DOI BibTeX RDF
22	Arvind Sridharan, Michael Lentmaier, Dmitri V. Truhachev, Daniel J. Costello Jr., Kamil Sh. Zigangirov	On the minimum distance of low-density parity-check codes with parity-check matrices constructed from permutation matrices.	Probl. Inf. Transm.	2005	DBLP DOI BibTeX RDF
22	Mahmoud Rashidpour, Seyed Hamidreza Jamali	Low-density parity-check codes with simple irregular semi-random parity-check matrix finite-length applications.	PIMRC	2003	DBLP DOI BibTeX RDF
22	Nina Saxena, Jason Baumgartner, Avijit Saha, Jacob A. Abraham	To model check or not to model check.	ICCD	1998	DBLP DOI BibTeX RDF
20	Gabriel Falcão Paiva Fernandes, Vítor Manuel Mendes da Silva, Leonel Sousa	How GPUs can outperform ASICs for fast LDPC decoding.	ICS	2009	DBLP DOI BibTeX RDF	memory coalescence, parallel processing, graphics processing units, multithreading, low-density parity-check codes
20	Michael Lunglmayr, Jens Berkmann, Mario Huemer	Simulation Based Optimization of Vertex Packing Decoding Algorithms.	EUROCAST	2009	DBLP DOI BibTeX RDF	vertex packing, Channel coding, performance simulation, low-density parity-check (LDPC) codes
20	Dan Tsafrir, Tomer Hertz, David A. Wagner 0001, Dilma Da Silva	Portably solving file races with hardness amplification.	ACM Trans. Storage	2008	DBLP DOI BibTeX RDF	TOCTTOU, time-of-check-to-time-of-use, Race conditions
20	Tina Mattes, Frank Schiller, Annemarie Mörwald, Thomas Honold	Analysis of Nested CRC with Additional Net Data in Communication.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Cyclic Redundancy Check, Residual error probability, Safety-critical communication
20	Gabriel Falcão Paiva Fernandes, Leonel Sousa, Vítor Manuel Mendes da Silva	Massive parallel LDPC decoding on GPU.	PPoPP	2008	DBLP DOI BibTeX RDF	parallel processing, graphics processing unit, computer unified device architecture, ldpc, low-density parity-check codes, cuda
20	Linhua Ma, Yilin Chang, ShengDa Wang	Study on the distribution law of random code structure of irregular LDPC codes and its application in eliminating short cycles.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	random code structure, random distribution characteristics, cycles, Low-density parity-check codes
20	Michael Lunglmayr, Jens Berkmann	Optimized Mapping Schemes for LDPC Coded Higher Order Modulated QAM Transmission.	EUROCAST	2007	DBLP DOI BibTeX RDF	density evolution, receiver design, optimization, Channel coding, low-density parity-check (LDPC) codes
20	Young-Bin Kwon, Jeong-Hoon Kim	Verification of the Document Components from Dual Extraction of MRTD Information.	GREC	2007	DBLP DOI BibTeX RDF	MRTD(Machine Readable Travel Document), cross-check, auto-correlation, verification, passport
20	Alberto Bartoli, Giovanni Masarin	On-line self-checking of replication consistency for autonomic computing.	Clust. Comput.	2006	DBLP DOI BibTeX RDF	Fault detectors, Web services, Dependability, Availability, On-line testing, Self-check
20	Yongmei Dai, Zhiyuan Yan 0001, Ning Chen 0004	Parallel turbo-sum-product decoder architecture for quasi-cyclic LDPC codes.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	quasi-cyclic (QC) codes, sum-product decoding, turbo decoding, low-density parity-check (LDPC) codes
20	Matthew Woitaszek, Henry M. Tufo	Fault Tolerance of Tornado Codes for Archival Storage.	HPDC	2006	DBLP DOI BibTeX RDF	distributed data stewarding system, Tornado code graph, low density parity check, LDPC erasure code, archival storage system, parity-based RAID system, fault tolerance
20	Noriaki Kouda, Nobuyuki Matsui, Haruhiko Nishimura, Ferdinand Peper	Qubit neural network and its learning efficiency.	Neural Comput. Appl.	2005	DBLP DOI BibTeX RDF	Neural network, Learning, Quantum computing, Back-propagation, Qubit, Parity check
20	Kyung-suk Lhee, Steve J. Chapin	Detection of file-based race conditions.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Time-of-check-to-time-of-use (TOCTTOU) flaws, Security, Race condition
20	Kenji Yasu, Yasuhiko Akahane, Masami Ozaki, Koji Semoto, Ryôichi Sasaki	Development and Evaluation of a System for Checking for Improper Sending of Personal Information in Encrypted E-Mail.	I3E	2005	DBLP DOI BibTeX RDF	encrypted e-mail, check system, security, privacy, network, personal information
20	V. Benjamin Livshits, Thomas Zimmermann 0001	DynaMine: finding common error patterns by mining software revision histories.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	error patterns, one-line check-ins, data mining, dynamic analysis, coding patterns, revision histories, software bugs
20	Saied Hemati, Amir H. Banihashemi	Iterative decoding in analog CMOS.	ACM Great Lakes Symposium on VLSI	2003	DBLP DOI BibTeX RDF	analog CMOS, analog iterative decoder, asynchronous iterative decoding, min-sum decoding, soft decoding, analog circuit, turbo codes, iterative decoding, low-density parity-check codes
20	Ralf H. Reussner	Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies.	SOFSEM	2002	DBLP DOI BibTeX RDF	software component protocols, finite state machine extension, decidable inclusion check, interoperability, substitutability
20	Jorge González, Ismael Salvador, Alejandro H. Toselli, Alfons Juan, Enrique Vidal 0001, Francisco Casacuberta	Offline Recognition of Syntax-Constrained Cursive Handwritten Text.	SSPR/SPR	2000	DBLP DOI BibTeX RDF	Off-Line Continuous Handwriting Text Recognition, Bank Check Legal Amount Recognition, Feature Extraction, Hidden Markov Models, Language Modelling
20	Xiangyun Ye, Mohamed Cheriet, Ching Y. Suen, Ke Liu 0009	Extraction of bankcheck items by mathematical morphology.	Int. J. Document Anal. Recognit.	1999	DBLP DOI BibTeX RDF	Check image processing, Baseline elimination, Local thresholding binarization, Gray level mathematical morphology, Goal-directed evaluation
20	Valery A. Vardanian	Exact probabilistic analysis of error detection for parity checkers.	VTS	1997	DBLP DOI BibTeX RDF	circuit under check, multi-output supergate, combinational CUC, restricted observability, restricted detectability, concurrent checker, latency, error detection, combinational circuits, probabilistic analysis, single stuck-at fault, parity checker
20	William A. Arbaugh, David J. Farber, Jonathan M. Smith	A Secure and Reliable Bootstrap Architecture.	S&P	1997	DBLP DOI BibTeX RDF	computer bootstrapping, bootstrap architecture, lower-layer integrity, hardware validity, integrity chain, system integrity guarantees, AEGIS architecture, recovery process, integrity check failures, robust systems, security, reliability, active networks, initialization, transitions, Internet commerce
20	Andrew M. Tyrrell	Recovery Blocks and Algorithm-Based Fault Tolerance.	EUROMICRO	1996	DBLP DOI BibTeX RDF	numerical processing, added redundancy, acceptability check, error detection, software fault tolerance, algorithm-based fault tolerance, recovery blocks, time overhead
20	Marco Platzner, Bernhard Rinner, Reinhold Weiss	A distributed computer architecture for qualitative simulation based on a multi-DSP and FPGAs.	PDP	1995	DBLP DOI BibTeX RDF	distributed computer architecture, multi-DSP, application-specific computer architecture, constraint-check-function, performance, FPGAs, parallel architectures, computer architecture, digital simulation, hardware design, special purpose computers, design strategies, qualitative simulation
20	Kotaro Shimamura, Shigeya Tanaka, Tetsuya Shimomura, Takashi Hotta, Eiki Kamada, Hideo Sawamoto, Teruhisa Shimizu, Kisaburo Nakazawa	A superscalar RISC processor with pseudo vector processing feature.	ICCD	1995	DBLP DOI BibTeX RDF	superscalar RISC processor, pseudo vector processing, architectural extension, floating-point registers, scoreboard-based dependency check, pipeline stage optimization, 267 MFLOPS, 1.2 Gbyte/s, performance evaluation, performance, computer architecture, memory access, reduced instruction set computing, vector processor systems
20	Eduardo B. Fernández, Robert B. France	Formal specification of real-time dependable systems.	ICECCS	1995	DBLP DOI BibTeX RDF	real-time dependable systems, analyzable specifications, specification analysis techniques, fault-tolerant quality, security quality, safety-critical quality, behavioral quality, precise specification language, formal reasoning systems, nonfunctional qualities, multilevel description, real-time systems, formal specification, formal specification, specification languages, security of data, software fault tolerance, consistency check, safety-critical software, system monitoring
20	George Saon, Abdel Belaïd, Yifan Gong 0001	Stochastic trajectory modeling for recognition of unconstrained handwritten words.	ICDAR	1995	DBLP DOI BibTeX RDF	stochastic trajectory modeling, unconstrained handwritten word recognition, off-line handwritten word recognition, literal french check amounts, conditional probability distributions, internal character segmentation algorithm, global word probability measure, stochastic grammar, a priori grammar generation probability, image segmentation, probability, optical character recognition, handwriting recognition, stochastic processes
20	Horst Bunke, R. Liviero	Classification and postprocessing of documents using an error-correcting parser.	ICDAR	1995	DBLP DOI BibTeX RDF	error correcting parsing algorithm, postprocessing task, automatic check processing, image classification, error correction, document image processing, grammars, document classification, bank data processing, synthetic data, cheque processing, recognition accuracy, execution speed
20	Luigi Ciminiera, Adriano Valenzano	Authentication Mechanisms in Microprocessor-Based Local Area Networks.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	authentication mechanisms, microprocessor-based local area networks, unauthorized use, intruders, interface process, user-server connection, unauthorized requests, capability checking, iAPX432-based hosts, database, cache, searching, service, local area networks, security of data, identity, protect, server, hardware support, shared resources, parallel search, access rights, check, performance issues
20	Edward Aftandilian, Samuel Z. Guyer	GC assertions: using the garbage collector to check heap properties.	PLDI	2009	DBLP DOI BibTeX RDF	heap properties, garbage collection, dynamic analysis
20	David Niedzielski, Jeffery von Ronne, Andreas Gampe, Kleanthis Psarris	A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination.	SAS	2009	DBLP DOI BibTeX RDF