Search results for "C language"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jianxin Wang, Ling Chen, Weiwei Zhou	Design and Implementation of an Internet-Based Platform for C Language Learning.	ICWL	2008	DBLP DOI BibTeX RDF	logic error checking, compile error checking, C language learning, distance education
3	Vojtech Merunka, Oldrich Nouza, Jirí Brozek	Automated Model Transformations Using the C.C Language.	CIAO! / EOMAS	2008	DBLP DOI BibTeX RDF	C.C language, BORM, model transformations, modelling and simulation
3	Chunyan Yu, Minghui Wu, Liu Nairuo, Yueting Zhuang, Yunhe Pan	Translating EXPRESS language model into C language model.	SIGPLAN Notices	2003	DBLP DOI BibTeX RDF	C language model, EXPRESS language model, STEP standard, data model translation, model translation
3	Raminder Singh Bajwa, Robert Michael Owens, Mary Jane Irwin	The MGAP's programming environment and the *C++ language.	ASAP	1995	DBLP DOI BibTeX RDF	MGAP's programming environment, *C++ language, workstation co-processor board, fine grain processors, custom ASICs, class concept, parallel data-types like bit, parallel processing, compiler, programming environments, application specific integrated circuits, high-level language, data-types, C language
2	Haruaki Tamada, Akihiro Ogino, Hirotada Ueda	Robot Helps Teachers for Education of the C Language Beginners.	HCI	2009	DBLP DOI BibTeX RDF	the C language, human/robot interaction, Robot
2	Yutaka Oiwa	Implementation of the memory-safe full ANSI-C compiler.	PLDI	2009	DBLP DOI BibTeX RDF	c language, memory safety
2	Syrine Tlili, Mourad Debbabi	Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Type and effect analysis, C language, Type safety, Memory safety
2	László Vidács, Judit Jász, Árpád Beszédes, Tibor Gyimóthy	Combining Preprocessor Slicing with C/C++ Language Slicing.	ICPC	2008	DBLP DOI BibTeX RDF
2	Min Lu, Xiaoyu Jin	Analysis of a C Language Teaching Example Based on the ARCS Model: The Basic Concept and Use of Structure.	ICYCS	2008	DBLP DOI BibTeX RDF
2	Hiroshi Taguchi, Fumiko Harada, Hiromitsu Shimakawa	Promoting Acquisition of Programming Skills by Reuse of Active Diagrams.	C5	2008	DBLP DOI BibTeX RDF	clues to understanding, C-language programming, active diagram, programming education
2	Edward B. Duffy, Brian A. Malloy	An Automated Approach to Grammar Recovery for a Dialect of the C++ Language.	WCRE	2007	DBLP DOI BibTeX RDF
2	Ping Hang Cheung, Alessandro Forin	A C-Language Binding for PSL.	ICESS	2007	DBLP DOI BibTeX RDF	C, Assertion Based Verification, Property Specification Language
2	Alexey Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih, Mikhail Posypkin	Compilation of Vector Statements of C[] Language for Architectures with Multilevel Memory Hierarchy.	Programming and Computer Software	2001	DBLP DOI BibTeX RDF
2	John Viega, J. T. Bloch, Y. Kohno, Gary McGraw	ITS4: A Static Vulnerability Scanner for C and C++ Code.	ACSAC	2000	DBLP DOI BibTeX RDF	ITS4, static vulnerability scanner, C++ code, security-critical source code, real-time feedback, e-commerce software, software tools, security of data, software packages, software package, C language, software vulnerabilities, C++ language, C code
2	James F. Power, Brian A. Malloy	Symbol Table Construction and Name Lookup in ISO C++.	TOOLS	2000	DBLP DOI BibTeX RDF	name lookup, ISO C++ language, symbol table construction, UML class, decorator, facade, model understandability, ISO C++ standard, C++ understandability, UML knowledge, parser front-end, name lookup problem, component approach, compiler technology, parser driven applications, front-end development, user interfaces, Unified Modeling Language, reverse engineering, specification languages, program compilers, grammars, object oriented model, object oriented framework, table lookup, sequence diagrams, software standards, ISO standards, C++ language
2	Luigi Palopoli, Paolo Ancilotti, Giorgio C. Buttazzo	A C Language Extension for Programming Real-Time Applications.	RTCSA	1999	DBLP DOI BibTeX RDF
2	M. Ajmal Chaumun, Hind Kabaili, Rudolf K. Keller, François Lustman	A Change Impact Model for Changeability Assessment in Object-Oriented Software Systems.	CSMR	1999	DBLP DOI BibTeX RDF	Software engineering, design, software quality, software metrics, maintenance, C++ language, change impact
2	Yuri Pogudin	Simulation Of Fine-Grained Parallel Algorithms With The ALT (Animated Language Tools) System.	DIS-RT	1997	DBLP DOI BibTeX RDF	fine-grained parallel algorithms simulation, ALT system, Animated Language Tools, textual elements, algorithm behaviour visualization, source representation, functional details, binding covers mechanism, parallel substitution algorithm model, interactive graphic forms, data structure display, source-code functional elements, graphical data objects, equivalent transformations optimization, parallel algorithms, C language, language interface
2	Mark J. Maybee, Dennis Heimbigner, Leon J. Osterweil	Multilanguage Interoperability in Distributed Systems.	ICSE	1996	DBLP BibTeX RDF	Ada client program, Arcadia software architecture, C language server, Q system, multilanguage interoperability, multilingual heterogeneous component-based software systems, programming language support systems, Java, performance, distributed systems, reliability, C++, PROLOG, Prolog, conceptual model, software reliability, LISP, Lisp, open systems, object-oriented languages, portability, client-server systems, software portability, C language, Tcl, communication mechanism
2	Frédéric Boussinot, Laurent Hazard	Reactive scripts.	RTCSA	1996	DBLP DOI BibTeX RDF	broadcast event-driven interpreter, responsive systems, reactive script interpretor, complex behaviors, current interpretor reaction, associated methods, nonblocking order, method execution, SL synchronous language, ROM Reactive Object Model, Reactive-C language, parallel programming, objects, real time programming
2	Jean-Marie Favre	Preprocessors from an Abstract Point of View. (PDF / PS)	WCRE	1996	DBLP DOI BibTeX RDF	program preprocessors, software maintenance problems, software variants, complex preprocessor files, problem comprehension, Champollion/APP, preprocessor maintenance, software tools, abstractions, program slicing, C language, program specialization, interprocedural data flow analysis, program processors, CPP
2	Giuliano Antoniol, Roberto Fiutem, Ettore Merlo, Paolo Tonella	Application and user interface migration from BASIC to Visual C++. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	BASIC PC legacy code reengineering, automatic migration, BASIC character oriented user interface, event driven C code compilation, event driven C++ code compilation, abstract graphical objects, call-backs, code translation, graphical user interfaces, software maintenance, software maintenance, visual languages, visual languages, translator, program compilers, program compilers, object-oriented languages, object-oriented languages, systems re-engineering, systems re-engineering, C language, C language, graphical systems, program interpreters, program interpreters, user interface migration, BASIC, BASIC, BASIC, GUI builder, application migration, Visual C++
2	Kelvin D. Nilsen, Hong Gao	The real-time behavior of dynamic memory management in C++. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	real-time behavior, software engineering techniques, worst-case time requirements, worst-case space requirements, real-world workloads, hardware-assisted real-time garbage collection system, software engineering, real-time systems, computational complexity, flexibility, storage management, object-oriented languages, functionality, storage allocation, storage allocators, hard real-time systems, C language, real-time performance, dynamic memory management, application software, object-oriented methodologies, large software systems, C++ language
2	Pierre David	Semantic Analysis for Parallelizing C.	CONPAR	1992	DBLP DOI BibTeX RDF	compilation, types, automatic parallelization, pointers, C language, side effects
2	Luc Vincent, Pierre Soille	Watersheds in Digital Spaces: An Efficient Algorithm Based on Immersion Simulations.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	magnetic resonance imagery, digital gray-scale images, pseudo C language, picture segmentation, computerised picture processing, computerised picture processing, watersheds, digital elevation models
2	Theodosios Pavlidis, Yuh-Tay Liow	Integrating Region Growing and Edge Detection.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	region boundaries, image gradient variation, split-and merge algorithm, boundary smoothness, Sun 3/160 workstation, tool images, aerial photographs, pattern recognition, pattern recognition, image segmentation, data structure, picture processing, edge detection, quadtree, region growing, C language, Unix operating system
2	David R. Barach, David H. Taenzer	A Technique for Finding Storage Allocation Errors in C-language Programs.	SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
2	David R. Barach, David H. Taenzer, R. E. Wells	A technique for finding storage allocation errors in C-language programs.	SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
1	Akihiro Ogino, Haruaki Tamada, Hirotada Ueda	Phynocation: A Prototyping of a Teaching Assistant Robot for C Language Class.	HCI	2011	DBLP DOI BibTeX RDF
1	Forrest Sheng Bao	The AC(C) Language: Integrating Answer Set Programming and Constraint Logic Programming.	AAAI	2011	DBLP BibTeX RDF
1	Erven Rohou, Andrea C. Ornstein, Marco Cornero	CLI-based compilation flows for the C language.	ICSAMOS	2010	DBLP DOI BibTeX RDF
1	Zdenek Prikryl, Karel Masarik, Tomas Hruska, Adam Husar	Generated Cycle-Accurate Profiler for C Language.	DSD	2010	DBLP DOI BibTeX RDF
1	Bruno Steux, Oussama El Hamzaoui	tinySLAM: A SLAM algorithm in less than 200 lines C-language program.	ICARCV	2010	DBLP DOI BibTeX RDF
1	Zhaopeng Li, Zhong Zhuang, Yiyun Chen, Simin Yang, Zhenting Zhang, Dawei Fan	A Certifying Compiler for Clike Subset of C Language.	TASE	2010	DBLP DOI BibTeX RDF
1	Kirill Makankov, Seon Wook Kim	Implementation of x86 Binary-to-C Translator by Using GNU Tools.	CIT	2010	DBLP DOI BibTeX RDF	compiler, assembly, binary translation, C language
1	Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, Kathryn S. McKinley	Jinn: synthesizing dynamic bug detectors for foreign language interfaces.	PLDI	2010	DBLP DOI BibTeX RDF	ffi bugs, foreign function interfaces (FFI), java native interface (jni), multilingual programs, python/C, specification generation, specification, dynamic analysis
1	László Vidács, Árpád Beszédes, Tibor Gyimóthy	Combining preprocessor slicing with C/C++ language slicing.	Sci. Comput. Program.	2009	DBLP DOI BibTeX RDF
1	Gustavo A. Ospina, Baudouin Le Charlier	Formalisation of C Language Interfaces.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Sandrine Blazy, Xavier Leroy	Mechanized semantics for the Clight subset of the C language	CoRR	2009	DBLP BibTeX RDF
1	Sandrine Blazy, Xavier Leroy	Mechanized Semantics for the Clight Subset of the C Language.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF
1	Ben Brosgol	An introduction to the C# language and .NET infrastructure.	SIGAda	2009	DBLP DOI BibTeX RDF
1	X. L. Wen	Design of C Language On-Line Study and Test System Based on Web.	ETT	2009	DBLP DOI BibTeX RDF
1	Hiroaki Nakata, Koji Hosogi, Masakazu Ehama, Takafumi Yuasa, Toru Fujihira, Kenichi Iwata, Motoki Kimura, Fumitaka Izuhara, Seiji Mochizuki, Masaki Nobori	Development of full-HD multi-standard video CODEC IP based on heterogeneous multiprocessor architecture.	ASP-DAC	2009	DBLP DOI BibTeX RDF
1	Server Kasap, Khaled Benkrid, Ying Liu	A high performance fpga-based implementation of position specific iterated blast.	FPGA	2009	DBLP DOI BibTeX RDF	psi-blast, fpga, blast, handel c
1	Jialu Fan, Jiming Chen, Ruilong Deng, Youxian Sun, Xuemin (Sherman) Shen	PTFW: a protocol testing framework for wireless sensor networks.	IWCMC	2009	DBLP DOI BibTeX RDF	PTFW, sensor networks, client-server, FSM, protocol test
1	Chorng-Shiuh Koong, Ching-Meng Lee, Deng-Jyi Chen, Chih-Hung Chang, Chihhsiong Shih	The visual authoring tool of flash-based component for interactive item template.	SAC	2009	DBLP DOI BibTeX RDF	SWF component, interactive item, item template, visual authoring tool, reuse, software component
1	Anthony Allevato, Stephen H. Edwards, Manuel A. Pérez-Quiñones	Dereferee: exploring pointer mismanagement in student code.	SIGCSE	2009	DBLP DOI BibTeX RDF	null dereference, pointer checking, smart pointer, tdd, test-first coding, test-driven development, memory leak, dynamic memory management, programming assignment, dangling pointer
1	Akihiko Shirai, Simon Richir, Takuya Iwamoto, Takayuki Kosaka, Hidetaka Kimura	WiiRemote programming: development experiences of interactive techniques that can be applied to education for young engineers.	SIGGRAPH ASIA Educators Program	2009	DBLP DOI BibTeX RDF
1	Zhibo Chen 0002, Carlos Ordonez, Carlos Garcia-Alvarado	Fast and dynamic OLAP exploration using UDFs.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	olap, cube, udf
1	Shih-Hsiang Lo, Cheng-An Chiu, Fang-Ping Pai, Ding-Yong Hong, Yeh-Ching Chung	MGRID: a modifiable-grid region matching approach for DDM in the HLA RTI.	SpringSim	2009	DBLP DOI BibTeX RDF	high level architecture, interest management, data distribution management
1	Alexander Artikis, Marek J. Sergot, Jeremy V. Pitt	Specifying norm-governed computational societies.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	agent, policy, norm, executable specification, event calculus, Action language, contract-net
1	Tamás Vajk, Róbert Kereskényi, Tihamer Levendovszky, Ákos Lédeczi	Raising the Abstraction of Domain-Specific Model Translator Development.	ECBS	2009	DBLP DOI BibTeX RDF
1	Kuan Jen Lin, Yi Tang Chiu, Shan Chien Fang	Design Optimization and Automation for Secure Cryptographic Circuits.	VLSI Design	2009	DBLP DOI BibTeX RDF
1	Raúl Martínez, Francisco José Alfaro, José L. Sánchez, José M. Claver	Hardware Implementation Study of the SCFQ-CA and DRR-CA Scheduling Algorithms.	Euro-Par	2009	DBLP DOI BibTeX RDF
1	Norma Alias, Roziha Darwis, Noriza Satam, Mohamed Othman	Parallelization of Temperature Distribution Simulations for Semiconductor and Polymer Composite Material on Distributed Memory Architecture.	PaCT	2009	DBLP DOI BibTeX RDF	Red-Black Gauss Seidel (RBGS), Parallel Performance evaluations, Parallel Virtual Machine (PVM)
1	Shiuh-Jer Huang, Shian-Shin Wu	Vision-Based Robotic Motion Control for Non-autonomous Environment.	Journal of Intelligent and Robotic Systems	2009	DBLP DOI BibTeX RDF	Self-organizing fuzzy control, FPGA chip, Visual servo, Robotic system
1	Danfeng Zhang, Yao Guo, Xiangqun Chen	AspectC2C: a symmetric aspect extension to the C language.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF
1	Chuanyan Xu, Yong Zhang	Simulation of FlexRay Communication Using C Language.	ISCSCT	2008	DBLP DOI BibTeX RDF
1	Vito Roberto, Massimiliano Hofer	Theia: open environment for multispectral image analysis.	AVI	2008	DBLP DOI BibTeX RDF	image processing environment, multispectral analysis, visualization, image processing, open source, object oriented design, interactive interfaces, hyperspectral, multispectral
1	Matthew A. Hammer, Umut A. Acar	Memory management for self-adjusting computation.	ISMM	2008	DBLP DOI BibTeX RDF	performance, computational geometry, garbage collection, memory management, memoization, dynamic algorithms, self-adjusting computation, dynamic dependency graphs
1	Valentin David	Preparing for C++0x.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	reusable parser, C++, program transformation, parsing, concepts, C++0x
1	Yang Ni, Adam Welc, Ali-Reza Adl-Tabatabai, Moshe Bach, Sion Berkowits, James Cownie, Robert Geva, Sergey Kozhukow, Ravi Narayanaswamy, Jeffrey Olivier, Serguei Preis, Bratin Saha, Ady Tal, Xinmin Tian	Design and implementation of transactional constructs for C/C++.	OOPSLA	2008	DBLP DOI BibTeX RDF	transactional memory, C/C++
1	Adityanand Pasumarthi	Quota queue: a new queue data structure that provides prioritized, predictable, guaranteed and fair dequeue mechanism.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	item queue, quota run, quota value, data structure, predictability, fairness, queue, priority, distribution model, guarantee
1	Marius Nita, Dan Grossman, Craig Chambers	A theory of platform-dependent low-level software.	POPL	2008	DBLP DOI BibTeX RDF	low-level software, portability, type safety, casts
1	Alastair Colin Murray, Björn Franke	Fast source-level data assignment to dual memory banks.	SCOPES	2008	DBLP DOI BibTeX RDF
1	Yan-Haw Chen, Chong-Dao Lee, Chih-Hua Chien, S. H. Tai	Efficient Decoding of Systematic (41, 21, 9) Quadratic Residue Code.	APSCC	2008	DBLP DOI BibTeX RDF
1	Qunyi Zhou, Wenxin Wang	The Automatic Inference of Arden Medical Logic Modules.	BMEI	2008	DBLP DOI BibTeX RDF	Arden, Inference, Clinical Decision Support System
1	Xiao Sheng, Hu Jin-zhu, Yang xi-shu, Wu Feng-wen	An Algorithm for Collocation of Relation Word Based on P/T System.	CSSE	2008	DBLP DOI BibTeX RDF
1	Guiling Sun, Wenhe Yue, Bo Liu, Weixiang Li	Design and Study of Distribution Map of a General Architecture for Wireless Sensor Networks Based on GDI+.	CSSE	2008	DBLP DOI BibTeX RDF
1	Zhang Yingjun, Zhu Feixiang, Xing Shengwei	A Rough Set-Based Heuristic Algorithm for Attribute Reduction.	CSSE	2008	DBLP DOI BibTeX RDF
1	Honghoon Jang, Anjin Park, Keechul Jung	Neural Network Implementation Using CUDA and OpenMP.	DICTA	2008	DBLP DOI BibTeX RDF
1	Yasuhiro Ito, Yutaka Sugawara, Mary Inaba, Kei Hiraki	CVC: The C to RTL compiler for callback-based verification model.	FPL	2008	DBLP DOI BibTeX RDF
1	Aimin Wang, Wenhua Liu	A Study on Decision of Appointment Problems under Fuzzy Conditions and the Computer Management System.	FSKD	2008	DBLP DOI BibTeX RDF
1	Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall	Generation of All-Paths Unit Test with Function Calls.	ICST	2008	DBLP DOI BibTeX RDF	all-paths unit test, unit test with function calls, unit test, constraint solving, structural testing, automatic generation, testing C programs
1	Wesley Tansey, Eli Tilevich	Efficient automated marshaling of C++ data structures for MPI applications.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Oriol Vinyals, Gerald Friedland	A Hardware-Independent Fast Logarithm Approximation with Adjustable Accuracy.	ISM	2008	DBLP DOI BibTeX RDF
1	R. Baker Kearfott, John D. Pryce, Nathalie Revol	Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
1	Marco Cornero, Roberto Costa, Ricardo Fernández Pascual, Andrea C. Ornstein, Erven Rohou	An Experimental Environment Validating the Suitability of CLI as an Effective Deployment Format for Embedded Systems.	HiPEAC	2008	DBLP DOI BibTeX RDF	Common Language Infrastructure, embedded systems, deployment, GCC
1	Xu Huang, Dharmendra Sharma	An Agent-Oriented Quantum Key Distribution for Wi-Fi Network Security.	KES	2008	DBLP DOI BibTeX RDF	an agent-oriented Quantum Key Distribution, B92 protocol, BB84 protocol, Socket Programming, 802.11, Wi-Fi
1	Zhen-ming Yuan, Hong Pan, Liang Zhang	A Novel Pen-Based Flowchart Recognition System for Programming Teaching.	WBL	2008	DBLP DOI BibTeX RDF	teaching system, SVM, HMM, ICA, sketch recognition
1	Peter T. Breuer, Simon Pickin	Approximate verification in an open source world.	ISSE	2008	DBLP DOI BibTeX RDF	Verification, Static analysis, Open source, Linux kernel, Programming logic
1	Ronald T. Kneusel	Extending interactive data language with higher-order functions.	ISSE	2008	DBLP DOI BibTeX RDF	image processing, Functional programming, IDL, Array processing
1	Robert Koprowski, Zygmunt Wróbel	Identification of Layers in a Tomographic Image of an Eye Based on the Canny Edge Detection.	Information Technologies in Biomedicine	2008	DBLP DOI BibTeX RDF
1	Mehrdad Reshadi, Daniel Gajski	Interrupt and low-level programming support for expanding the application domain of statically-scheduled horizontal-microcoded architectures in embedded systems.	DATE	2007	DBLP DOI BibTeX RDF
1	Peter Pirkelbauer, Yuriy Solodkyy, Bjarne Stroustrup	Open multi-methods for c++.	GPCE	2007	DBLP DOI BibTeX RDF	open-methods, object oriented programming, C++, generic programming, multiple dispatch, multi-methods
1	Charles Edwin Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, Amin Vahdat	Mace: language support for building distributed systems.	PLDI	2007	DBLP DOI BibTeX RDF	Mace, distributed systems, model checking, concurrency, debugging, domain specific languages, event driven programming
1	Nupur Kothari, Ramakrishna Gummadi, Todd D. Millstein, Ramesh Govindan	Reliable and efficient programming abstractions for wireless sensor networks.	PLDI	2007	DBLP DOI BibTeX RDF	wireless sensor networks, energy efficiency, deadlocks, serializability, macroprogramming
1	Hans-Juergen Boehm	Reordering constraints for pthread-style locks.	PPOPP	2007	DBLP DOI BibTeX RDF	memory barriers, memory fences, optimization, threads, locks, data race, pthreads, code reordering
1	Limlyheng, Zuping Zhang	Design and analysis of web-based inventory control system for e-commerce.	SCSC	2007	DBLP DOI BibTeX RDF	sequential diagram, use case, data flow, inventory control, database server
1	Simon Kågström, Håkan Grahn, Lars Lundberg	Cibyl: an environment for language diversity on mobile devices.	VEE	2007	DBLP DOI BibTeX RDF	programming environment, portability, J2ME, binary translation
1	Achuth Sankar S. Nair, Vinod Chandra	A MetaL for C and Pascal.	SIGCSE Bulletin	2007	DBLP DOI BibTeX RDF	data structure, C, Pascal, lex, yacc
1	Marco Pedicini, Francesco Quaglia	PELCR: Parallel environment for optimal lambda-calculus reduction.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	optimal reduction, virtual reduction, Functional programming, linear logic, parallel implementation, geometry of interaction
1	Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann	MPFR: A multiple-precision binary floating-point library with correct rounding.	ACM Trans. Math. Softw.	2007	DBLP DOI BibTeX RDF	correct rounding, floating-point arithmetic, elementary function, Multiple-precision arithmetic, IEEE 754 standard, portable software
1	Pierre L'Ecuyer, Richard J. Simard	TestU01: A C library for empirical testing of random number generators.	ACM Trans. Math. Softw.	2007	DBLP DOI BibTeX RDF	Statistical software, random number generators, statistical test, random number tests
1	Shirantha Wijesekera, Sajal Palit, Bala Balachandran	Software Development for B92 Quantum Key Distribution Communication Protocol.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF	Quantum Key Distribution (QKD), B92, BB84, QBER, Socket Programming, TCP/IP, IPsec
1	Dae Wan Cho, Seunguk Oh, Hyeon Soo Kim	MemScroll: Dynamic Memory Errors Detector in C Programs.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Khaled Benkrid, Ying Liu, Abdsamad Benkrid	Design and Implementation of a Highly Parameterised FPGA-Based Skeleton for Pairwise Biological Sequence Alignment.	FCCM	2007	DBLP DOI BibTeX RDF
1	J. Javier Martínez-Álvarez, F. Javier Toledo-Moreo, José Manuel Ferrández de Vicente	Discrete-Time Cellular Neural Networks in FPGA.	FCCM	2007	DBLP DOI BibTeX RDF
1	Takuya Azumi, Shimpei Yamada, Hiroshi Oyama, Yukikazu Nakamoto, Hiroaki Takada	A Visual Modeling Environment for Embedded Component Systems.	CIT	2007	DBLP DOI BibTeX RDF
1	Kazuo Tanie, Takuya Kawamura, Shunsuke Sue	Semantics of tasks and motions of robots -multi-mode control as a bridge between tasks and motions-.	IROS	2007	DBLP DOI BibTeX RDF