The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1958-1966 (15) 1967-1969 (24) 1970-1971 (15) 1972-1973 (21) 1974 (17) 1975 (18) 1976 (20) 1977 (23) 1978 (30) 1979 (17) 1980 (18) 1981 (19) 1982 (34) 1983 (44) 1984 (30) 1985 (42) 1986 (43) 1987 (54) 1988 (75) 1989 (74) 1990 (104) 1991 (120) 1992 (94) 1993 (143) 1994 (159) 1995 (198) 1996 (178) 1997 (247) 1998 (253) 1999 (265) 2000 (358) 2001 (373) 2002 (409) 2003 (536) 2004 (605) 2005 (692) 2006 (813) 2007 (784) 2008 (848) 2009 (681) 2010 (463) 2011 (491) 2012 (471) 2013 (556) 2014 (575) 2015 (575) 2016 (609) 2017 (649) 2018 (696) 2019 (776) 2020 (760) 2021 (875) 2022 (909) 2023 (975) 2024 (227)
Publication types (Num. hits)
article(6602) book(20) data(8) incollection(149) inproceedings(11023) phdthesis(285) proceedings(13)
Venues (Conferences, Journals, ...)
CoRR(1131) IECON(307) IEEE Trans. Ind. Electron.(297) ICRA(295) IROS(276) IEEE Access(252) IEEE Trans. Computers(160) IACR Cryptol. ePrint Arch.(141) JMLC(110) Sensors(98) ROBIO(83) ETFA(78) WSC(77) ISCAS(75) IJCNN(74) ICIT(66) More (+10 of total 3855)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7000 occurrences of 3406 keywords

