The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1950-1960 (17) 1961-1964 (21) 1965-1967 (17) 1968 (16) 1969-1970 (16) 1971-1973 (28) 1974 (23) 1975 (19) 1976 (30) 1977 (30) 1978 (24) 1979 (34) 1980 (42) 1981 (33) 1982 (57) 1983 (44) 1984 (73) 1985 (74) 1986 (97) 1987 (145) 1988 (205) 1989 (136) 1990 (249) 1991 (200) 1992 (220) 1993 (264) 1994 (352) 1995 (401) 1996 (429) 1997 (586) 1998 (675) 1999 (997) 2000 (1296) 2001 (1511) 2002 (1854) 2003 (2221) 2004 (2911) 2005 (3589) 2006 (4250) 2007 (4442) 2008 (4500) 2009 (2776) 2010 (842) 2011 (519) 2012 (497) 2013 (599) 2014 (579) 2015 (584) 2016 (578) 2017 (546) 2018 (601) 2019 (626) 2020 (601) 2021 (644) 2022 (599) 2023 (561) 2024 (142)
Publication types (Num. hits)
article(11133) book(100) data(6) incollection(257) inproceedings(31745) phdthesis(175) proceedings(6)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 33830 occurrences of 11165 keywords

Results
Found 43425 publication records. Showing 43422 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
10Mengqiu Wang, Martin K. Purvis, Mariusz Nowostawski An Internal Agent Architecture Incorporating Standard Reasoning Components and Standards-based Agent Communication. Search on Bibsonomy IAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
10T. Hasan, Torsten Lehmann, Chee Yee Kwok A 5V charge pump in a standard 1.8-V 0.18-µm CMOS process. Search on Bibsonomy ISCAS (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
10Dan Stiurca A fully differential line driver with on-chip calibrated source termination for gigabit and fast Ethernet in a standard 0.13µ CMOS process. Search on Bibsonomy ISCAS (3) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
10Jung-Ho Kim, Dong Sam Ha, Jeffrey H. Reed A new reconfigurable modem architecture for 3G multi-standard wireless communication systems. Search on Bibsonomy ISCAS (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
10Dong-Jae Kang, Kangho Kim, Sung-In Jung, Hae-Young Bae TCP/IP Offload Engine Module Supporting Binary Compatibility for Standard Socket Interfaces. Search on Bibsonomy GCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
10Haigang Yang, Hongguang Sun, Jinghong Han, Jinbao Wei, Zengjin Lin, Shanhong Xia, Hua Zhong A pH-ISFET Based Micro Sensor System on Chip Using Standard CMOS Technology. Search on Bibsonomy IWSOC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Micro Sensor System, ISFET, CMOS, SOC
10Jim Hughes IEEE Standard for Encrypted Storage. Search on Bibsonomy Computer The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Sunil P. Khatri, Subarnarekha Sinha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli SPFD-based wire removal in standard-cell and network-of-PLA circuits. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Toshiya Yamauchi, Norimasa Yoshida, Jun Doi, Fujio Yamaguchi Efficient method of adaptive sign detection for 4 ast 4 determinants using a standard arithmetic processing unit. Search on Bibsonomy Vis. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Boolean set operation, Exact integer arithmetic, Solid modeling, Geometric algorithm
10Emrah Akyol, A. Murat Tekalp, M. Reha Civanlar Motion-compensated temporal filtering within the H.264/AVC standard. Search on Bibsonomy ICIP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Cristina Bazgan, Bruno Escoffier, Vangelis Th. Paschos Poly-APX- and PTAS-Completeness in Standard and Differential Approximation. Search on Bibsonomy ISAAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Claudine Chaouiya, Elisabeth Remy, Paul Ruet, Denis Thieffry Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Recep O. Ozdag, Peter A. Beerel A Channel Based Asynchronous Low Power High Performance Standard-Cell Based Sequential Decoder Implemented with QDI Templates. Search on Bibsonomy ASYNC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Erzsébet Csuhaj-Varjú Networks of Standard Watson-Crick D0 L Systems with Incomplete Information Communication. Search on Bibsonomy Theory Is Forever The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Damien Jamet On the Language of Standard Discrete Planes and Surfaces. Search on Bibsonomy IWCIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Mengjie Yu, A. Taleb-Bendiab, Denis Reilly 0001 A Polyarchical Middleware for Self-Regenerative Invocation of Multi-Standard Ubiquitous Services. Search on Bibsonomy ICWS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Hyeyoung Park, Masato Inoue, Masato Okada Learning Dynamics of Neural Networks with Singularity - Standard Gradient vs. Natural Gradient. Search on Bibsonomy PRICAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Charlotte A. Seckman, Carol Romano, Stephen Rosenfeld Standard Web-Based Clinical Radiology Images and Reports at the Point of Care. Search on Bibsonomy CBMS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Ron Steinfeld, Huaxiong Wang, Josef Pieprzyk Lattice-Based Threshold-Changeability for Standard Shamir Secret-Sharing Schemes. Search on Bibsonomy ASIACRYPT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Bran Selic On the Semantic Foundations of Standard UML 2.0. Search on Bibsonomy SFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Francisco Bueno, Pedro López-García 0001, Manuel V. Hermenegildo Multivariant Non-failure Analysis via Standard Abstract Interpretation. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Saeed Araban, A. S. M. Sajeev Reusability Analysis of Four Standard Object-Oriented Class Libraries. Search on Bibsonomy SERA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Marie-Odile Berger, René Anxionnat, Erwan Kerrien A Methodology for Validating a New Imaging Modality with Respect to a Gold Standard Imagery: Example of the Use of 3DRA and MRI for AVM Delineation. Search on Bibsonomy MICCAI (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Gerhard Nussbaum, Klaus Miesenberger SmartX - Enabling Traditional Environmental Control to Use Standard HCI. Search on Bibsonomy ICCHP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Mohsen Sharifi, Fatemeh Hashemi Golpaygani, Mehdi Esmaeli A new fractal-based approach for 3D visualization of mountains in VRML standard. Search on Bibsonomy GRAPHITE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF midpoint displacement, virtual reality, VRML, fractal, 3D visualization
10Lei Deng 0007, Wen Gao 0001, Ming-Zeng Hu, Zhenzhou Ji An Efficient VLSI Implementation for MC Interpolation of AVS Standard. Search on Bibsonomy PCM (3) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Gerasimos Xydas, Georgios Karberis, Georgios Kouroupetroglou Text Normalization for the Pronunciation of Non-standard Words in an Inflected Language. Search on Bibsonomy SETN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Pierre Wijkman, Mitra Wijkman, Suru Dissanaike Transparent Java standard extensions with native libraries on multiple platforms. Search on Bibsonomy PPPJ The full citation details ... 2003 DBLP  BibTeX  RDF multiple platforms, native libraries, Java
10Juan A. Garay, Carl Pomerance Timed Fair Exchange of Standard Signatures: [Extended Abstract]. Search on Bibsonomy Financial Cryptography The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Timed-release cryptography, timed commitments, blind signatures, contract signing
10Franco Carbognani, Christopher K. Lennard, C. Norris Ip, Allan Cochrane, Paul Bates Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard. Search on Bibsonomy DATE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
10Jordi Marco, Xavier Franch A framework for designing and implementing the Ada standard container library. Search on Bibsonomy SIGAda The full citation details ... 2003 DBLP  DOI  BibTeX  RDF access by position, container libraries, iterators, quality models
10Mathias Lux, Michael Granitzer, Vedran Sabol, Wolfgang Kienreich, Jutta Becker Topic Cascades: An Interactive Interface for Exploration of Clustered Web Search Results Based on the SVG Standard. Search on Bibsonomy KES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
10Siwei Ma, Wen Gao 0001, Peng Gao, Yan Lu 0001 Rate control for advance video coding (AVC) standard. Search on Bibsonomy ISCAS (2) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
10Soohyun Oh, Jin Kwak, Seungwoo Lee, Dongho Won Security Analysis and Applications of Standard Key Agreement Protocols. Search on Bibsonomy ICCSA (2) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
10Giacomo Bucci, Andrea Fedeli, Enrico Vicario Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools. Search on Bibsonomy SDL Forum The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
10Francisca Losavio, Dinarle Ortega, María A. Pérez Towards a Standard EAI Quality Terminology. Search on Bibsonomy SCCC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF QoS, ontology, software architecture, middleware, IT, EAI, quality model, ISO standards, ES
10Iain S. Duff, Michael A. Heroux, Roldan Pozo An overview of the sparse basic linear algebra subprograms: The new standard from the BLAS technical forum. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF computational kernels, sparse iterative methods, Algorithms, software, sparse matrices, sparse BLAS
10Susan K. Semancik, Annette M. Conger The Standard Autonomous File Server, a Customized, Off-The-Shelf Success Story. Search on Bibsonomy ICCBSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Alexander Boer, Rinke Hoekstra, Radboud Winkels, Tom M. van Engers, Frederik Willaert Proposal for a Dutch Legal XML Standard. Search on Bibsonomy EGOV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Nicoletta Calzolari, Antonio Zampolli, Alessandro Lenci Towards a Standard for a Multilingual Lexical Entry: The EAGLES/ISLE Initiative. Search on Bibsonomy CICLing The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Steven Morin, Israel Koren, C. Mani Krishna 0001 JMPI: Implementing the Message Passing Standard in Java. Search on Bibsonomy IPDPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Bruno von Niman, Catriona Chaplin, Jose-Antonio Collado-Vega, Lutz Groh, Scott McGlashan, Wally Mellors, David A. van Leeuwen "Do as I Say! . But Who Says What I Should Say - or Do?" On the Definition of a Standard Spoken Command Vocabulary for ICT Devices and Services. Search on Bibsonomy Mobile HCI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10E. Shen, J. B. Kuo 0.8 V CMOS content-addressable-memory (CAM) cell circuit with a fast tag-compare capability using bulk PMOS dynamic-threshold (BP-DTMOS) technique based on standard CMOS technology for low-voltage VLSI systems. Search on Bibsonomy ISCAS (4) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Markus Dickerhof, Peter Jakobs, Andreas Schmidt 0002 INFOFLOW: A Flexible Process-Oriented Workflow and Information System Based on Standard Office Products. Search on Bibsonomy HICSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF groupware, exception handling, ad hoc workflow
10Dejan Tomazevic, Bostjan Likar, Franjo Pernus "Gold Standard" 2D/3D Registration of X-Ray to CT and MR Images. Search on Bibsonomy MICCAI (2) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Witold A. Pleskacz, Tomasz Borejko, Wieslaw Kuzmicz CMOS Standard Cells Characterization for IDDQ Testing. Search on Bibsonomy DFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Terry Blanchard, Rick Ferreri, Jim Wilmore The OpenAccess Coalition - The Drive to an Open Industry Standard Information Model, API, and Reference Implementation for IC Design Data (invited). Search on Bibsonomy ISQED The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Bill Eklow, Carl Barnhart, Kenneth P. Parker IEEE P1149.6: A Boundary-Scan Standard for Advanced Digital Networks. Search on Bibsonomy ITC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Yun Shao 0002, Irith Pomeranz, Sudhakar M. Reddy Path Delay Fault Test Generation for Standard Scan Designs Using State Tuples. Search on Bibsonomy ASP-DAC/VLSI Design The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Duoduo Liao, Shiaofen Fang Fast volumetric CSG modeling using standard graphics system. Search on Bibsonomy Symposium on Solid Modeling and Applications The full citation details ... 2002 DBLP  DOI  BibTeX  RDF 3D scan conversion, object slicing, slice stack, slice sweeping, tree pruning, volume Scene Tree, volumetric CSG modeling, voxelization
10Mason J. Katz, Philip M. Papadopoulos, Greg Bruno Leveraging Standard Core Technologies to Programmatically Build Linux Cluster Appliances. Search on Bibsonomy CLUSTER The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Koichi Kurumatani, Azuma Ohuchi World Trade League as a Standard Problem for Multi-agent Economics - Concept and Background. Search on Bibsonomy JSAI Workshops The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
10Csaba J. Egyhazy On the Implementation of Standard Interface Specifications. Search on Bibsonomy CBMS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
10Bran Selic The Emerging Real-Time Standard. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
10Yanxiang He, Qiang Song, Qian Huang Extensions of Standard Z Refinement Relation for Multiple Viewpoints Oriented Requirements Method. Search on Bibsonomy TOOLS (39) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Implementation relation, Refinement relation, MVORM, State transition system
10Riccardo Poli, Nicholas Freitag McPhee Exact Schema Theorems for GP with One-Point and Standard Crossover Operating on Linear Structures and Their Application to the Study of the Evolution of Size. Search on Bibsonomy EuroGP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
10X. Fang Using a Coding Standard to Improve Program Quality. Search on Bibsonomy APAQS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
10Armin Hemmerling Standard Representations of Effective Metric Spaces. Search on Bibsonomy CCA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
10Rajnish K. Prasad, Israel Koren The Effect of Placement on Yield for Standard Cell Designs. Search on Bibsonomy DFT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
10Mark Richters, Martin Gogolla Validating UML Models and OCL Constraints. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
10S. Bauer, Johannes Kneip, T. Mlasko, Bernd Schmale, J. Vollmer, A. Hutter, Mladen Berekovic The MPEG-4 Multimedia Coding Standard: Algorithms, Architectures and Applications. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
10Matthias Blume Dependency analysis for Standard ML. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF compilation management, NP-completeness, dependency analysis
10Helena Handschuh, Serge Vaudenay A Universal Encryption Standard. Search on Bibsonomy Selected Areas in Cryptography The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
10Rung-Bin Lin, Isaac Shuo-Hsiu Chou, Chi-Ming Tsai Benchmark Circuits Improve the Quality of a Standard Cell Library. Search on Bibsonomy ASP-DAC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
10Shigeru Tazaki A Standard Protocol for an Autonomous, Decentralized Building Automation System. Search on Bibsonomy ISADS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
10Kent Wreder, Yi Deng 0001 Architecture-Centered Enterprise System Development and Integration Based on Distributed Object Technology Standard. Search on Bibsonomy COMPSAC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Distributed enterprise systems, Object Management Architecture (OMA), Common Object Request Broker Architecture (CORBA), healthcare information systems, distributed object technology
10John F. Sowa Conceptual Graph Standard and Extension. Search on Bibsonomy ICCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
10Marc Braun, Sybille Möhle Developing Complex Information Systems from Standard Software Components: A Case Study within Manufacturing Resource Planning (MRP II). Search on Bibsonomy HICSS (6) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
10Xianlong Hong, Tianxiong Xue, Jin Huang, Chung-Kuan Cheng, Ernest S. Kuh TIGER: an efficient timing-driven global router for gate array and standard cell layout design. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
10M. Reha Civanlar, Robert D. Gaglianello, Glenn L. Cash Efficient Multi-Resolution Multi-Stream Video Systems with Standard Codecs. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
10Guido Bologna, Christian Pellegrini Accurate Decomposition of Standard MLP Classification Responses into Symbolic Rules. Search on Bibsonomy IWANN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
10Arjen K. Lenstra Generating Standard DSA Signatures Without Long Inversion. Search on Bibsonomy ASIACRYPT The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
10Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini A Non-Standard Semantics for Generating Reduced Transition Systems. Search on Bibsonomy LOMAPS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
10Weitong Chuang, Sachin S. Sapatnekar, Ibrahim N. Hajj Timing and area optimization for standard-cell VLSI circuit design. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
10Derick Wood Standard Generalized Markup Language: Mathematical and Philosophical Issues. Search on Bibsonomy Computer Science Today The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
10Andreas Henrich, Jens Möller Extending a Spatial Access Structure to Support Additional Standard Attributes. Search on Bibsonomy SSD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
10Jason Cong, Bryan Preas, C. L. Liu 0001 Physical models and efficient algorithms for over-the-cell routing in standard cell design. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
10Don Syme Reasoning with the Formal Definition of Standard ML in HOL. Search on Bibsonomy HUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
10Nasser Kettani, Vincent Celier Toward a Secondary Standard for Hard Real-Time Ada: The Real-Time Rapporteur Group (ISO/JTC1/SC22/WG9/RRG) JTC 1.22.35. Search on Bibsonomy Ada-Europe The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
10Robert F. Mathis Progress of Ada as an International Standard: ISO/IEC JTC1/SC22 WG9 Ada Status. Search on Bibsonomy Ada-Europe The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
10P. David Coward Path feasibility, linear optimizers and the evaluate standard form. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
10John N. Pocock VSF and Its Relationship to Open Systems and Standard Repositories. Search on Bibsonomy Software Development Environments and CASE Technology The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
10Andrew W. Appel, David B. MacQueen Standard ML of New Jersey. Search on Bibsonomy PLILP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
10Graeme I. P. Parkin, G. O'Neill Specification of the MAA Standard in VDM. Search on Bibsonomy VDM Europe (1) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
10Ronald L. Rivest On NIST's Proposed Digital Signature Standard. Search on Bibsonomy ASIACRYPT The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
10Jonathan Rose Parallel global routing for standard cells. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
10R. Ghosh-Roy An Extended Type Generalization of Standard ML Polymorphism (Abstract). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1990 DBLP  DOI  BibTeX  RDF ML
10Marc Giusti Complexity of Standard Bases in Projective Dimension Zero II. Search on Bibsonomy AAECC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
10David W. Matula Design of a highly parallel IEEE standard floating point unit: the Cyrix 83D87 coprocessor. Search on Bibsonomy SPDP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
10Peter B. Henderson, Francisco J. Romero Teaching recursion as a problem-solving tool using standard ML. Search on Bibsonomy SIGCSE The full citation details ... 1989 DBLP  DOI  BibTeX  RDF ML
10Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
10Jonathan Rose LocusRoute: A Parallel Global Router for Standard Cells. Search on Bibsonomy DAC The full citation details ... 1988 DBLP  BibTeX  RDF
10Dominique Clément The Natural Dynamic Semantics of Mini-Standard ML. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
10Terence J. Reed Functional programming, the IEEE floating point standard and APL. Search on Bibsonomy APL The full citation details ... 1987 DBLP  DOI  BibTeX  RDF APL
10Ralph-Michael Kling, Prithviraj Banerjee ESP: A New Standard Cell Placement Package Using Simulated Evolution. Search on Bibsonomy DAC The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
10Mark R. Hartoog Analysis of placement procedures for VLSI standard cell layout. Search on Bibsonomy DAC The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
10C. P. Hsu, B. N. Tien, K. Chow, R. A. Perry, J. Tang ALPS2: a standard cell layout system for double-layer metal technology. Search on Bibsonomy DAC The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
10James E. Jackson The role of the user at standard oil company (Indiana) in the development of large-scale business systems. Search on Bibsonomy AFIPS National Computer Conference The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
10John B. Bowen Standard error classification to support software reliability assessment. Search on Bibsonomy AFIPS National Computer Conference The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
10Margaret M. Cook, George N. Baird, William M. Holmes, Patrick M. Hoyt, L. Arnold Johnson, Paul Oliver An overview of the 1974 COBOL standard. Search on Bibsonomy AFIPS National Computer Conference The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
Displaying result #901 - #1000 of 43422 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][19][>>]
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