The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for preprocessor with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1967-1977 (17) 1978-1981 (17) 1982-1986 (18) 1987-1989 (18) 1990-1991 (16) 1992-1994 (20) 1995-1996 (21) 1997-1998 (21) 1999 (15) 2000 (17) 2001 (15) 2002 (25) 2003 (15) 2004 (26) 2005 (23) 2006 (20) 2007 (23) 2008 (23) 2009 (24) 2010-2011 (18) 2012-2014 (21) 2015-2016 (18) 2017-2018 (24) 2019-2022 (24) 2023-2024 (9)
Publication types (Num. hits)
article(141) incollection(1) inproceedings(341) phdthesis(5)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 378 occurrences of 300 keywords

Results
Found 488 publication records. Showing 488 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
19Lawrence E. Gales Structured FORTRAN with no preprocessor. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
19Brian W. Kernighan RATFOR-A Preprocessor for a Rational Fortran. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
19B. M. Schwartz Design and implementation of PL/I preprocessor-based systems. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1972 DBLP  DOI  BibTeX  RDF
19Robert F. Sterbenz Tabsol decision table preprocessor. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1971 DBLP  DOI  BibTeX  RDF
19Michael F. Weisbard Detap/55: a decision table preprocessor for generating single-paragraph, fully-nested Cobol code. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1971 DBLP  DOI  BibTeX  RDF
19David B. Loveman, John A. Moyne, Robert G. Tobey CUE: A Preprocessor for Restricted, Natural English. Search on Bibsonomy SIGIR The full citation details ... 1971 DBLP  DOI  BibTeX  RDF
19James E. Vander Mey, Robert C. Varney, Robert E. Patchen SYMPLE: a general syntax directed macro preprocessor. Search on Bibsonomy AFIPS Fall Joint Computing Conference The full citation details ... 1969 DBLP  DOI  BibTeX  RDF
19M. R. Hartz Optimizing a Video Preprocessor for OCR. Search on Bibsonomy IJCAI The full citation details ... 1969 DBLP  BibTeX  RDF
19F. R. A. Hopgood, A. G. Bell The Atlas ALGOL Preprocessor for Non-Standard Dialects. Search on Bibsonomy Comput. J. The full citation details ... 1967 DBLP  DOI  BibTeX  RDF
11Sunyoung Kim, Masakazu Kojima, Philippe L. Toint Recognizing underlying sparsity in optimization. Search on Bibsonomy Math. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 90C30, 65K05, 90C22
11Mark R. P. Thomas, Patrick A. Naylor The SIGMA Algorithm: A Glottal Activity Detector for Electroglottographic Signals. Search on Bibsonomy IEEE Trans. Speech Audio Process. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
11Marc Delcroix, Tomohiro Nakatani, Shinji Watanabe 0001 Static and Dynamic Variance Compensation for Recognition of Reverberant Speech With Dereverberation Preprocessing. Search on Bibsonomy IEEE Trans. Speech Audio Process. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
11Baris Aktemur, Sam Kamin A comparative study of techniques to write customizable libraries. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF library specialization, program generation, feature-oriented programming
11Nisachol Chamnongsri, Lampang Manmart, Vilas Wuwongse Implementation and evaluation of palm leaf manuscript metadata schema (PLMM). Search on Bibsonomy JCDL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF metadata schema, palm leaf manuscript, cultural heritage
11Kumaresh Singh, Paul Eller, Adrian Sandu, Daven Henze, Kevin W. Bowman, Monika Kopacz, Meemong Lee Towards the construction of a standard adjoint GEOS-Chem model. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  DOI  BibTeX  RDF global chemistry and transport, data assimilation, adjoints, inverse modeling
11M. Zubair Shafiq, S. Momina Tabish, Fauzan Mirza, Muddassar Farooq PE-Miner: Mining Structural Information to Detect Malicious Executables in Realtime. Search on Bibsonomy RAID The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Malicious Executable Detection, Portable Executables, Data Mining, Malware Detection, Structural Information
11Eduardo Carrillo Zambrano, Alexander Aristizábal Peñaloza Artificial vision to assure coffee-Excelso beans quality. Search on Bibsonomy EATIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mahalonobis, ajuste de elipse, image processing, image segmentation, flood
11Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra The architecture of the Utrecht Haskell compiler. Search on Bibsonomy Haskell The full citation details ... 2009 DBLP  DOI  BibTeX  RDF compiler architecture, haskell, attribute grammar, aspect orientation
11Luca Pulina, Armando Tacchella Hard QBF Encodings Made Easy: Dream or Reality? Search on Bibsonomy AI*IA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
11David F. Brailsford Automated re-typesetting, indexing and contentenhancement for scanned marriage registers. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2009 DBLP  DOI  BibTeX  RDF GEDCOM, hyper-linking, re-typesetting, troff, indexing, OCR, genealogy
11Kiran H. Shivanna, Nicole M. Grosland, M. E. Russell, D. R. Pedersen Diarthrodial joint contact models: finite element model development of the human hip. Search on Bibsonomy Eng. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Patient-specific models, Hip joint, Finite element
11Mahdi Fazeli, Reza Farivar 0003, Seyed Ghassem Miremadi Error Detection Enhancement in PowerPC Architecture-based Embedded Processors. Search on Bibsonomy J. Electron. Test. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Physical fault injection, Power supply disturbances, Concurrent error detection, Control flow checking
11Marco Masseroli, Mario Marchente X-PAT: A Multiplatform Patient Referral Data Management System for Small Healthcare Institution Requirements. Search on Bibsonomy IEEE Trans. Inf. Technol. Biomed. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
11Volodya Grancharov, Jan H. Plasberg, Jonas Samuelsson, W. Bastiaan Kleijn Generalized Postfilter for Speech Quality Enhancement. Search on Bibsonomy IEEE Trans. Speech Audio Process. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
11Isabelle Jars, Franck Panaget Improving Spoken Language Understanding with information retrieval and active learning methods. Search on Bibsonomy ICASSP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
11Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, José F. Morales 0001, Germán Puebla An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. Search on Bibsonomy Concurrency, Graphs and Models The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
11Panagiotis Afratis, Euripides Sotiriades, Grigorios Chrysos 0001, Sotiria Fytraki, Dionisios N. Pnevmatikatos A rate-based prefiltering approach to blast acceleration. Search on Bibsonomy FPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
11Supasit Monpratarnchai, Tetsuo Tamai The Implementation and Execution Framework of a Role Model Based Language, EpsilonJ. Search on Bibsonomy SNPD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Collaboration, Adaptation, Object, Role
11Benoit Gosselin, Mohamad Sawan An ultra low-power CMOS action potential detector. Search on Bibsonomy ISCAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
11Guojun Zhang An Improved Hypertension Prediction Model Based on RS and SVM in the Three Gorges Area. Search on Bibsonomy CSSE (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
11Tao Zhang Ansys Second Development Method and Application in Transient Thermal Simulation. Search on Bibsonomy CSSE (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
11Fei Yuan, Yue Chen, Husheng Liao XQC: A Compiler for XQuery. Search on Bibsonomy CSSE (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
11Mikel Egaña, Alan L. Rector, Robert Stevens 0001, Erick Antezana Applying Ontology Design Patterns in Bio-ontologies. Search on Bibsonomy EKAW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
11Diomidis Spinellis A tale of four kernels. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF opensolaris, proprietary software, wrk, open source, linux, comparison, freebsd
11Jihong Liu, Weina Ma, Soo-Young Lee A Segmentation Method Based on Dynamic Programming for Breast Mass in MRI Images. Search on Bibsonomy ICMB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
11Jian-guo Zhou, Tao Bai, Ji-ming Tian The Integrated Methodology of KPCA and Wavelet Support Vector Machine for Predicting Financial Distress. Search on Bibsonomy ADMA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Financial Distress, Wavelet Support Vector Machine, Kernel Principal Component Analysis
11Rafael Ruiz-Sautua, María C. Molina, Jose Manuel Mendias Exploiting Bit-Level Delay Calculations to Soften Read-After-Write Dependences in Behavioral Synthesis. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
11Douglas P. Gregor, Jaakko Järvi Variadic templates for C++. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF template metaprogramming, variadic arguments, parametric polymorphism, C++ templates
11Pradeep Varma Generalizing recognition of an individual dialect in program analysis and transformation. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF commutative transforms, dialect recognition, location anchors, map, corrections, errors, merging
11Sudhir G. Akojwar, Rajendra M. Patrikar Classification Techniques with Cooperative Routing for Industrial Wireless Sensor Networks. Search on Bibsonomy SCSS (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Visual sence, Clustering, WSN, Neural Network, Classification, DWT, Ptolemy-II
11Joseph Gil, Keren Lenz Simple and safe SQL queries with c++ templates. Search on Bibsonomy GPCE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF structural type equivalence, template programming, databases, C++, domain specific languages, relational algebra, embedded languages
11Mario Ignacio Chacon Murguia, Alejandro S. Zimmerman, Pablo Rivas P. Image Processing Applications with a PCNN. Search on Bibsonomy ISNN (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
11Hung-Hsu Tsai Decision-Based Hybrid Image Watermarking in Wavelet Domain Using HVS and Neural Networks. Search on Bibsonomy ISNN (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
11Jeremy Yallop Practical generic programming in OCaml. Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF generic programming, deriving, OCaml
11Dirk Colbry, George C. Stockman Canonical Face Depth Map: A Robust 3D Representation for Face Verification. Search on Bibsonomy CVPR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
11Xiaowen Li, Xiang Xie, Xinkai Chen, Guolin Li, Li Zhang 0023, Zhihua Wang 0001, Hong Chen 0002 Design and Implementation of a Low Complexity Near-lossless Image Compression Method for Wireless Endoscopy Capsule System. Search on Bibsonomy ISCAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
11Peter Luethi, Andreas Burg, Simon Haene, David Perels, Norbert Felber, Wolfgang Fichtner VLSI Implementation of a High-Speed Iterative Sorted MMSE QR Decomposition. Search on Bibsonomy ISCAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
11William C. Benton, Charles N. Fischer Interactive, scalable, declarative program analysis: from prototype to implementation. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF tabled prolog, java, logic programming, prototyping, program analysis, bytecodes
11Jennifer Baldwin, Yvonne Coady Adaptive Systems Require Adaptive Support--When Tools Attack! Search on Bibsonomy HICSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
11Lin Shang 0001, Shaoyue Yu, Xiuyi Jia, Yangsheng Ji ROGAND: A Discretization Model. Search on Bibsonomy FSKD (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
11Victor S. Sheng, Charles X. Ling Roulette Sampling for Cost-Sensitive Learning. Search on Bibsonomy ECML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF data mining, machine learning, classification, decision trees, cost-sensitive learning, meta-learning
11Kazuya Haraguchi, Hiroshi Nagamochi Extension of ICF Classifiers to Real World Data Sets. Search on Bibsonomy IEA/AIE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF iteratively composed features, machine learning, classification, discretization
11Kenneth E. Hild II, Deniz Erdogmus, Kari Torkkola, José C. Príncipe Feature Extraction Using Information-Theoretic Learning. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF classification, Feature extraction, information theory, nonparametric statistics
11Joon-Hyuk Chang, Nam Soo Kim A new structural approach in system identification with generalized analysis-by-synthesis for robust speech coding. Search on Bibsonomy IEEE Trans. Speech Audio Process. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
11Christian Buckl, Alois C. Knoll, Gerhard Schrott Model-Based Development of Fault-Tolerant Embedded Software. Search on Bibsonomy ISoLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
11Farn Wang REDLIB for the Formal Verification of Embedded Systems. Search on Bibsonomy ISoLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
11Gerhard W. Zumbusch Data Parallel Iterators for Hierarchical Grid and Tree Algorithms. Search on Bibsonomy Euro-Par The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
11Ying Guo, Tianshuang Qiu Robust Multiuser Detection Method Based on Neural-net Preprocessing in Impulsive Noise Environment. Search on Bibsonomy ISNN (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
11Alex 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. Search on Bibsonomy FCCM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
11Rafal Kapela, Andrzej Rybarczyk The Neighboring Pixel Representation for Efficient Binary Image Processing Operations. Search on Bibsonomy PARELEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
11Philipp Miehe, Adrian Sandu Forward, Tangent Linear, and Adjoint Runge-Kutta Methods in KPP-2.2. Search on Bibsonomy International Conference on Computational Science (3) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
11Ruofeng Tong 0001, Shenghui Liao, Jinxiang Dong Optimization Technique and FE Simulation for Lag Screw Placement in Anterior Column of the Acetabulum. Search on Bibsonomy International Conference on Computational Science (4) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
11Sean W. Mulvenon, Kening Wang Integration of GIS and educational achievement data for education policy analysis and decision-making. Search on Bibsonomy DG.O The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
11Boyun Zhang, Jianping Yin, Jingbo Hao Using RS and SVM to Detect New Malicious Executable Codes. Search on Bibsonomy RSKT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF support vector machine, Rough set, malicious code
11Richard Carlsson, Mickaël Rémond EUnit: a lightweight unit testing framework for Erlang. Search on Bibsonomy Erlang Workshop The full citation details ... 2006 DBLP  DOI  BibTeX  RDF frameworks, unit testing, Erlang, agile methods
11Koji Kagawa Polymorphic variants in Haskell. Search on Bibsonomy Haskell The full citation details ... 2006 DBLP  DOI  BibTeX  RDF polymorphic variants, Haskell, extensibility, type classes
11Tao Xie 0001, Jian Pei MAPO: mining API usages from open source repositories. Search on Bibsonomy MSR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF program comprehension, application programming interfaces, mining software repositories
11James Macnicol, John F. Arnold, Michael R. Frater Scalable video coding by stream morphing. Search on Bibsonomy IEEE Trans. Circuits Syst. Video Technol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Richard Pon, Maxim A. Batalin, Jason Gordon, Aman Kansal, Duo Liu, Mohammad H. Rahimi, Lisa Shirachi, Yan Yu, Mark H. Hansen, William J. Kaiser, Mani B. Srivastava, Gaurav S. Sukhatme, Deborah Estrin Networked infomechanical systems: a mobile embedded networked sensor platform. Search on Bibsonomy IPSN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Bin Cui 0001, Anirban Mondal, Jialie Shen 0001, Gao Cong, Kian-Lee Tan On Effective E-mail Classification via Neural Networks. Search on Bibsonomy DEXA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Chang-Woo Lee, Keechul Jung NMF-Based Approach to Font Classification of Printed English Alphabets for Document Image Understanding. Search on Bibsonomy MDAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Celina Gibbs, Chunjian Robin Liu, Yvonne Coady Sustainable System Infrastructure and Big Bang Evolution: Can Aspects Keep Pace? Search on Bibsonomy ECOOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Steffen Priebe Preprocessing Eden with Template Haskell. Search on Bibsonomy GPCE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Mahdi Fazeli, Reza Farivar 0003, Seyed Ghassem Miremadi A Software-Based Concurrent Error Detection Technique for PowerPC Processor-based Embedded Systems. Search on Bibsonomy DFT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Han Bei Bei Cindy, Narendra S. Chaudhari, Jagdish Chandra Patra Design of a Virtual Shopping Mall: Some Observations. Search on Bibsonomy CW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Changhee Jung, Daeseob Lim, Jaejin Lee, Sangyong Han Adaptive execution techniques for SMT multiprocessor architectures. Search on Bibsonomy PPoPP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF simultaneous multi-threading, compilers, performance estimation, performance counters, adaptive execution
11Michael Attig, John W. Lockwood SIFT: Snort Intrusion Filter for TCP. Search on Bibsonomy Hot Interconnects The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Elvira Albert, Germán Puebla, John P. Gallagher Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. Search on Bibsonomy LOPSTR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Xiaokang Yang, Weisi Lin, Zhongkang Lu, Ee Ping Ong, Susu Yao Perceptually-adaptive pre-processing for motion-compensated residue in video coding. Search on Bibsonomy ICIP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
11Elvira Albert, Germán Puebla, Manuel V. Hermenegildo Abstraction-Carrying Code. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
11Jaehyung Yang Phrase Chunking for Efficient Parsing in Machine Translation System. Search on Bibsonomy MICAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
11Matthew Rosing, Jarek Nieplocha, Steve Yabusaki Toward Efficient Compilation of User-Defined Extensible Fortran Directives. Search on Bibsonomy HIPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
11Jan Christiansen, Frank Huch Searching for deadlocks while debugging concurrent haskell programs. Search on Bibsonomy ICFP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF concurrent haskell, detecting deadlocks, debugging, deadlock
11Niklas Broberg, Andreas Farre, Josef Svenningsson Regular expression patterns. Search on Bibsonomy ICFP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF pattern matching, haskell, regular expressions
11Sathiamoorthy Subbarayan, Dhiraj K. Pradhan NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances. Search on Bibsonomy SAT (Selected Papers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
11Elvira Albert, Germán Puebla, Manuel V. Hermenegildo Experiments in abstract interpretation-based code certification for pervasive systems. Search on Bibsonomy SMC (2) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
11Chien-Sing Lee, Yashwant Prasad Singh Student Modeling Using Principal Component Analysis of SOM Clusters. Search on Bibsonomy ICALT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF adaptive hypermedia learning systems, principal component analysis, SOM, student modeling
11James R. Ezick An optimizing compiler for batches of temporal logic formulas. Search on Bibsonomy ISSTA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF model checking, temporal logic, optimizing compiler
11François Toussenel Ambiguous Supertagging Using a Feature Structure. Search on Bibsonomy TSD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
11Daniel S. Bogaard, Ronald P. Vullo, Christopher D. Cascioli SVG for educational simulations. Search on Bibsonomy SIGITE Conference The full citation details ... 2004 DBLP  DOI  BibTeX  RDF instructional software, simulations, animation, scalable vector graphics
11Germán Puebla, Elvira Albert, Manuel V. Hermenegildo Efficient Local Unfolding with Ancestor Stacks for Full Prolog. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
11Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey A Generic Framework for Context-Sensitive Analysis of Modular Programs. Search on Bibsonomy Program Development in Computational Logic The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
11Germán Puebla, Manuel V. Hermenegildo Abstract specialization and its applications. Search on Bibsonomy PEPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF logic programming, static analysis, abstract interpretation, partial evaluation, program optimization, program specialization, program parallelization
11Rajesh Venkatasubramanian, John P. Hayes, Brian T. Murray Low-Cost On-Line Fault Detection Using Control Flow Assertions. Search on Bibsonomy IOLTS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
11Alejandra Garrido 0001, Ralph E. Johnson Refactoring C with Conditional Compilation. Search on Bibsonomy ASE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
11Gabriele Kodydek, Martin Schönhacker Si3Trenn and Si3Silb: Using the SiSiSi Word Analysis System Pre-hyphenation and Syllable Counting in German Documents. Search on Bibsonomy TSD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
11Jun-il Sohn, Minho Lee Selective Noise Cancellation Using Independent Component Analysis. Search on Bibsonomy ICANN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
11Jean-Marie Favre CPP Denotational Semantics. Search on Bibsonomy SCAM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
11Chang-Woo Lee, Hyun Kang, Keechul Jung, Hang Joon Kim Font Classification Using NMF. Search on Bibsonomy CAIP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
11Alan Mishchenko, Tsutomu Sasao Large-scale SOP minimization using decomposition and functional properties. Search on Bibsonomy DAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF SOP minimization, disjoint-support decomposition, orthodox functions, BDDs, divide-and-conquer strategy
Displaying result #301 - #400 of 488 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license