Results
Found 18100 publication records. Showing 18100 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
10Nitin H. Vaidya, Dhiraj K. Pradhan Fault-Tolerant Design Strategies for High Reliability and Safety. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1993 DBLP  DOI  BibTeX  RDF fault-tolerant design strategies, modular redundant systems, multiple identical modules, built-in error detection, fault tolerant computing, redundancy, safety, error detection, arbiter, computer interfaces, high reliability
10Amitava Dutta, Sabyasachi Mitra Integrating Heuristic Knowledge and Optimization Models for Communications Network Design. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF communication network design, heuristic design knowledge, TMS, dependency-directed backtracking mechanism, hybrid tool, modular structure, incremental refinement, truth maintenance, CAD, knowledge based systems, decision support systems, computer networks, telecommunications computing, optimization models, blackboard, blackboard architecture, justification, topological design, truth maintenance system, computer communication networks
10Michel Wermelinger, Alex Bejan Conceptual Structures for Modeling in CIM. Search on Bibsonomy ICCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF PDES/STEP, model management system, EXPRESS language, modular knowledge bases, Computer Integrated Manufacturing
10Benjamin Arazi A Circular Binary Search. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1992 DBLP  DOI  BibTeX  RDF circular binary search, ordered linear array, circular array, digital arithmetic, codes, search problems, modular arithmetic, parity, Hamming weight, binary representation
10Giuseppe Alia, Enrico Martinelli A VLSI Modulo m Multiplier. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1991 DBLP  DOI  BibTeX  RDF modulo m multiplier, residue multiplier, computational complexity, VLSI, VLSI, digital arithmetic, modular multiplications
10Belle W. Y. Wei, Clark D. Thompson Area-Time Optimal Adder Design. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1990 DBLP  DOI  BibTeX  RDF area-time optimal adder design, VLSI parallel adder, component cells, static CMOS, floating-point processor, 66 bit, VLSI, dynamic programming, dynamic programming, logic design, digital arithmetic, adders, CMOS integrated circuits, modular design
10Franco P. Preparata, Jean Vuillemin Practical Cellular Dividers. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1990 DBLP  DOI  BibTeX  RDF parallel division algorithms, nonrestoring online division methods, divider/multiplier, RSA cryptography, greatest common divisor computations, parallel algorithms, signal processing, digital arithmetic, modular arithmetic, redundant representations, floating-point units, dividing circuits, signed, systolic, digit-serial multiplier
10Bernhard Josko A Context Dependent Equivalence Relation Between Kripke Structures. Search on Bibsonomy CAV The full citation details ... 1990 DBLP  DOI  BibTeX  RDF temporal logic, bisimulation, reactive systems, modular specification, hierarchical design, Kripke structures
10Arturo I. Concepcion A Hierarchical Computer Architecture for Distributed Simulation. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1989 DBLP  DOI  BibTeX  RDF hierarchical computer architecture, modular discrete-event models, hierarchical multibus multiprocessor architecture, distributed processing, computer architecture, multiprocessing systems, distributed simulation
10Vladimir Cherkassky, Miroslaw Malek Partitioning and Permuting Properties of CC-Banyan Networks. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1989 DBLP  DOI  BibTeX  RDF permuting properties, CC-banyan networks, modular structure, graph theory, partitioning, multiprocessor interconnection networks, multicomputer network, graph-theoretic approach
10Manoj Kumar, Daniel M. Dias, J. Robert Jump Switching Strategies in Shuffle-Exchange Packet-Switched Networks. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1985 DBLP  DOI  BibTeX  RDF shuffle connection, parallel processing, Interconnection networks, packet switching, modular computing systems
10W. Kenneth Jenkins The Design of Error Checkers for Self-Checking Residue Number Arithmetic. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1983 DBLP  DOI  BibTeX  RDF Digital processors, self-checking arithmetic, fault tolerance, modular arithmetic, special purpose hardware, residue arithmetic
10Fred J. Taylor A VLSI Residue Arithmetic Multiplier. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1982 DBLP  DOI  BibTeX  RDF multiplication, Modular arithmetic, residue arithmetic
10Vojin G. Oklobdzija, Milos D. Ercegovac A On-Line Square Root Algorithm. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1982 DBLP  DOI  BibTeX  RDF Floating-point square root algorithm, modular LSI/VLSI implementation, redundant number systems, on-line arithmetic
10John C. Sutton, Jon G. Bredeson Minimal Redundant Logic for High Reliability and Irredundant Testability. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1980 DBLP  DOI  BibTeX  RDF Completely testable for single and multiple faults, control inputs and outputs, multilevel fan out free circuits, redundant connections, static logic hazard, triple modular redundancy
10David Paul Maher On Fourier Transforms Over Extensions of Finite Rings. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1980 DBLP  DOI  BibTeX  RDF Fast convolution, finite computation structures, generalized discrete Fourier transforms, modular ring extensions, FFT, two-dimensional digital filtering
10Richard W. Heuft, Warren D. Little Convolution Computer. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1980 DBLP  DOI  BibTeX  RDF modular structure signal processor, Convolution, fast algorithm, large-scale integration (LSI)
10Stephen Y. H. Su, Edgar DuCasse A Hardware Redundancy Reconfiguration Scheme for Tolerating Multiple Module Failures. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1980 DBLP  DOI  BibTeX  RDF hybrid redundancy, multiple failures, redundancy scheme, self- repair systems, Fault-tolerant computing, system design, multiple-valued logic, fault-tolerant systems, fault-tolerant design, N-modular redundancy
10David P. Casasent, Peter D. Rapp System Functions for an Optical/Digital Processor. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1978 DBLP  DOI  BibTeX  RDF register transfer modules, Hybrid processor, modular optical/digital interface, optical/digital processor, image processing, optical computing, radar signal processing
10Gerard G. L. Meyer, Gerald M. Masson An Efficient Fault Diagnosis Algorithm for Symmetric Multiple Processor Architectures. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1978 DBLP  DOI  BibTeX  RDF modular networks, fault syndromes, microprocessor, Diagnosis algorithm
10Eric Dubois 0002, Anastasios N. Venetsanopoulos The Discrete Fourier Transform Over Finite Rings with Application to Fast Convolution. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1978 DBLP  DOI  BibTeX  RDF fast convolution, finite computation structures, generalized discrete Fourier transform, FFT, Digital filtering, modular arithmetic, number theoretic transforms
10Giacomo Cioffi Autotesting Speed-Independent Sequential Circuits. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1978 DBLP  DOI  BibTeX  RDF speed-independent network, Autotesting, sequential network, modular, machine, self-synchronizing, fail safe
10Mary Shaw, Gary Feldman, Robert Fitzgerald, Paul N. Hilfinger, Izumi Kimura, Ralph L. London, Jonathan Rosenberg, William A. Wulf Validating The Utility Of Abstraction Techniques. Search on Bibsonomy ACM Annual Conference (1) The full citation details ... 1978 DBLP  DOI  BibTeX  RDF Abstraction and representation, Verification, Formal specification, Validation, Programming languages, Correctness, Types, Abstract data types, Encapsulation, Programming methodology, Proofs of correctness, Modular decomposition
10Stephen H. Unger Tree Realizations of Iterative Circuits. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1977 DBLP  DOI  BibTeX  RDF conditional sum, flow tables, high speed arithmetic units, iterative circuits, modular circuits, semi-groups, tree circuits, synthesis, combinational circuits, Adders, carry lookahead, binary adders
10Theodore F. Tabloski, Frederic J. Mowle A Numerical Expansion Technique and Its Application to Minimal Multiplexer Logic Circuits. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1976 DBLP  DOI  BibTeX  RDF Implicitly exhaustive search, logic design automation, minimization algorithm, modular logic arrays, multiplexer universal logic module (MULM), Shannon's expansion, universal logic module (ULM), multiplexer, numerical technique
10Barry K. Gilbert, Martin T. Storma, Carl E. James, Leon W. Hobrock, Edward S. Yang, Keith C. Ballard, Earl H. Wood A Real-Time Hardware System for Digital Processing of Wide-Band Video Images. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1976 DBLP  DOI  BibTeX  RDF digital communications interface, high-speed memory accessing, modular digital system, pipeline arithmetic processing, slaved computer, wide-band video, image manipulation, A/D conversion
10Dhiraj K. Pradhan, Arvind M. Patel Reed-Muller Like Canonic Forms for Multivalued Functions. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1975 DBLP  DOI  BibTeX  RDF Generalized Reed-Muller code (GRMC), modular algebra, postalgebra, power of a prime valued logic, multivalued logic, Reed-Muller expansion
10Daniel P. Siewiorek Reliability Modeling of Compensating Module Failures in Majority Voted Redundancy. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1975 DBLP  DOI  BibTeX  RDF Compensating module failures, mission time improvement, triple modular redundancy (TMR), fault equivalence, fault dominance
8Marcelo Cataldo, James D. Herbsleb Architecting in software ecosystems: interface translucence as an enabler for scalable collaboration. Search on Bibsonomy ECSA Companion Volume The full citation details ... 2010 DBLP  DOI  BibTeX  RDF interface translucence, collaboration, software architecture, awareness, modularity, software ecosystems
8Bryan Chadwick, Karl J. Lieberherr Weaving generic programming and traversal performance. Search on Bibsonomy AOSD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
8Guido de Caso Behavioural validation of software engineering artefacts. Search on Bibsonomy ICSE (2) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF code understanding, contract conformance, behaviour models
8Guido de Caso Behavioural validation of software engineering artefacts. Search on Bibsonomy ICSE (2) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF code understanding, contract conformance, behaviour models
8Yongjin Park, Stanley Shackney, Russell Schwartz Network-Based Inference of Cancer Progression from Microarray Data. Search on Bibsonomy IEEE ACM Trans. Comput. Biol. Bioinform. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF machine learning, trees, Biology and genetics, graphs and networks
8Yingpeng Sang, Hong Shen 0001, Hui Tian 0001 Privacy-Preserving Tuple Matching in Distributed Databases. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
8Christopher Smowton Secure 3D graphics for virtual machines. Search on Bibsonomy EUROSEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
8Daniel Mellinger, Vijay Kumar 0001, Mark Yim Control of locomotion with shape-changing wheels. Search on Bibsonomy ICRA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
8Chiara Toglia, Daniel T. Kettler, Fred Kennedy, Steven Dubowsky A study of cooperative control of self-assembling robots in space with experimental validation. Search on Bibsonomy ICRA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
8Lara S. Crawford, Haitham A. Hindi, Rong Zhou 0001, Daniel Larner Synchronized control in a large-scale networked distributed printing system. Search on Bibsonomy ICRA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
8Zongwu Xie, Jingdong Zhao, Jianbin Huang, Kui Sun, Genliang Xiong, Hong Liu 0002 DSP/FPGA-based highly integrated flexible joint robot. Search on Bibsonomy IROS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
8Hannes Bistry, Jianwei Zhang 0001 Task oriented control of smart camera systems in the context of mobile service robots. Search on Bibsonomy IROS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
8Mustafa Emre Karagozler, Seth Copen Goldstein, James Robert Reid Stress-driven MEMS assembly + electrostatic forces = 1mm diameter robot. Search on Bibsonomy IROS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
8David Lievens, William Harrison Symmetric encapsulated multi-methods to abstract over application structure. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF symmetric methods, software evolution, type system, language design, multiple dispatch
8Benoît Montagu, Didier Rémy Modeling abstract types in modules with open existential types. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF linear type systems, modularity, generativity, type systems, modules, lambda-calculus, abstract types, existential types
8Pramod Kumar Meher, Yajun Ha, Chiou-Yng Lee An optimized design for serial-parallel finite field multiplication over GF(2m) based on all-one polynomials. Search on Bibsonomy ASP-DAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
8Mark G. J. van den Brand, Arjan P. van der Meer, Alexander Serebrenik Type Checking Evolving Languages with MSOS. Search on Bibsonomy Semantics and Algebraic Specification The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
8Xiaoguo Wang, Jin Zheng, Qian Zeng A Design of Product Collaborative Online Configuration Model. Search on Bibsonomy CDVE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF collaborative configuration, information platform, case-based reasoning, Product configuration
8Kais Klai, Samir Tata, Jörg Desel Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes. Search on Bibsonomy BPM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
8Markus Herrmannsdoerfer, Sebastian Benz, Elmar Jürgens COPE - Automating Coupled Evolution of Metamodels and Models. Search on Bibsonomy ECOOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
8Chao Ma, Bao-Liang Lu, Masao Utiyama Incorporating Prior Knowledge into Task Decomposition for Large-Scale Patent Classification. Search on Bibsonomy ISNN (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
8Shimon Schocken, Noam Nisan, Michal Armoni A synthesis course in hardware architecture, compilers, and software engineering. Search on Bibsonomy SIGCSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF meaningful learning, design, architecture, compilers, abstraction, software
8August Schwerdfeger, Eric Van Wyk Verifiable composition of deterministic grammars. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF context-aware scanning, grammar composition, language composition, lr parsing, extensible languages
8Keith B. Frikken Practical Private DNA String Searching and Matching through Efficient Oblivious Automata Evaluation. (PDF / PS) Search on Bibsonomy DBSec The full citation details ... 2009 DBLP  DOI  BibTeX  RDF DNA matching, Cryptography, Privacy-Preserving Protocols
8René Doursat Facilitating evolutionary innovation by developmental modularity and variability. Search on Bibsonomy GECCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF bio-inspired engineering, architectures, robotics, modularity, self-organization, systems design, complex systems, spatial computing, artificial embryogeny, evolutionary development
8R. Paul Wiegand, Gautham Anil, Ivan I. Garibay, Ozlem O. Garibay, Annie S. Wu On the performance effects of unbiased module encapsulation. Search on Bibsonomy GECCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF module encapsulation, search space bias, runtime analysis
8Levente Kovács, Ákos Utasi, Tamás Szirányi VISRET - A Content Based Annotation, Retrieval and Visualization Toolchain. Search on Bibsonomy ACIVS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
8Charles Zhang 0001 FlexSync: An aspect-oriented approach to Java synchronization. Search on Bibsonomy ICSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
8Francisco Durán 0001, Salvador Lucas, José Meseguer 0001 Termination Modulo Combinations of Equational Theories. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
8Roger Mailler, Daniel Bryce, Jiaying Shen, Ciaran O'Reilly MABLE: a framework for learning from natural instruction. Search on Bibsonomy AAMAS (1) The full citation details ... 2009 DBLP  BibTeX  RDF MABLE, learning, architecture
8Nadya Peek, David Pitman, Richard The Hangsters: tangible peripheral interactive avatars for instant messaging. Search on Bibsonomy TEI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF personalization, instant messaging, tangible interaction, social grouping
8Zack J. Butler, Alfred A. Rizzi Distributed and Cellular Robots. Search on Bibsonomy Springer Handbook of Robotics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
8Jia Lv, Ying Jing, Minghui Wu 0001, Canghong Jin Crosscutting invariant and an efficient checking algorithm using program slicing. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF aspect-oriented language, crosscutting interference, crosscutting quality, crosscutting safety
8Jürgen Fuchs, Ingo Runkel, Christoph Schweigert The Fusion Algebra of Bimodule Categories. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 18D10, 18D35, 81T40
8Ortal Arazi, Hairong Qi 0001 On Calculating Multiplicative Inverses Modulo $2^{m}$. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
8Yong Ki Lee, Kazuo Sakiyama, Lejla Batina, Ingrid Verbauwhede Elliptic-Curve-Based Security Processor for RFID. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
8Armen Zakarian A New Nonbinary Matrix Clustering Algorithm for Development of System Architectures. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part C The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
8Janneke F. M. Jehee, Jaap M. J. Murre The scalable mammalian brain: emergent distributions of glia and neurons. Search on Bibsonomy Biol. Cybern. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Comparative neuroanatomy, Glia-to-neuron index, Neuron number
8Ralf Laue 0002, Sorin A. Huss Parallel Memory Architecture for Elliptic Curve Cryptography over GF(p) Aimed at Efficient FPGA Implementation. Search on Bibsonomy J. Signal Process. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF FPGA, parallelization, elliptic curve cryptography, memory architecture
8Philipp Rohlfshagen, John A. Bullinaria Identification and Exploitation of Linkage by Means of Alternative Splicing. Search on Bibsonomy Linkage in Evolutionary Computation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
8George Giorgidze, Henrik Nilsson Switched-On Yampa. Search on Bibsonomy PADL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF synchronous dataflow languages, hybrid systems, computer music, Functional Reactive Programming
8Jan S. Rellermeyer, Michael Duller, Ken Gilmer, Damianos Maragkos, Dimitrios Papageorgiou, Gustavo Alonso The Software Fabric for the Internet of Things. Search on Bibsonomy IOT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
8Gitte Behrens, Mikkel Kamstrup Erlandsen, Toke Eskildsen, Bolette Ammitzbøll Jurik, Dorete Bøving Larsen, Hans Lauridsen, Michael Poltorak Nielsen, Jørn Thøgersen, Mads Villadsen Summa: This Is Not a Demo. Search on Bibsonomy ECDL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF performance, scalability, Search, modularity, open source
8Rick Chern, Kris De Volder The impact of static-dynamic coupling on remodularization. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF hyperslices, static-dynamic coupling, subject-oriented programming, refactoring, language design, remodularization
8Yosuke Suzuki, Norio Inou, Michihiko Koseki, Hitoshi Kimura Reconfigurable group robots adaptively transforming a mechanical structure - Extended criteria for load-adaptive transformations -. Search on Bibsonomy IROS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
8Yasunori Takemura, Yu Ogawa, Amir Ali Forough Nassiraei, Atsushi Sanada 0002, Yuichi Kitazumi, Ivan Godler, Kazuo Ishii, Hiroyuki Miyamoto, Ahmad Ghaderi Concept of mechatronics safety and modularity design for an autonomous mobile soccer robot. Search on Bibsonomy IROS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
8Masoud Asadpour, Alexander Spröwitz, Aude Billard, Pierre Dillenbourg, Auke Jan Ijspeert Graph signature for self-reconfiguration planning. Search on Bibsonomy IROS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
8Dimitris M. Chatzigeorgiou, Savvas G. Loizou, Kostas J. Kyriakopoulos R-cell: A module for a self-reconfigurable robotic system. Search on Bibsonomy IROS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
8William L. Harrison, Gerard Allwein, Andy Gill, Adam M. Procter Asynchronous Exceptions as an Effect. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
8Jaakko Järvi, John Freeman Lambda functions for C++0x. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF lambda functions, C++, closures, STL
8Pedro Miguens Matutino, Leonel Sousa An RNS based Specific Processor for Computing the Minimum Sum-of-Absolute-Differences. Search on Bibsonomy DSD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
8Tobias Gedell, Daniel Hedin Abstract Interpretation Plugins for Type Systems. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
8Ralf Küsters, Max Tuengerthal Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation. Search on Bibsonomy CSF The full citation details ... 2008 DBLP  DOI  BibTeX  RDF simulation-based security, joint state, secure composition, cryptographic protocols
8Gilles Barthe, Salvador Cavadini, Tamara Rezk Tractable Enforcement of Declassification Policies. Search on Bibsonomy CSF The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type systems, declassification, information flow security
8Noam Zeilberger Focusing and higher-order abstract syntax. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF pattern-matching, higher-order abstract syntax, focusing
8Greta Yorsh, Eran Yahav, Satish Chandra 0001 Generating precise and concise procedure summaries. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF micro-transformers, relational analysis, symbolic summary, typestate verification, composition, summarization, aliasing, dataflow analysis
8Kazuyuki Tanimura, Ryuta Nara, Shunitsu Kohara, Kazunori Shimizu, Youhua Shi, Nozomu Togawa, Masao Yanagisawa, Tatsuo Ohtsuki Scalable unified dual-radix architecture for Montgomery multiplication in GF(P) and GF(2n). Search on Bibsonomy ASP-DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
8Masayuki Yoshino, Katsuyuki Okeya, Camille Vuillaume A Black Hen Lays White Eggs. Search on Bibsonomy CARDIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF double-size technique, RSA, smartcard, Montgomery multiplication, efficient implementation
8Peter Luethi, Markus Wenk, Thomas Koch, Wolfgang Fichtner, Michael Lerjen, Norbert Felber Multi-user MIMO testbed. Search on Bibsonomy WINTECH The full citation details ... 2008 DBLP  DOI  BibTeX  RDF algorithm testing, real-time, wireless communication, hardware, extension, testbed, multi-user, mimo, mac, phy
8Haitham A. Hindi, Lara S. Crawford, Rong Zhou 0001, Craig Eldershaw Efficient waypoint tracking hybrid controllers for double integrators using classical time optimal control. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
8Francisco Corbera, Eladio Gutiérrez, Julián Ramos, Sergio Romero 0001, María A. Trenas Development of a new MOODLE module for a basic course on computer architecture. Search on Bibsonomy ITiCSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF computer architecture, LMS, Moodle, automatic assessment
8Tomi Janhunen Removing Redundancy from Answer Set Programs. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
8Ben Salzberg Managing Mac labs with radmind. Search on Bibsonomy SIGUCCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF application transcripts, radmind, operating systems, macintosh, lab management
8Hajo A. Reijers, Jan Mendling Modularity in Process Models: Review and Effects. Search on Bibsonomy BPM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
8Gunnar Tufte Discovery and Investigation of Inherent Scalability in Developmental Genomes. Search on Bibsonomy ICES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
8Yongjin Park, Stanley Shackney, Russell Schwartz Network-Based Inference of Cancer Progression from Microarray Data. Search on Bibsonomy ISBRA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
8María Pardiño, José Manuel Gómez Soriano, Hector Llorens, Rafael M. Terol, Borja Navarro-Colorado, Estela Saquete, Patricio Martínez-Barco, Paloma Moreda, Manuel Palomar IBQAst: A Question Answering System for Text Transcriptions. Search on Bibsonomy CLEF The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
8Tonio Triebel, Benjamin Guthier, Richard Süselbeck, Gregor Schiele, Wolfgang Effelsberg Peer-to-peer infrastructures for games. Search on Bibsonomy NOSSDAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF 3D-multimedia, peer-to-peer, online games
8Xiaoxia Wu, Yibo Chen, Krishnendu Chakrabarty, Yuan Xie 0001 Test-access mechanism optimization for core-based three-dimensional SOCs. Search on Bibsonomy ICCD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
8Xiaowen Kang, Yaqiang Liu, Xishan Sun, Shi Wang, Yan Xia, Zhicheng Zhang, Zhaoxia Wu, Yongjie Jin Front-end Electronics Design based on Vernier Method for a High Resolution MicroPET. Search on Bibsonomy BMEI (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Time-to-Digital Convertor(TDC), Front-end electronics Vernier method, ADC, positron emission tomography(PET), TDC
8Faezeh Ensan Formalizing Ontology Modularization through the Notion of Interfaces. Search on Bibsonomy EKAW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
8Pramod Kumar Meher, Jagdish Chandra Patra Fully-pipelined efficient architectures for FPGA realization of discrete Hadamard transform. Search on Bibsonomy ASAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1801 - #1900 of 18100 (100 per page; Change: )
Pages: [<<][9][10][11][12][13][14][15][16][17][18][19]
[20][21][22][23][24][25][26][27][28][>>]
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