|
|
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 |
24 | Hui-Cheng Lian |
A Max Modular Support Vector Machine and Its Variations for Pattern Classification. |
ACIS-ICIS |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio |
A Formal Theory for Modular ERDF Ontologies. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Alexander Spröwitz, Masoud Asadpour, Yvan Bourquin, Auke Jan Ijspeert |
An active connection mechanism for modular self-reconfigurable robotic systems based on physical latching. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Chih-Han Yu, Kristina Haller, Donald E. Ingber, Radhika Nagpal |
Morpho: A self-deformable modular robot inspired by cellular structure. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Feili Hou, Nadeesha Ranasinghe, Behnam Salemi, Wei-Min Shen |
Wheeled locomotion for payload carrying with modular robot. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Nadia Nedjah, Luiza de Macedo Mourelle |
Efficient Hardware for Modular Exponentiation using the Sliding-Window Method with Variable-Length Partitioning. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Yi Sun, Xiaolin Hu |
Partial-modular DEVS for improving performance of cellular space wildfire spread simulation. |
WSC |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Faezeh Ensan, Weichang Du |
Aspects of Inconsistency Resolution in Modular Ontologies. |
Canadian AI |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Dirk Frettlöh, Bernd Sing |
Computing Modular Coincidences for Substitution Tilings and Point Sets. |
Discret. Comput. Geom. |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Jérica Urías, Denisse Hidalgo, Patricia Melin, Oscar Castillo 0001 |
A Method for Response Integration in Modular Neural Networks with Type-2 Fuzzy Logic for Biometric Systems. |
Analysis and Design of Intelligent Systems using Soft Computing Techniques |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Wen-Hong Zhu, Tom Lamarche |
Modular Robot Manipulators Based on Virtual Decomposition Control. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Chiheb Ameur Abid, Belhassen Zouari |
A distributed verification approach for modular Petri nets. |
SCSC |
2007 |
DBLP BibTeX RDF |
verification, Petri net, distributed, analysis |
24 | Jérica Urías, Patricia Melin, Oscar Castillo 0001 |
A Method for Response Integration in Modular Neural Networks using Interval Type-2 Fuzzy Logic. |
FUZZ-IEEE |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Wei Li 0131, Zibin Dai, Tao Chen 0047, Tao Meng, Xuan S. Yang |
Design and Implementation of a High-Speed Reconfigurable Modular Arithmetic Unit. |
APPT |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Dirk Missal, Hans-Michael Hanisch |
Modular plant modelling for distributed control. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Tom Lamarche, Wen-Hong Zhu |
A virtual decomposition control based communication network for modular robots applications. |
ICCCN |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Chong Hee Kim, Jong Hoon Shin, Jean-Jacques Quisquater, Pil Joong Lee |
Safe-Error Attack on SPA-FA Resistant Exponentiations Using a HW Modular Multiplier. |
ICISC |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Nadia Nedjah, Luiza de Macedo Mourelle |
Efficient Hardware for Modular Exponentiation Using the Sliding-Window Method with Variable-Length Partitioning. |
SBAC-PAD |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Jérica Urías, Denisse Hidalgo, Patricia Melin, Oscar Castillo 0001 |
A New Method for Response Integration in Modular Neural Networks using Type-2 Fuzzy Logic for Biometric Systems. |
IJCNN |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Daisuke Suzuki |
How to Maximize the Potential of FPGA Resources for Modular Exponentiation. |
CHES |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Phan Cong Vinh, Jonathan P. Bowen |
A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Olivier Contant, Stéphane Lafortune, Demosthenis Teneketzis |
Diagnosability of Discrete Event Systems with Modular Structure. |
Discret. Event Dyn. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Common events, Distributed systems, Modularity, Diagnosability |
24 | Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo |
Context-Sensitive Multivariant Assertion Checking in Modular Programs. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Agata Ciabattoni, Kazushige Terui |
Modular Cut-Elimination: Finding Proofs or Counterexamples. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Gaoliang Peng, Wenjian Liu |
A Novel Modular Fixture Design and Assembly System Based on VR. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Bow-Yaw Wang |
On the Satisfiability of Modular Arithmetic Formulae. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Nadia Nedjah, Luiza de Macedo Mourelle |
Four Hardware Implementations for the M-ary Modular Exponentiation. |
ITNG |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Hyun-Sung Kim 0001, Sung-Woon Lee |
Low Complexity Systolic Architecture for Modular Multiplication over GF(2m). |
International Conference on Computational Science (1) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Jie Bao 0001, Doina Caragea, Vasant G. Honavar |
Modular Ontologies - A Formal Investigation of Semantics and Expressivity. |
ASWC |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Jan Komenda, Jan H. van Schuppen |
Control of Modular and Distributed Discrete-Event Systems. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Michael Olsen Darter, V. Scott Gordon 0001 |
Vehicle steering control using modular neural networks. |
IRI |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Luiza de Macedo Mourelle, Nadia Nedjah |
Reconfigurable Hardware for Addition Chains Based Modular Exponentiation. |
ITCC (1) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno |
Experiments in Context-Sensitive Analysis of Modular Programs. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Seong-ho Kang, Mitchell W. Pryor, Delbert Tesar |
Kinematic Model and Metrology System for Modular Robot Calibration. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Luiza de Macedo Mourelle, Nadia Nedjah |
Fast Reconfigurable Hardware for the M-ary Modular Exponentiation. |
DSD |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Luiza de Macedo Mourelle, Nadia Nedjah |
Hardware for Modular Exponentiation Suitable for Smart Cards. |
ICESS |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Yingzhou Zhang, Baowen Xu, Liang Shi, Bixin Li, Hongji Yang |
Modular Monadic Program Slicing. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
program slicing, formal semantics, monads, monad transformers |
24 | Cormac Flanagan, Shaz Qadeer |
Thread-Modular Model Checking. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Benoît Chevallier-Mames, Marc Joye, Pascal Paillier |
Faster Double-Size Modular Multiplication from Euclidean Multipliers. |
CHES |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Nadia Nedjah, Luiza de Macedo Mourelle |
Reconfigurable Hardware Implementation of Montgomery Modular Multiplication and Parallel Binary Exponentiation. |
DSD |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Peter D. Mosses |
Pragmatics of Modular SOS. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Nadia Nedjah, Luiza de Macedo Mourelle |
Efficient Hardware Implementation of Modular Multiplication and Exponentiation for Public-Key Cryptography. |
VECPAR |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Marielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon |
A Modular Approach to the Specification and Validation of an Electrical Flight Control System. |
FME |
2001 |
DBLP DOI BibTeX RDF |
Verification, Modularity, Test Generation, Case Tools, Heterogeneous Specification |
24 | Mihir Bellare, Juan A. Garay, Tal Rabin |
Fast Batch Verification for Modular Exponentiation and Digital Signatures. |
EUROCRYPT |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Christoph Meinel, Stephan Waack |
The "log Rank" Conjecture for Modular Communication Complexity. |
STACS |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Orna Kupferman, Moshe Y. Vardi |
On the Complexity of Branching Modular Model Checking (Extended Abstract). |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
24 | Christian S. Collberg |
Distributed High-Level Module Binding for Flexible Encapsulation and Fast Inter-Modular Optimization. |
Programming Languages and System Architectures |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Ralph-Johan Back, Heikki Mannila |
Locality in Modular Systems. |
ICALP |
1982 |
DBLP DOI BibTeX RDF |
|
23 | Riyaz A. Patel, Mohammed Benaissa, Said Boussakta |
Fast Modulo 2n - (2n-2+1) Addition: A New Class of Adder for RNS. |
IEEE Trans. Computers |
2007 |
DBLP DOI BibTeX RDF |
modular adder, VLSI, Computer arithmetic, residue number system, parallel-prefix adder |
23 | Thomas Cleenewerck, Ivan Kurtev |
Separation of concerns in translational semantics for DSLs in model engineering. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
model-based DSLs, modular translational semantics, model transformations, separation of concerns, model engineering |
23 | Alessandro Warth, Milan Stanojevic, Todd D. Millstein |
Statically scoped object adaptation with expanders. |
OOPSLA |
2006 |
DBLP DOI BibTeX RDF |
object adaptation, expanders, modular typechecking |
23 | Toru Akishita, Tsuyoshi Takagi |
Power Analysis to ECC Using Differential Power Between Multiplication and Squaring. |
CARDIS |
2006 |
DBLP DOI BibTeX RDF |
Smart cards, DPA, elliptic curve cryptosystems, power analysis, modular multiplication |
23 | Stavros D. Nikolopoulos, Leonidas Palios, Charis Papadopoulos |
A Fully Dynamic Algorithm for the Recognition of P4-Sparse Graphs. |
WG |
2006 |
DBLP DOI BibTeX RDF |
fully dynamic algorithms, P4-sparse graphs, recognition, modular decomposition |
23 | Colin D. Walter |
Simple Power Analysis of Unified Code for ECC Double and Add. |
CHES |
2004 |
DBLP DOI BibTeX RDF |
unified code, elliptic curve cryptography, ECC, simple power analysis, SPA, Side channel leakage, Montgomery modular multiplication |
23 | Mark van Hoeij, Michael B. Monagan |
Algorithms for polynomial GCD computation over algebraic function fields. |
ISSAC |
2004 |
DBLP DOI BibTeX RDF |
modular algorithms |
23 | Romina Torres, Rodrigo Salas 0001, Héctor Allende, Claudio Moraga |
Robust Expectation Maximization Learning Algorithm for Mixture of Experts. |
IWANN (1) |
2003 |
DBLP DOI BibTeX RDF |
Robust Learning Algorithm, Expectation Maximization, Modular Neural Networks, Mixtures of Experts |
23 | Hisayoshi Sato, Tsuyoshi Takagi, Satoru Tezuka, Kazuo Takaragi |
Generalized Powering Functions and Their Application to Digital Signatures. |
ASIACRYPT |
2003 |
DBLP DOI BibTeX RDF |
modular powering function, digital signature, RSA, factoring |
23 | Thomas Juan, Leon Sterling, Maurizio Martelli, Viviana Mascardi |
Customizing AOSE methodologies by reusing AOSE features. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
AOSE features, modular methodology, agent oriented software engineering |
23 | Johannes Wolkerstorfer |
Dual-Field Arithmetic Unit for GF(p) and GF(2m). |
CHES |
2002 |
DBLP DOI BibTeX RDF |
multiplication, hardware implementation, inversion, Finite field arithmetic, redundant number representation, modular reduction |
23 | Lejla Batina, Geeke Muurling |
Another Way of Doing RSA Cryptography in Hardware. |
IMACC |
2001 |
DBLP DOI BibTeX RDF |
MultiPrime, scalability, performance model, systolic array, Chinese Remainder Theorem, Montgomery multiplication, modular exponentiation |
23 | Akihiro Yamamura |
A Functional Cryptosystem Using a Group Action. |
ACISP |
1999 |
DBLP DOI BibTeX RDF |
functional cryptosystem, backward deterministic system, modular group, amalgamated free product, public-key cryptosystem |
23 | Jean Frédéric Myoupo |
A Fully-Pipelined Solutions Constructor for Dynamic Programming Problems. |
ICCI |
1991 |
DBLP DOI BibTeX RDF |
Modular Arrays, Parallel Algorithms, Complexity, Dynamic Programming, Design of Algorithms, Linear Systolic Arrays |
23 | Alexandre Bergel, Stéphane Ducasse, Roel Wuyts |
Classboxes: A Minimal Module Model Supporting Local Rebinding. |
JMLC |
2003 |
DBLP DOI BibTeX RDF |
method lookup, class extension, selector namespace, smalltalk, modules, language design |
22 | Nesrine Ben Mustapha, Hajer Baazaoui Zghal, Marie-Aude Aufaure, Henda Hajjami Ben Ghézala |
Enhancing semantic search using case-based modular ontology. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
modular ontology, ontology, information retrieval, semantic web, case-based reasoning, semantic search |
22 | Hervé Glotin, Zhong-Qiu Zhao, Jun Gao 0006, Xindong Wu 0001 |
A matrix modular SVM robust to imbalanced data for efficient visual concept detection. |
Multimedia Information Retrieval |
2010 |
DBLP DOI BibTeX RDF |
modular classification, image retrieval, imbalanced data, svm |
22 | Gábor Czédli, Miklós Maróti |
Two Notes on the Variety Generated by Planar Modular Lattices. |
Order |
2009 |
DBLP DOI BibTeX RDF |
Lattice variety, Subvariety, Planar, Modular lattice |
22 | Christoph Schroth, Beat F. Schmid, Willy Müller |
Designing Modular Architectures for Cross-Organizational Electronic Interaction. |
UNISCON |
2009 |
DBLP DOI BibTeX RDF |
Cross-Organizational Electronic Interaction, Modular Architectures |
22 | Pilsung Kang 0002, Yang Cao 0001, Naren Ramakrishnan, Calvin J. Ribbens, Srinidhi Varadarajan |
Modular implementation of adaptive decisions in stochastic simulations. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
function call interception, modular composition, stochastic simulation, program modification |
22 | Chulho Choi, Eulsik Oh, Byungnam Kahng, Doochul Kim |
Modular Synchronization in Complex Network with a Gauge Kuramoto Model. |
Complex (1) |
2009 |
DBLP DOI BibTeX RDF |
module identification, modular complex network, Kuramoto model, synchronization |
22 | Chuanxiong Guo, Guohan Lu, Dan Li 0001, Haitao Wu, Xuan Zhang, Yunfeng Shi, Chen Tian 0001, Yongguang Zhang, Songwu Lu |
BCube: a high performance, server-centric network architecture for modular data centers. |
SIGCOMM |
2009 |
DBLP DOI BibTeX RDF |
modular data center, server-centric network, multi-path |
22 | Mike Mammarella, Shant Hovsepian, Eddie Kohler |
Modular data storage with Anvil. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
software architecture, databases, modular design |
22 | Ji Zhang, Heather Goldsby, Betty H. C. Cheng |
Modular verification of dynamically adaptive systems. |
AOSD |
2009 |
DBLP DOI BibTeX RDF |
global invariants, modular model checking, reliability, verification, formal specification, autonomic computing, dynamic adaptation |
22 | Parikshit Gopalan, Venkatesan Guruswami, Richard J. Lipton |
Algorithms for Modular Counting of Roots of Multivariate Polynomials. |
Algorithmica |
2008 |
DBLP DOI BibTeX RDF |
Modular counting, Polynomials, Reed-Solomon codes |
22 | Ke Wu, Bao-Liang Lu, Masao Utiyama, Hitoshi Isahara |
An empirical comparison of min-max-modular k -NN with different voting methods to large-scale text categorization. |
Soft Comput. |
2008 |
DBLP DOI BibTeX RDF |
k-NN algorithm, Min-max-modular k-NN, Parallel computing, Text categorization |
22 | Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo |
A practical type analysis for verification of modular prolog programs. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
modular logic programs, verification, scalability, logic programming, program analysis, abstract interpretation, types |
22 | Alexander May 0001, Maike Ritzenhofen |
Solving Systems of Modular Equations in One Variable: How Many RSA-Encrypted Messages Does Eve Need to Know? |
Public Key Cryptography |
2008 |
DBLP DOI BibTeX RDF |
Chinese Remaindering, Coppersmith’s method, Håstad’s attack, systems of univariate modular polynomials |
22 | Gabriel H. Loh |
A modular 3d processor for flexible product design and technology migration. |
Conf. Computing Frontiers |
2008 |
DBLP DOI BibTeX RDF |
modular, superscalar, 3d-integration |
22 | Shu-Fen Tu, Ching-Sheng Hsu |
An Imperceptible Watermarking Scheme Using Variation and Modular Operations. |
MUE |
2008 |
DBLP DOI BibTeX RDF |
modular operations, digital watermark, variation, imperceptibility |
22 | Susana Borromeo, M. C. Rodriguez-Sánchez, Juan Antonio Hernández Tamames |
A Modular Architecture for Navigation Applications Based on Differential GPS. |
DCAI |
2008 |
DBLP DOI BibTeX RDF |
Differential GPS, Modular Software, Ubiquitous Computing, Context-Aware Computing |
22 | Naofumi Homma, Atsushi Miyamoto, Takafumi Aoki, Akashi Satoh, Adi Shamir |
Collision-Based Power Analysis of Modular Exponentiation Using Chosen-Message Pairs. |
CHES |
2008 |
DBLP DOI BibTeX RDF |
waveform matching, RSA, side-channel attacks, modular exponentiation, power-analysis attacks |
22 | Richard J. Duro, Manuel Graña, Javier de Lope Asiaín |
On the Need of Hybrid Intelligent Systems in Modular and Multi Robotics. |
HAIS |
2008 |
DBLP DOI BibTeX RDF |
multi-robot systems, Intelligent robotics, modular robotics |
22 | Jean-Pierre David, Kassem Kalach, Nicolas Tittley |
Hardware Complexity of Modular Multiplication and Exponentiation. |
IEEE Trans. Computers |
2007 |
DBLP DOI BibTeX RDF |
Cryptography, Multiplication, Modular Arithmetic, Hardware Complexity |
22 | M. Sudhakar, Ramachandruni Venkata Kamala, M. B. Srinivas |
New and Improved Architectures for Montgomery Modular Multiplication. |
Mob. Networks Appl. |
2007 |
DBLP DOI BibTeX RDF |
reconfigurable multiplier, scalable multiplier, RSA, ECC, carry save adders, Montgomery modular multiplication |
22 | Markus Müller-Olm, Helmut Seidl |
Analysis of modular arithmetic. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
affine relation, Program analysis, abstract interpretation, interprocedural analysis, modular arithmetic |
22 | Yoshinori Hamahata |
A Note on Modular Forms on Finite Upper Half Planes. |
WAIFI |
2007 |
DBLP DOI BibTeX RDF |
Finite upper half planes, modular forms |
22 | Dimitrios Lymberopoulos, Nissanka Bodhi Priyantha, Feng Zhao 0001 |
mPlatform: a reconfigurable architecture and efficient data sharing mechanism for modular sensor nodes. |
IPSN |
2007 |
DBLP DOI BibTeX RDF |
high speed data bus, reconfigurable sensor node, CPLD, modular architecture |
22 | Frederic I. Parke |
Lower Cost Modular Spatially Immersive Visualization. |
HCI (14) |
2007 |
DBLP DOI BibTeX RDF |
spatially immersive visualization, modular visualization systems, lower cost visualization, graphics computing clusters |
22 | Alexey Alexeev |
Concept for reconstruction of MUS portal into UESIE via creation of New University hardware modular integral system. |
CompSysTech |
2007 |
DBLP DOI BibTeX RDF |
bi-functional module, hardware distributed database, mono-block type, university modular system, medical education |
22 | Graham Hughes, Tevfik Bultan |
Interface grammars for modular software model checking. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
interface grammars, model checking, modular verification |
22 | Eva Volná |
Designing Modular Artificial Neural Network Through Evolution. |
ICANN (1) |
2007 |
DBLP DOI BibTeX RDF |
modular neural network architecture, probability vector, Adaptation, evolutionary algorithms |
22 | Yosuke Kurata, Masayuki Noro |
Computation of discrete comprehensive Gröbner bases using modular dynamic evaluation. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
comprehensive gröbner bases, comprehensive gröbner systems, discrete comprehensive gröbner bases, dynamic evaluation, modular dynamic evaluation, von neumann regular rings |
22 | Patricia Hersh, John Shareshian |
Chains of Modular Elements and Lattice Connectivity. |
Order |
2006 |
DBLP DOI BibTeX RDF |
modular element, topological connectivity, lattice |
22 | Tosiyasu L. Kunii, Kenji Ohmori |
Cyberworlds: architecture and modeling by an incrementally modular abstraction hierarchy. |
Vis. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Incrementally modular abstraction hierarchy, Fiber bundles, Adjunction spaces, Homotopy, Cyberspaces, Cellular spaces, Cyberworlds, Algebraic topology |
22 | Pål Nilsson, Michal Pióro |
Max-Min Fair Distribution of Modular Network Flows on Fixed Paths. |
Networking |
2006 |
DBLP DOI BibTeX RDF |
Modular flows, Network optimization, Max-min fairness |
22 | Philippe Meunier, Robert Bruce Findler, Matthias Felleisen |
Modular set-based analysis from contracts. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
modular analysis, runtime contracts, static debugging, set-based analysis |
22 | Zhe Zhang, Daxin Liu 0001, Zhengxian Wei, Changsong Sun |
Research on Triple Modular Redundancy Dynamic Fault-Tolerant System Model. |
IMSCCS (1) |
2006 |
DBLP DOI BibTeX RDF |
Dynamic fault-tolerant, Triple-Modular, Model, Reliability |
22 | Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang 0001 |
Modular checking for buffer overflows in the large. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
annotation design, annotation inference, modular analysis, buffer overflows |
22 | Kenji Ohmori, Tosiyasu L. Kunii |
An Incrementally Modular Abstraction Hierarchy for Linear Software Development Methodology. |
CW |
2006 |
DBLP DOI BibTeX RDF |
incrementally modular abstraction hierarchy, fiber bundles, adjunction spaces, software development, homotopy, cellular spaces, Cyberworlds |
22 | Marco Mamei, Franco Zambonelli |
Programming modular robots with the TOTA middleware. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
TOTA middleware, coordination, modular robots |
22 | Sunil Pranit Lal, Koji Yamada, Satoshi Endo |
Studies on Motion Control of a Modular Robot Using Cellular Automata. |
Australian Conference on Artificial Intelligence |
2006 |
DBLP DOI BibTeX RDF |
cellular automata and evolutionary algorithm, control system, modular robot |
Displaying result #201 - #300 of 18100 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|