Search results for "BASIC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Dharmender Singh Kushwaha, Arun Kumar Misra	Software test effort estimation.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF	cognitive information complexity measure, cyclomatic number and basic control structures, testing effort
14	Andrey Paskevich	Connection Tableaux with Lazy Paramodulation.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Connection tableaux, Lazy paramodulation, Basic ordered paramodulation, First-order logic with equality
14	Signe Dahl Iversen, Maria Elisabeth Pertou	Categorization as Persuasion: Considering the Nature of the Mind.	PERSUASIVE	2008	DBLP DOI BibTeX RDF	Epistemic Rhetoric, Basic-level Categories, Prototype Theory, Categorization, Metaphors, Comprehension, Cognitive Science, Persuasive Design
14	Doracelly Hincapié, Juan Ospina, Anthony Uyi Afuwape, Rubén Darío Gómez Arias	Epidemic Thresholds in SIR and SIIR Models Applying an Algorithmic Method.	BioSecure	2008	DBLP DOI BibTeX RDF	basic reproduction number, Mathematical model
14	Sanjay Misra, A. K. Misra	Evaluation and comparison of cognitive complexity measure.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	basic control structures, software functional size, software complexity
14	Xuejie Qin, Yee-Hong Yang	Aura 3D Textures.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	Aura matrices, basic gray-level aura matrices (BGLAM), texture synthesis, solid textures
14	Javier Fabra, Pedro Álvarez 0001, Joaquin Ezpeleta	DRLinda: A Distributed Message Broker for Collaborative Interactions Among Business Processes.	EC-Web	2007	DBLP DOI BibTeX RDF	EC Infrastructure and Basic Technologies, Business Process Aspects, Petri Nets, Linda, Service Coordination
14	Jiri Prinosil, Zdenek Smékal, Anna Esposito	Combining Features for Recognizing Emotional Facial Expressions in Static Images.	COST 2102 Workshop (Patras)	2007	DBLP DOI BibTeX RDF	basic emotions, Principal Component Analysis, Gabor filters, Linear Discriminant Analysis, facial features
14	Ainhoa Berciano, María José Jiménez 0001, Pedro Real 0001	On the Computation of Ainfinity-Maps.	CASC	2007	DBLP DOI BibTeX RDF	A ???-algebra, Basic Perturbation Lemma, computation, contraction, transference
14	Alistair J. Edwardes, Ross S. Purves	Eliciting concepts of place for text-based image retrieval.	GIR	2007	DBLP DOI BibTeX RDF	basic levels, natural language description, semantics, image retrieval, place, concept ontology
14	Rafael Corchuelo	Review of "Expert VB 2005 Business Objects (second edition) by Rockford Lhotka", Apress, 2006, ISBN 1590596315.	ACM Queue	2007	DBLP DOI BibTeX RDF	Visual Basic
14	Prabha Sharma	Algorithms for the optimum communication spanning tree problem.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Cost of communication, Cut-tree, Star-tree, Adjacent spanning tree, Adjacent basic feasible solution
14	Dharmender Singh Kushwaha, Arun Kumar Misra	Robustness analysis of cognitive information complexity measure using Weyuker properties.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	basic control structures, cognitive information complexity measure, cognitive information complexity unit, cognitive weight, weighted information count
14	Hamid Noori, Kazuaki J. Murakami	Preliminary performance evaluation of an adaptive dynamic extensible processor for embedded applications.	SAC	2006	DBLP DOI BibTeX RDF	adaptive dynamic processor, hot basic block, instruction set extension, custom instruction, online profiling
14	Peng Chen 0012, Krishna M. Kavi, Robert Akl	Performance Enhancement by Eliminating Redundant Function Execution.	Annual Simulation Symposium	2006	DBLP DOI BibTeX RDF	Function reuse, Basic Block Reuse, SimpleScalar, Instruction Level Parallelism, Speculative Execution, Value Prediction, Instruction Reuse
14	Roshan G. Ragel, Sri Parameswaran	IMPRES: integrated monitoring for processor reliability and security.	DAC	2006	DBLP DOI BibTeX RDF	basic block checksumming, bit flips detection, check sum encryption, detecting code injection attacks
14	Eranga Perera, Henrik Petander, Kun-Chan Lan, Aruna Seneviratne	An implementation and evaluation of a mobile hotspot.	WMASH	2005	DBLP DOI BibTeX RDF	NEMO basic support protocol (NEMO), handoff performance, mobile hotspot, route optimization, mobile router
14	Jan Berg, Johnny Wingstedt	Relations between selected musical parameters and expressed emotions: extending the potential of computer entertainment.	Advances in Computer Entertainment Technology	2005	DBLP DOI BibTeX RDF	basic emotions, musical parameters, non-verbal test techniques, musical expression, computer entertainment
14	Hassan Hassan 0001, Mohab Anis, Mohamed I. Elmasry	LAP: a logic activity packing methodology for leakage power-tolerant FPGAs.	ISLPED	2005	DBLP DOI BibTeX RDF	activity profile, basic logic elements (BLEs), configurable logic blocks (CLBs), sleep transistor (ST), sub-threshold leakage power, FPGA, packing
14		Review of "Expert .NET Programming by Simon Robinson".	ACM Queue	2005	DBLP DOI BibTeX RDF	Visual Basic, Microsoft .NET
14	Sanjay Misra, A. K. Misra	Evaluating Cognitive Complexity Measure with Weyuker Properties.	IEEE ICCI	2004	DBLP DOI BibTeX RDF	Cognitive weight, Basic control Structures, Software functional size, Software complexity
14	Brian Ireson	"Minions".	ACM Multimedia	2004	DBLP DOI BibTeX RDF	audio-visual projection, basic stamp, christian, islam, prayer, ultrasonic range finder, multimedia, interactive, culture
14	Richard L. Conn	A reusable, academic-strength, metrics-based software engineering process for capstone courses and projects.	SIGCSE	2004	DBLP DOI BibTeX RDF	data primitives, team software process, unified modeling language, process improvement, defect, capability maturity model, communicating sequential process, visual basic, personal software process, software engineering institute, structured query language
14	Mark Sanderson, Robert C. Pasley	Image based gisting in CLIR.	SIGIR	2004	DBLP DOI BibTeX RDF	basic level, images, cross language information retrieval, gisting
14	Hong Chen, Xinyang Shen	Computing the Stationary Distribution of an SRBM in an Orthant with Applications to Queueing Networks.	Queueing Syst. Theory Appl.	2003	DBLP DOI BibTeX RDF	Brownian approximation, semimartingale reflecting Brownian motion, infinite buffer, BNAfm, BNAsm, basic adjoint relationship, performance analysis, finite element method, queueing networks, numerical algorithm, heavy traffic, stationary distribution, finite buffer
14	Angelo Gilio, Veronica Biazzo, Giuseppe Sanfilippo	Coherence checking and propagation of lower probability bounds.	Soft Comput.	2003	DBLP DOI BibTeX RDF	g-coherence checking, Lower conditional probability bounds, Non relevant gains, Basic sets, Propagation
14	Antonio Di Nola, Laurentiu Leustean	Compact representations of BL-algebras.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF	Basic logic, Sheaf representations, Gelfand duality, BL-algebras
14	Eneia Todoran, Nikolaos Papaspyrou	Continuations for parallel logic programming.	PPDP	2000	DBLP DOI BibTeX RDF	basic Andorra model, Haskell, continuations, monads, denotational semantics, parallel logic programming
14	Mike Maxim	Microsoft Windows Programming Strategies.	ACM Crossroads	2000	DBLP DOI BibTeX RDF	C, Visual Basic, Microsoft Windows (OS)
14	Ian Ho, Jin-Cherng Lin	Generating Test Cases for Real-Time Software by Time Petri Nets Model.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	basic segment, graph matrix, graph segment, independent segment group, Petri nets decomposition, test cases generation
14	Alok Mehta, George T. Heineman	Architectural Evolution of Legacy Systems.	COMPSAC	1999	DBLP DOI BibTeX RDF	Active X, Life Insurance and Executive Benefit Software, Microsoft Visual Basic, Component Specification Language (CSL), Software Architecture, Components
14	Rong-Tsung Sheu, Jean-Lien C. Wu	A Framework of Software-Based PBX Services over Internet.	ICPP Workshops	1999	DBLP DOI BibTeX RDF	Addressing Scheme, Multicast Mechanism, Basic Call State Model (BCSM), Call Control Object, Distributed Switching Agent, Quality-of-Service (QoS), Session Management
14	Robert G. Burger, R. Kent Dybvig	An Infrastructure for Profile-Driven Dynamic Recompilation.	ICCL	1998	DBLP DOI BibTeX RDF	edge-count profiling, basic-block reordering, dynamic compilation, run-time code generation
14	Said M. Megahed	Symbolic computation of robot models for geometric parameters identification with singularity analysis.	J. Intell. Robotic Syst.	1996	DBLP DOI BibTeX RDF	Nomenclature a i Denavit-Hartenberg parameter. - C i, C i andC 12 cos i, cos i and cos (1 + 2). - J 0, J Basic Jacobian and Jacobian matrices. - J a, J r, J and J Sub-Jacobian matrices. - J 0a, J 0r, J 0, J 0 and J 0 Intrinsic sub-Jacobian matrices. - m Work space dimensions. - n Number of moving links of the robot arm. - p Number of pairs of consecutive near parallel axes. - P i, i+1 and P li [3×1] position vectors. - Q pi, Q ai, Q ri, Q i, Q i and Q i [4×4] differential operator matrices. - r i Denavit-Hartenberg parameter. - R l, R i, R i+1 and R n+1 Base, links i-1, i and n coordinate frames. - R i, i+1 and R 1i [3×3] orientation matrices. - S i, S i and S 12 sin i, sin i and sin 1 + 2. - T i, i+1 and T 1i [4×4] homogeneous transformation matrices. - X [m×1] robot arm operational coordinates. - 1st columns of the orientation matrices and associated tensors. - 2nd columns of the orientation, and associated tensors. - 3rd columns of the orientation matrices, and associated tensors. - i Denavit-Hartenberg parameter. - i Twist angle parameter. - X Changes in robot arm operational coordinates. -, ls and rr Changes in robot arm geometrical parameters, and their least square and ridge regression estimated changes. - i Denavit-Hartenberg parameter. -, c and n Robot geometrical parameters and their correct and nominal values. - pi, ai, i and i [4×4] differential operator matrices. - and -1 [3×3] conversion matrix and its inverse, J, ri, i
14	Benjamin Charny	Matrix Partitioning on a Virtual Shared Memory Parallel Machine.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	Basic matrix operations, matrix partitioning, minimax criteria, optimum load balance, parallel multiprocessor, performance, numerical algorithm, virtual shared memory
14	Terry Flaherty	A simple technique to motivate structured programming.	SIGCSE	1988	DBLP DOI BibTeX RDF	BASIC
14	C. V. Ramamoorthy, James L. Turner, Benjamin W. Wah	A Design of a Fast Cellular Associative Memory of Ordered Retrieval.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF	ordered retrieval, Basic search, equality-threshold search, maximum value search, minimum value search, multiple match resolution, content-addressable memory
14	Dharma P. Agrawal	Arithmetic Algorithms in a Negative Base.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	basic arithmetic operations, interim carry, multiple operand addition, negative base, twin carry, Algorithms, polarization
14	Charles C. Pinter	On decomposing a Boolean function and simplfying the components separately.	Commun. ACM	1970	DBLP DOI BibTeX RDF	basic cells, simplifying Boolean functions, minimization, vertices, prime implication
14	Harold Sackman, W. J. Erikson, E. E. Grant	Exploratory experimental studies comparing online and offline programming performance.	Commun. ACM	1968	DBLP DOI BibTeX RDF	basic programming knowledge test, debugging effectiveness, experienced programmer study, factor analysis application, online vs. offline performance, programmer individual differences, programmer trainee performance, programmer/computer communication, programming cost effectiveness, programming experimental-empirical studies, time sharing vs. batch processing, analysis of variance, programming performance
13	Thomas Bäck	Evolution strategies: basic introduction.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	evolution strategies
13	Wei Chen 0022, Parvathi Chundi	Extracting hot spots of basic and complex topics from time stamped documents.	CIDM	2009	DBLP DOI BibTeX RDF
13	Kenjiro Tadakuma, Riichiro Tadakuma, Keiji Nagatani, Kazuya Yoshida, Aigo Ming, Makoto Shimojo, Karl Iagnemma	Basic running test of the cylindrical tracked vehicle with sideways mobility.	IROS	2009	DBLP DOI BibTeX RDF
13	Christiano Braga	A Constructive Semantics for Basic Aspect Constructs.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
13	Mathias Herrmann, Gregor Leander	A Practical Key Recovery Attack on Basic TCHo.	Public Key Cryptography	2009	DBLP DOI BibTeX RDF	TCHo, stream cipher, chosen ciphertext attack
13	Stefan Elfwing, Eiji Uchibe, Kenji Doya	Co-evolution of Rewards and Meta-parameters in Embodied Evolution.	Creating Brain-Like Intelligence	2009	DBLP DOI BibTeX RDF	Embodied Evolution, Shaping Rewards, Meta-parameters, Reinforcement Learning, Evolutionary Robotics, Meta-learning
13	Xiao-Li Hu, Thomas B. Schön, Lennart Ljung	A Basic Convergence Result for Particle Filtering.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
13	Christophe Sibertin-Blanc, Nabil Hameurlain, Omar Tahir	Ambiguity and structural properties of basic sequence diagrams.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Pomset (partial order), Ambiguity, Formal semantics, Structural property, UML sequence diagrams
13	Paruj Ratanaworabhan, Martin Burtscher	Program Phase Detection based on Critical Basic Block Transitions.	ISPASS	2008	DBLP DOI BibTeX RDF
13	Xiaoqing Feng, Jianping Han	Practice and Discussion on a New Teaching Mode of "Case Guide Learning" in Basic of Database Application.	ICYCS	2008	DBLP DOI BibTeX RDF
13	Koshi Asano, Kazuhito Murakami, Tadashi Naruse	Detection of Basic Behaviors in Logged Data in RoboCup Small Size League.	RoboCup	2008	DBLP DOI BibTeX RDF
13	Thomas Bäck	Evolution strategies: basic introduction.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	evolutionary computation
13	Wenhong Wei, Wenjun Xiao	Algorithms of Basic Communication Operation on the Biswapped Network.	ICCS (1)	2008	DBLP DOI BibTeX RDF	Data sum, Broadcast, Prefix sum, BSN
13	Elias Giannopoulos, Victor Eslava, María Oyarzábal, Teresa Hierro, Laura González 0002, Manuel Ferre, Mel Slater	The Effect of Haptic Feedback on Basic Social Interaction within Shared Virtual Environments.	EuroHaptics	2008	DBLP DOI BibTeX RDF	Haptics, social presence, shared virtual environments
13	Yong Liu 0010, Jun Liu, Shengquan Yu	A Case Study on Mobile Learning Implementation in Basic Education.	CSSE (5)	2008	DBLP DOI BibTeX RDF
13	Leo Egghe	Probabilities for encountering genius, basic, ordinary or insignificant papers based on the cumulative nth citation distribution.	Scientometrics	2007	DBLP DOI BibTeX RDF
13	Tom McEwan, Ben Weerts	ALT text and basic accessibility.	BCS HCI (2)	2007	DBLP DOI BibTeX RDF	accessibility compliance, web development
13	Peng Li 0019, Shugen Ma, Bin Li 0001, Yuechao Wang, Changlong Ye 0001	An in-pipe inspection robot based on adaptive mobile mechanism: mechanical design and basic experiments.	IROS	2007	DBLP DOI BibTeX RDF
13	Libor Behounek, Tomás Kroupa	Topology in Fuzzy Class Theory: Basic Notions.	IFSA (1)	2007	DBLP DOI BibTeX RDF
13	Tatyana Dimitrova, Lidiya Georgieva	Fuzzy representation for classification of basic bruise colours.	CompSysTech	2007	DBLP DOI BibTeX RDF	bruise age, bruise age determination, bruises, colours and image analysis
13	K. M. Azharul Hasan, Tatsuo Tsuji, Ken Higuchi	An Efficient Implementation for MOLAP Basic Data Structure and Its Evaluation.	DASFAA	2007	DBLP DOI BibTeX RDF	MOLAP, Extendible Array, OLAP Operation, Data warehousing, Multidimensional Array
13	Athon Zanikopoulos, Pieter Harpe, Hans Hegt, Arthur H. M. van Roermund	Design of the Basic Building Block of a High-Speed Flexible and Modular Pipelined ADC.	ISCAS	2007	DBLP DOI BibTeX RDF
13	Roman Filipovych, Eraldo Ribeiro	Learning Basic Patterns from Repetitive Texture Surfaces Under Non-rigid Deformations.	ICIAR	2007	DBLP DOI BibTeX RDF	texture learning, texture classification, dynamic texture, non-rigid motion
13	Susan Lysecky, Frank Vahid	Automated Generation of Basic Custom Sensor-Based Embedded Computing Systems Guided by End-User Optimization Criteria.	UbiComp	2006	DBLP DOI BibTeX RDF
13	Jingtao Zhou, Mingwei Wang 0001	Semantic Integration of Enterprise Information: Challenges and Basic Principles.	ASWC	2006	DBLP DOI BibTeX RDF
13	Björn Vormbrock, Rudolf Wille	Semiconcept and Protoconcept Algebras: The Basic Theorems.	Formal Concept Analysis	2005	DBLP DOI BibTeX RDF
13	Iman Narasamdya, Andrei Voronkov	Finding Basic Block and Variable Correspondence.	SAS	2005	DBLP DOI BibTeX RDF
13	Sascha Karl Dörflein, Rudolf Wille	Coherence Networks of Concept Lattices: The Basic Theorem.	ICFCA	2005	DBLP DOI BibTeX RDF
13	Jean-Claude Martin, Sarkis Abrilian, Laurence Devillers	Annotating Multimodal Behaviors Occurring During Non Basic Emotions.	ACII	2005	DBLP DOI BibTeX RDF
13	Zhiliang Wang, Ning Cheng, Yumei Fan, Jiwei Liu, Changsheng Zhu	Construction of Virtual Assistant Based on Basic Emotions Theory.	ACII	2005	DBLP DOI BibTeX RDF
13	Andreas Argyriou, Charles A. Micchelli, Massimiliano Pontil	Learning Convex Combinations of Continuously Parameterized Basic Kernels.	COLT	2005	DBLP DOI BibTeX RDF
13	Roy Friedman, Achour Mostéfaoui, Michel Raynal	Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems.	PRDC	2005	DBLP DOI BibTeX RDF	Computing abstraction, Non blocking atomic commit, Distributed algorithm, Message passing, Consensus, Asynchronous system, Failure detector
13	Friedrich Mayer-Lindenberg	A Management Scheme for the Basic Types in High Level Languages.	SOFSEM	2005	DBLP DOI BibTeX RDF
13	Shuguang Su, Shengsheng Yu, Jingli Zhou	An improved Basic-Unit Layer Rate-Control Scheme on H.264.	PDCAT	2005	DBLP DOI BibTeX RDF
13	Yee Leung, Jiang-Hong Ma, Michael F. Goodchild	A general framework for error analysis in measurement-based GIS Part 1: The basic measurement-error model and related concepts.	J. Geogr. Syst.	2004	DBLP DOI BibTeX RDF	JEL Classification C10, C31
13	Guoqing Xu 0001, Zongyuan Yang, Haitao Huang	A basic model for components implementation of software architecture.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	JCMP, JCMPL, triple-C pattern, software architecture, component
13	Henk F. Moed, Eugene Garfield	In basic science the percentage of 'authoritative' references decreases as bibliographies become shorter.	Scientometrics	2004	DBLP DOI BibTeX RDF
13	Gaolin Fang, Xiujuan Gao, Wen Gao 0001, Yiqiang Chen	A Novel Approach to Automatically Extracting Basic Units from Chinese Sign Language.	ICPR (4)	2004	DBLP DOI BibTeX RDF
13	K. M. Senthil Kumar, Akash Saurav Das, Srinivas Padmanabhuni	WS-I Basic Profile: A Practitioner's View.	ICWS	2004	DBLP DOI BibTeX RDF
13	Noureddine Chabini, Wayne H. Wolf	An approach for integrating basic retiming and software pipelining.	EMSOFT	2004	DBLP DOI BibTeX RDF	embedded systems, system-on-chip, timings, instruction-level parallelism, software pipelining, VLIW, retiming, superscalar processor, peak power, code size
13	Katsuhiko Degawa, Takafumi Aoki, Tatsuo Higuchi 0001, Hiroshi Inokawa, Yasuo Takahashi	A Single-Electron-Transistor Logic Gate Family and Its Application - Part I: Basic Components for Binary, Multiple-Valued and Mixed-Mode Logic.	ISMVL	2004	DBLP DOI BibTeX RDF
13	K. H. Kim	Basic Program Structures for Avoiding Priority Inversions.	ISORC	2003	DBLP DOI BibTeX RDF	NBW, NBAB, scheduling, real time, monitor, process, concurrent programming, inheritance, object, priority, deadline, TMO, inversion, urgency
13	Saeko Takagi, Noriyuki Matsuda, Masato Soga, Hirokazu Taki, Takashi Shima, Fujiichi Yoshimoto	An Educational Tool for Basic Techniques in Beginner's Pencil Drawing.	Computer Graphics International	2003	DBLP DOI BibTeX RDF	computer aided instruction in sketching, image processing of pencil drawings, evaluation of pictures
13	Elke Steegmans, Kurt Schelfthout, Tom Holvoet, Yolande Berbers, Paul Valckenaers, Bart Saint Germain	A Basic Taxonomy for Role Composition.	SELMAS	2003	DBLP DOI BibTeX RDF
13	Joe Hummel, Jean Mehta	Using Visual Basic in the CS curriculum.	SIGCSE	2002	DBLP DOI BibTeX RDF
13	Christopher Lynch, Barbara Morawska 0001	Basic Syntactic Mutation.	CADE	2002	DBLP DOI BibTeX RDF
13	Amitava Datta, Subbiah Soundaralakshmi	Basic Operations on a Partitioned Optical Passive Stars Network with Large Group Size.	International Conference on Computational Science (1)	2002	DBLP DOI BibTeX RDF
13	Jirí Srba	Strong Bisimilarity and Regularity of Basic Parallel Processes Is PSPACE-Hard.	STACS	2002	DBLP DOI BibTeX RDF
13	Teruaki Ito	Route Planning Wizard: Basic Concept and Its Implementation.	IEA/AIE	2002	DBLP DOI BibTeX RDF
13	Renate Klempien-Hinrichs	Hyperedge Substitution in Basic Atom-Replacement Languages.	ICGT	2002	DBLP DOI BibTeX RDF
13	Rafael M. Gasca, Juan Antonio Ortega 0001, Miguel Toro	Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells.	CP	2001	DBLP DOI BibTeX RDF
13	Paul LaFollette, James F. Korsh	A Loopless Algorithm for Generation of Basic Minimal Interval Orders.	Order	2000	DBLP DOI BibTeX RDF	loopless algorithm, minimal, interval order
13	Mingyao Yang, Lionel M. Ni	Incremental Design of Scalable Interconnection Networks Using Basic Building Blocks.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	Scalable interconnection networks, scalable parallel computers, wormhole routing, adaptive routing, mesh networks, incremental design
13	João Costa Seco, Luís Caires	A Basic Model of Typed Components.	ECOOP	2000	DBLP DOI BibTeX RDF
13	Min Tan 0002, Mitchell D. Theys, Howard Jay Siegel, Noah Beck, Michael Jurczyk	A Mathematical Model, Heuristic, and Simulation Study for a Basic Data Staging Problem in a Heterogeneous Networking Environment.	Heterogeneous Computing Workshop	1998	DBLP DOI BibTeX RDF	BADD, Dijkstra's multiple-source shortest-path algorithm, distributed heterogeneous networking environment, data management, heterogeneous computing, data staging
13	Nissim Francez	Hypothetical Reasoning and Basic Non-constituent Coordination in Type-Logical Grammar.	LACL	1998	DBLP DOI BibTeX RDF
13	Byung-Ho Park, Shigetomo Kimura, Eun-Seok Lee 0001, Norio Shiratori	An equivalence algorithm to point out errors for basic LOTOS in a distributed system environment and its prototype.	ICPADS	1997	DBLP DOI BibTeX RDF	equivalence algorithm, OSI protocol layers, equivalence relation verification, educational support system, distributed system, specification, prototype, specification languages, error detection, error correction, mathematical model, LOTOS, formal description technique
13	Claudia Faggian	Classical Proofs via Basic Logic.	CSL	1997	DBLP DOI BibTeX RDF
13	Anatoli Degtyarev, Andrei Voronkov	Handling Equality in Logic Programming via Basic Folding.	ELP	1996	DBLP DOI BibTeX RDF
13	Ahmed Khoumsi, Gregor von Bochmann	Protocol synthesis using basic Lotos and global variables.	ICNP	1995	DBLP DOI BibTeX RDF