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