Search results for "preprocessor"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	John Viega, J. T. Bloch, Tadayoshi Kohno, Gary McGraw	Token-based scanning of source code for security problems.	ACM Trans. Inf. Syst. Secur.	2002	DBLP DOI BibTeX RDF	Buffer overflows, security analysis, race conditions
11	Walter Daems, Georges G. E. Gielen, Willy M. C. Sansen	Circuit simplification for the symbolic analysis of analogintegrated circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
11	David L. Atkins, Thomas Ball, Todd L. Graves, Audris Mockus	Using Version Control Data to Evaluate the Impact of Software Tools: A Case Study of the Version Editor.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	effort analysis, Software tools, version control system
11	Anneliese Amschler Andrews, Chunhui Zhu, Michael Scheetz, Eric Dahlman, Adele E. Howe	AI Planner Assisted Test Generation.	Softw. Qual. J.	2002	DBLP DOI BibTeX RDF	high level test objectives, system test, AI planning
11	Kimio Kuramitsu, Ken Sakamura	Electronic Tickets on Contactless Smartcard Database.	DEXA	2002	DBLP DOI BibTeX RDF
11	Shian-Hua Lin, Jan-Ming Ho	Discovering informative content blocks from Web documents.	KDD	2002	DBLP DOI BibTeX RDF	informative content discovery, information retrieval, information extraction, entropy
11	Barry Redmond, Vinny Cahill	Supporting Unanticipated Dynamic Adaptation of Application Behaviour.	ECOOP	2002	DBLP DOI BibTeX RDF
11	Hai Jiang 0003, Vipin Chaudhary	MigThread: Thread Migration in DSM Systems.	ICPP Workshops	2002	DBLP DOI BibTeX RDF	adaptive parallel computing, compile-time code transformations, thread scheduling, thread migration, Software Distributed Shared Memory
11	Dávid Bálya, Csaba Rekeczky, Tamás Roska	A realistic mammalian retinal model implemented on complex cell CNN universal machine.	ISCAS (4)	2002	DBLP DOI BibTeX RDF
11	Paul V. Gestwicki, Bharat Jayaraman	Interactive Visualization of Java Programs.	HCC	2002	DBLP DOI BibTeX RDF
11	Teruaki Ito	Route Planning Wizard: Basic Concept and Its Implementation.	IEA/AIE	2002	DBLP DOI BibTeX RDF
11	Erdal Kemikli, Nadia Erdogan	Augmenting Object Persistency Paradigm for Faster Server Development.	ADVIS	2002	DBLP DOI BibTeX RDF
11	L. Peter Deutsch	Engineering broad-spectrum document software: lessons from ghostscript.	ACM Symposium on Document Engineering	2002	DBLP DOI BibTeX RDF
11	Georgios Karberis, Georgios Kouroupetroglou	Transforming Spontaneous Telegraphic Language to Well-Formed Greek Sentences for Alternative and Augmentative Communication.	SETN	2002	DBLP DOI BibTeX RDF
11	Javier Miranda, Francisco Guerra Santana, Ernestina Martel, José Martín, Alexis González	How to Use GNAT to Efficiently Preprocess New Ada Sentences.	Ada-Europe	2002	DBLP DOI BibTeX RDF
11	Yinyi Lin, Y. J. Wang, T. H. Fan	Compaction of ordered dithered images with arithmetic coding.	IEEE Trans. Image Process.	2001	DBLP DOI BibTeX RDF
11	Anima Gupta, Paul Tarau	Logic Programming Techniques for Dynamic VRML Web Content Generation.	PADL	2001	DBLP DOI BibTeX RDF	Internet Programming with Prolog, Dynamic VRML content, Logic Programming Tools, Prolog based Client-Server Programming, Prolog Networking, Definite Clause Grammars, Web Architectures
11	Susana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo	Efficient Negation Using Abstract Interpretation.	LPAR	2001	DBLP DOI BibTeX RDF	Implementations of Logic Programming, Program Analysis, Abstract Interpretation, Constraint Logic Programming, Negation in Logic Programming
11	Yih-Chih Chou, Youn-Long Lin	A 3-step approach for performance-driven whole-chip routing.	ASP-DAC	2001	DBLP DOI BibTeX RDF
11	Hong Wang, Guangzhou Zeng, Shouxun Lin	A Strong Migration Method of Mobile Agents Based on Java.	CSCWD	2001	DBLP DOI BibTeX RDF
11	M. Oliver Möller, Rajeev Alur	Heuristics for Hierarchical Partitioning with Application to Model Checking.	CHARME	2001	DBLP DOI BibTeX RDF
11	Wanlei Zhou 0001, Li Wang 0004	Automating the Construction of Replicated Objects in a Cluster of Workstations.	CCGRID	2001	DBLP DOI BibTeX RDF
11	Radu Dogaru, Pedro Julián, Leon O. Chua	A robust and efficient universal CNN cell circuit using simplicial neuro-fuzzy inferences for fast image processing.	ISCAS (3)	2001	DBLP DOI BibTeX RDF
11	Bin Lee, Jia-yong Yan, Tian-Ge Zhuang	A Dynamic Programming Based Algorithm for Optimal Edge Detection in Medical Images.	MIAR	2001	DBLP DOI BibTeX RDF	Image segmentation, Dynamic programming (DP), Edge detection, Edge enhancment
11	Neal Lesh, Mohammed Javeed Zaki, Mitsunori Ogihara	Scalable Feature Mining for Sequential Data.	IEEE Intell. Syst.	2000	DBLP DOI BibTeX RDF	classification, feature extraction, feature selection, sequence mining
11	Raphael B. Yehezkael, Yair Wiseman, H. G. Mendelbaum, I. L. Gordin	Experiments in Separating Computational Algorithm from Program Distribution and Communication.	PARA	2000	DBLP DOI BibTeX RDF
11	Hsin-Ta Chiao, Chi-Houng Wu, Shyan-Ming Yuan	A More Expressive Monitor for Concurrent Java Programming.	Euro-Par	2000	DBLP DOI BibTeX RDF
11	Peter Grogono, Markku Sakkinen	Copying and Comparing: Problems and Solutions.	ECOOP	2000	DBLP DOI BibTeX RDF	complex object structures, cloning, equality, Copying
11	Akira Hirose, Katsuhiko Hiramatsu	Proposal of Complex-Valued Region-Based-Coupling Segmentation Neural Networks and the Application to Radar Imaging Systems.	IJCNN (1)	2000	DBLP DOI BibTeX RDF
11	Pedro Guerreiro	Another Mediocre Assertion Mechanism for C++.	TOOLS (33)	2000	DBLP DOI BibTeX RDF
11	Goran Nenadic	Local Grammars and Parsing Coordination of Nouns in Serbo-Croatian.	TSD	2000	DBLP DOI BibTeX RDF
11	Ying Hu, Ettore Merlo, Michel R. Dagenais, Bruno Laguë	C/C++ Conditional Compilation Analysis using Symbolic Execution.	ICSM	2000	DBLP DOI BibTeX RDF
11	Zeyad Alkhalifa, V. S. S. Nair, Narayanan Krishnamurthy, Jacob A. Abraham	Design and Evaluation of System-Level Checks for On-Line Control Flow Error Detection.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	coverage, latency, fault injection, assertions, Control flow checking
11	Ruey-Kai Sheu, Kai-Chih Liang, Shyan-Ming Yuan, Win-Tsung Lo	A New Architecture for Integration of CORBA and OODB.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	integration, CORBA, transaction, object-oriented database, OMG, ODMG
11	Natalie Clark, Michele Banish, Heggere S. Ranganath	Smart adaptive optic systems using spatial light modulators.	IEEE Trans. Neural Networks	1999	DBLP DOI BibTeX RDF
11	Takeyuki Shimura, Masatoshi Yoshikawa, Shunsuke Uemura	Storage and Retrieval of XML Documents Using Object-Relational Databases.	DEXA	1999	DBLP DOI BibTeX RDF
11	Yi-Jen Chiu	A Perceptual-Based Video Coder for Error Resilience.	Data Compression Conference	1999	DBLP DOI BibTeX RDF
11	Boris Katz, Deniz Yuret, Jimmy Lin, Sue Felshin, Rebecca Schulman, Adnan Ilik, Ali Ibrahim, Philip Osafo-Kwaako	Integrating Web Resources and Lexicons into a Natural Language Query System.	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF
11	Ronald W. Mehler, M. Ray Mercer	Multi-Level Logic Minimization through Fault Dictionary Analysis.	ICCD	1999	DBLP DOI BibTeX RDF	optimization, logic minimization
11	Tamás Horváth 0001, Zoltán Alexin, Tibor Gyimóthy, Stefan Wrobel	Application of Different Learning Methods to Hungarian Part-of-Speech Tagging.	ILP	1999	DBLP DOI BibTeX RDF
11	Li Wang 0004, Wanlei Zhou 0001	A Tool for Constructing Service Replication Systems.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	Distributed System, Interface Definition Language, Service Replication
11	Robert Batusek, Jan Dvorák	Text Preprocessing for Czech Speech Synthesis.	TSD	1999	DBLP DOI BibTeX RDF
11	Richard Kelsey, William D. Clinger, Jonathan Rees	Revised5 Report on the Algorithmic Language Scheme.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	SCHEME
11	Elias N. Houstis, John R. Rice, Sanjiva Weerawarana, Ann Christine Catlin, P. N. Papachiou, Ko-Yang Wang, M. Gaitatzes	PELLPACK: A Problem-Solving Environment for PDE-Based Applications on Multicomputer Platforms.	ACM Trans. Math. Softw.	1998	DBLP DOI BibTeX RDF	PDE language, parallel reuse methodologies, sofeware bus, FORTRAN, knowledge bases, libraries, problem-solving environments, execution models, programming-in-the-large
11	Bozhidar Dimitrov, Vernon Rego	Arachne: A Portable Threads System Supporting Migrant Threads on Heterogeneous Network Farms.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	Heterogeneous thread migration, compile-time code transformations, C++, user-level threads
11	Terrence W. Pratt	Design of the GODIVA Performance Measurement System.	LCR	1998	DBLP DOI BibTeX RDF
11	Ira D. Baxter, Andrew Yahin, Leonardo Mendonça de Moura, Marcelo Sant'Anna, Lorraine Bier	Clone Detection Using Abstract Syntax Trees.	ICSM	1998	DBLP DOI BibTeX RDF	Design Maintenance System, Software maintenance, clone detection, software evaluation
11	Gerald Baumgartner, Vincent F. Russo	Implementing Signatures for C++.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	dispatch tables, opject interfaces, C++, C++, inheritance, polymorphism, subtyping
11	Jean-Marie Favre	A Rigorous Approach to Support the Maintenance of Large Portable Software.	CSMR	1997	DBLP DOI BibTeX RDF
11	Bozhidar Dimitrov, Vernon Rego	Arachne: A Portable Threads Library Supporting Migrant Threads on Heterogeneous Network Farms.	CANPC	1997	DBLP DOI BibTeX RDF
11	Witold Kosinski, Martyna Weigl	Expert system with an adaptive fuzzy inference module.	KES (2)	1997	DBLP DOI BibTeX RDF
11	Chun Wong, Albert Mo Kim Cheng	An approach for imprecise transmission of TIFF image files through congested real-time ATM networks.	LCN	1997	DBLP DOI BibTeX RDF	imprecise transmission, TIFF image file pre-processing, TIFF image file post-processing, congested real-time ATM networks, acceptable image quality, cell-loss rate, transmission overhead, image file content, fixed image files, ATM cells, received image quality, recovered image quality, real-time systems, network congestion, data recovery, image degradation, computational overhead
11	Roy Friedman, Maxim Goldin, Ayal Itzkovitz, Assaf Schuster	Millipede: Easy Parallel Programming in Available Distributed Environments (Extended Abstract).	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
11	Hans-Juergen Boehm	Simple Garbage-Collector-Safety.	PLDI	1996	DBLP DOI BibTeX RDF
11	C. P. Ravikumar, Mukul R. Prasad, Lavmeet S. Hora	Estimation of Power from Module-level Netlists.	VLSI Design	1996	DBLP DOI BibTeX RDF
11	David S. Rosenblum	A Practical Approach to Programming With Assertions.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Anna, APP, formal specifications, formal methods, C, programming environments, assertions, consistency checking, software faults, runtime checking
11	André Bakkers, Johan Sunter, Evert Ploeg	Automatic Generation of Scheduling and Communication Code in Real-Time Parallel Programs.	Workshop on Languages, Compilers, & Tools for Real-Time Systems	1995	DBLP DOI BibTeX RDF
11	Isambo Karali, Constantin Halatsis	A Refinement of Import/Export Declarations in Modular Logic Programming and its Semantics.	TAPSOFT	1995	DBLP DOI BibTeX RDF
11	Se-Jin Hwang, Myong-Soon Park	Efficient Software Data Prefetching for a Loop with Large Arrays.	Euro-Par	1995	DBLP DOI BibTeX RDF
11	Ole Agesen	The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism.	ECOOP	1995	DBLP DOI BibTeX RDF	concrete types, inheritance, polymorphism, type inference, Self, abstract types
11	Brian A. Box, John Nieznanski	Common processor element packaging for CHAMP.	FCCM	1995	DBLP DOI BibTeX RDF
11	Gérard Ramstein, Olivier Déforges, P. Bakowski	A Design Tool for the Specification and the Simulation of Array Processors Architectures - Application to Image Processing: The Extraction of Regions of Interests.	ASAP	1995	DBLP DOI BibTeX RDF
11	Prem R. Menon, Hitesh Ahuja, Mohan Harihara	Redundancy identification and removal in combinational circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
11	Cheng-Seen Ho, Chien-Chang Hsu	Neural-network-based blackboard demon subsystems.	Appl. Intell.	1993	DBLP DOI BibTeX RDF	knowledge-based systems, neural net architectures, Blackboard systems
11	Kazuki Ito, Masanori Hamamoto, Joarder Kamruzzaman, Yukio Kumagai	Invariant Object Recognition Using Fahlman and Lebiere's Learning Algorithm.	IWANN	1993	DBLP DOI BibTeX RDF
11	Richard P. Palmer, Peter Rounce	An Architecture for Implementing Control and Signal Processing Neural Networks.	IWANN	1993	DBLP DOI BibTeX RDF
11	Carl Weir, Rich Fritzson	UNISYS: description of the CBAS system used for MUC-5.	MUC	1993	DBLP DOI BibTeX RDF
11	Daniel Weise, Roger F. Crew	Programmable Syntax Macros.	PLDI	1993	DBLP DOI BibTeX RDF	C
11	Mark R. Simpson	PRIDE: an integrated design environment for semiconductor device simulation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
11	Richard C. Waters	Automatic Transformation of Series Expressions into Loops.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	series, streams, vectors, sequences
11	Bruno Legeard, Emmanuel Legros	Short Overview of the CLPS System.	PLILP	1991	DBLP DOI BibTeX RDF	Key-Words Logic Programming, set languages, constraints, Prolog, CLPS
11	Jerry R. Hobbs	SRI International: description of the TACITUS system as used for MUC-3.	MUC	1991	DBLP DOI BibTeX RDF
11	Michael Newberry	Minòs: Extended User Authentication.	AUSCRYPT	1990	DBLP DOI BibTeX RDF
11	Tzilla Elrad, N. Krishna Kumar, James R. Kenevan	Modeling distributed termination with pre-defined partial termination ordering.	SPDP	1990	DBLP DOI BibTeX RDF
11	Kenji Nishi, Kouichi Sakamoto, Shigeki Kuroda, Jun Ueda, Tatsurou Miyoshi, Shintaro Ushio	A general-purpose two-dimensional process simulator-OPUS for arbitrary structures.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
11	Wolfgang Borutzky	Combining Behavioral Block Diagram Modelling with Circuit Simulation.	EUROCAST	1989	DBLP DOI BibTeX RDF	mixed behavioral, circuit-level modelling, electrical macromodels, continuous system simulation, electronic control systems, circuit simulation, functional simulation, block diagrams, signal processing systems
11	Gail F. Halkias, Kevin D. Reilly	Human factors considerations in the design of a multiple source expert system for military applications (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
11	Wei Si Jiang, William G. Wee	A frame-based approach to hardware verification (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
11	Begonia Bi-Hsia Tai, Leonard H. Weiner	PCDEC, an interactive decision table system for personal computers (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
11	Leroy J. Dickey	Typesetting APL using TROFF.	APL	1987	DBLP DOI BibTeX RDF	APL
11	Christer Hultén	Simple dynamic assertions for interactive program validation.	AFIPS National Computer Conference	1984	DBLP DOI BibTeX RDF
11	David E. Boddy	A Style for Structured APL.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
11	Viswanathan Santhanam, John R. Potochnik	Data abstraction for Pascal programmers.	AFIPS National Computer Conference	1982	DBLP DOI BibTeX RDF
11	Burt M. Leavenworth	A Data Abstraction Approach to Database Modelling.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
11	Norihisa Suzuki, Kiyoshi Ishihata	Implementation of an Array Bound Checker.	POPL	1977	DBLP DOI BibTeX RDF
11	Robert C. Gammill	GPMX: a portable general purpose macro processor adapted for preprocessing FORTRAN.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF
11	Gruia-Catalin Roman, David Garfinkel, Carl B. Marbach	Memory conserving efficient methods for solving large sets of stiff differential equations.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF
11	Robert Balzer, David J. Farber	APAREL - A parse-request language.	Commun. ACM	1969	DBLP DOI BibTeX RDF	string processing, pattern matching, translator, syntax, symbol manipulation, text processing, parser, BNF, PL/I