|
|
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 |
20 | Kyo-Min Ku, Kyeoung Ju Ha, Hyun-Sung Kim 0001, Kee-Young Yoo |
New Parallel Architecture for Modular Multiplication and Squaring Based on Cellular Automata. |
PARA |
2002 |
DBLP DOI BibTeX RDF |
|
20 | D. Barráez, Sonia Garcia-Salicetti, Bernadette Dorizzi, M. Padrón, E. Ramos |
Modular Neural Networks for Seismic Tomography. |
ICPR (3) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler |
Visual Specifications for Modular Reasoning about Asynchronous Systems. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Nadia Nedjah, Luiza de Macedo Mourelle |
Efficient Parallel Modular Exponentiation Algorithm. |
ADVIS |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Róbert Lórencz |
New Algorithm for Classical Modular Inverse. |
CHES |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Dianhui Wang, Nung Kion Lee, Tharam S. Dillon, Nicholas J. Hoogenraad |
Protein Sequences Classification Using Modular RBF Neural Networks. |
Australian Joint Conference on Artificial Intelligence |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Mark van Hoeij, Michael B. Monagan |
A modular GCD algorithm over number fields presented with multiple extensions. |
ISSAC |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Chung-Yang Huang, Kwang-Ting Cheng |
Using word-level ATPG and modular arithmetic constraint-solvingtechniques for assertion property checking. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Alexander Tiountchik, Elena Trichina |
Modular Exponentiation on Fine-Grained FPGA. |
CT-RSA |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Forrest H. Bennett III, Brad Dolin, Eleanor Gilbert Rieffel |
Programmable Smart Membranes: Using Genetic Programming to Evolve Scalable Distributed Controllers for a Novel Self-Reconfigurable Modular Robotic Application. |
EuroGP |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Arshad Jhumka, Martin Hiller, Neeraj Suri |
Assessing Inter-Modular Error Propagation in Distributed Software. |
SRDS |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Wei-Chang Tsai, C. Bernard Shung, Sheng-Jyh Wang |
Two systolic architectures for modular multiplication. |
IEEE Trans. Very Large Scale Integr. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar 0001, Insup Lee 0001 |
Modular Specification of Hybrid Systems in CHARON. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Anna Maria Fanelli, Giovanna Castellano, Cosimo Alessandro Buscicchio |
A Modular Neuro-Fuzzy Network for Musical Instruments Classification. |
Multiple Classifier Systems |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand |
Modular Verification for a Class of PLTL Properties. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
Büchi automata, Propositional linear temporal logic PLTL, B specification, model-checking, Verification, Refinement, modularity |
20 | Chung-Yang Huang, Kwang-Ting Cheng |
Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques. |
DAC |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Thomas Blum |
Montgomery Modular Exponentiation on Reconfigurable Hardware. |
IEEE Symposium on Computer Arithmetic |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Peter D. Mosses |
Foundations of Modular SOS. |
MFCS |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Seiichi Ozawa, K. Tsutumi, Norio Baba |
Evolution of a dynamical modular neural network and its application to associative memories. |
KES |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
Automating Modular Verification. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Gordon A. Rose |
From Monolithic to Modular Formal Specification. |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Orna Kupferman, Moshe Y. Vardi |
Modular Model Checking. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Michel Morvan, Laurent Viennot |
Parallel Comparability Graph Recognition and Modular Decomposition. |
STACS |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Martijn R. Hoogeweegen, Wim J. M. Teunissen, Peter H. M. Vervest, René W. Wagenaar |
The Expected Costs and Benefits of EDI in the Modular Supply Chain. |
HICSS (4) |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Manindra Agrawal, Richard Beigel, Thomas Thierauf |
Pinpointing Computation with Modular Queries in the Boolean Hierarchy. |
FSTTCS |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Masayuki Abe, Hikaru Morita |
Higher Radix Nonrestoring Modular Multiplication Algorithm and Public-key LSI Architecture with Limited Hardware Resources. |
ASIACRYPT |
1994 |
DBLP DOI BibTeX RDF |
|
20 | W. Kenneth Jenkins, Bernard A. Schnaufer, Andrew J. Mansen |
Combined system-level redundancy and modular arithmetic for fault tolerant digital signal processing. |
IEEE Symposium on Computer Arithmetic |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Peter Kornerup |
High-radix modular multiplication for cryptosystems. |
IEEE Symposium on Computer Arithmetic |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Maarten M. Fokkinga, Mannes Poel, Job Zwiers |
Modular Completeness for Communication Closed Layers. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Bernhard Gramlich |
Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Bernhard Gramlich |
Generalized Sufficient Conditions for Modular Termination of Rewriting. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
20 | V. David, C. Fraboul, J. Y. Rousselot, Pierre Siron |
Partitioning and Mapping Communication Graphs on a Modular Reconfigurable Parallel Architecture. |
CONPAR |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Keiichi Iwamura, Tsutomu Matsumoto, Hideki Imai |
Systolic-Arrays for Modular Exponentiation Using Montgomery Method (Extended Abstract). |
EUROCRYPT |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Juan Llovet, J. Rafael Sendra |
A Modular Approach to the Computation of the Number of Real Roots. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Paul A. Findlay, Brian A. Johnson |
Modular Exponentiation Using Recursive Sums of Residues. |
CRYPTO |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Daniel J. Bernstein, Tien-Ren Chen, Chen-Mou Cheng, Tanja Lange 0001, Bo-Yin Yang |
ECM on Graphics Cards. |
EUROCRYPT |
2009 |
DBLP DOI BibTeX RDF |
elliptic-curve method of factorization, Edwards curves, graphics processing unit, elliptic curves, Factorization, modular arithmetic |
19 | Luis Francisco-Revilla, Jeff Crow |
Interpreting the layout of web pages. |
Hypertext |
2009 |
DBLP DOI BibTeX RDF |
modular layouts, sighted users, assistive technology, adaptive hypermedia, visually impaired users, spatial hypermedia |
19 | Fabrizio Caruso, Jacopo D'Aurizio, Alasdair McAndrew |
Efficient Finite Fields in the Maxima Computer Algebra System. |
WAIFI |
2008 |
DBLP DOI BibTeX RDF |
modular roots, Maxima, finite fields, primitive element |
19 | Pavol Jancura, Jaap Heringa, Elena Marchiori |
Dividing Protein Interaction Networks by Growing Orthologous Articulations. |
PRIB |
2008 |
DBLP DOI BibTeX RDF |
Protein network dividing, modular network alignment |
19 | Evan Barba |
Getting mod: a look at modularity in mobile systems. |
HotMobile |
2008 |
DBLP DOI BibTeX RDF |
design psychology, personalization, user-centered design, modular design |
19 | Raffi Khatchadourian, Johan Dovland, Neelam Soundarajan |
Enforcing behavioral constraints in evolving aspect-oriented programs. |
FOAL |
2008 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, modular reasoning, rely-guarantee |
19 | L. B. Xian, M. Xie |
Design of Human-Like Leg-Foot for Human-Assisted Biped Walking. |
ICIRA (1) |
2008 |
DBLP DOI BibTeX RDF |
Biped Leg, Lower Body, Modular Joint, Humanoid Robot |
19 | Tero Vallius, Juha Röning |
Low Cost Arbitration Method for Arbitrarily Scalable Multiprocessor Systems. |
DELTA |
2008 |
DBLP DOI BibTeX RDF |
Embedded Object Concept, Atomi, Embedded System, Scalable, Modular, Arbitration |
19 | Chong Hee Kim, Jean-Jacques Quisquater |
Method for Detecting Vulnerability to Doubling Attacks. |
ICICS |
2008 |
DBLP DOI BibTeX RDF |
Doubling attack, relative doubling attack, smart card, simple power analysis (SPA), modular exponentiation |
19 | Jeong-Hee Hong, Jae-Hyun Kim, Tag Gon Kim |
Design and implementation of time management service for IEEE 1516 HLA/RTI. |
SCSC |
2007 |
DBLP BibTeX RDF |
GALT calculation algorithm, IEEE 1516, HLA, modular design, time management, RTI |
19 | Nicolas Letor, Peter De Cleyn, Chris Blondia |
Enabling cross layer design: adding the MadWifi extensions to Nsclick. |
VALUETOOLS |
2007 |
DBLP DOI BibTeX RDF |
MadWifi, Nsclick, click modular router, simulation, IEEE 802.11, cross layer design, NS-2 |
19 | Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander |
Constructing language processors with algebra combinators. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
modular monadic semantics, meta-programming |
19 | Arnaud Boscher, Robert Naciri, Emmanuel Prouff |
CRT RSA Algorithm Protected Against Fault Attacks. |
WISTP |
2007 |
DBLP DOI BibTeX RDF |
Smart Card, RSA, Chinese Remainder Theorem, Fault Attacks, Simple Power Analysis, Modular Exponentiation |
19 | Onur Aciiçmez, Shay Gueron, Jean-Pierre Seifert |
New Branch Prediction Vulnerabilities in OpenSSL and Necessary Software Countermeasures. |
IMACC |
2007 |
DBLP DOI BibTeX RDF |
branch prediction attacks, cache eviction attacks, Binary Extended Euclidean Algorithm, software mitigation methods, OpenSSL, RSA, Side channel attacks, CRT, modular inversion |
19 | Onur Aciiçmez, Çetin Kaya Koç, Jean-Pierre Seifert |
Predicting Secret Keys Via Branch Prediction. |
CT-RSA |
2007 |
DBLP DOI BibTeX RDF |
Simultaneous Multi-threading, RSA, Branch Prediction, Side Channel Analysis, Montgomery Multiplication, Modular Exponentiation |
19 | Timothy Boudreau, Jaroslav Tulach, Rich Unger |
Decoupled design: building applications on the NetBeans platform. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
NetBeans, Java, modular, decoupled, loose coupling, API design |
19 | Timothy Boudreau, Jaroslav Tulach, Rich Unger |
Decoupled design: building applications on the NetBeans platform. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
NetBeans, Java, modular, decoupled, loose coupling, API design |
19 | Oksana Tkachuk, Sreeranga P. Rajan |
Application of automated environment generation to commercial software. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
environment generation, modular model checking |
19 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Permissive interfaces. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
modular verification, software interfaces |
19 | Shay Gueron, Or Zuk |
Applications of The Montgomery Exponent. |
ITCC (1) |
2005 |
DBLP DOI BibTeX RDF |
ef£cient implementations, Montgomery multiplication, modular exponentiation |
19 | Yingzhou Zhang, Baowen Xu |
A Slice Monad Transformer and Its Applications in Program Slicing. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
slice monad transformer, modular monadic semantics, Program slicing, monad transformers |
19 | Michael B. Monagan |
Probabilistic algorithms for computing resultants. |
ISSAC |
2005 |
DBLP DOI BibTeX RDF |
Sylvester's resultant, polynomial resultants, probabilistic algorithms, modular algorithms |
19 | Nele Mentens, Siddika Berna Örs, Bart Preneel |
An FPGA implementation of an elliptic curve processor GF(2m). |
ACM Great Lakes Symposium on VLSI |
2004 |
DBLP DOI BibTeX RDF |
montgomery modular, FPGA, elliptic curve cryptosystems, multiplication |
19 | Michael B. Monagan |
Maximal quotient rational reconstruction: an almost optimal algorithm for rational reconstruction. |
ISSAC |
2004 |
DBLP DOI BibTeX RDF |
rational reconstruction, euclidean algorithm, modular algorithms |
19 | David R. Kohel |
The AGM-X0(N) Heegner Point Lifting Algorithm and Elliptic Curve Point Counting. |
ASIACRYPT |
2003 |
DBLP DOI BibTeX RDF |
modular curves, point counting, Elliptic curve cryptography |
19 | Kazuyuki Amano, Akira Maruoka |
Some Properties of MODm Circuits Computing Simple Functions. |
CIAC |
2003 |
DBLP DOI BibTeX RDF |
modular circuits, composite modulus, lower bounds, Fourier analysis, symmetric functions |
19 | Werner Schindler, Colin D. Walter |
More Detail for a Combined Timing and Power Attack against Implementations of RSA. |
IMACC |
2003 |
DBLP DOI BibTeX RDF |
statistical decision problem, power analysis, exponentiation, timing attack, RSA cryptosystem, side channel leakage, Montgomery modular multiplication |
19 | Pierre-Alain Fouque, Frédéric Valette |
The Doubling Attack - Why Upwards Is Better than Downwards. |
CHES |
2003 |
DBLP DOI BibTeX RDF |
SPA-based analysis, DPA countermeasures, multiple exponent single data attack, scalar multiplication, modular exponentiation |
19 | Tse-Min Lin, John A. McDermid |
A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
behavioural subtyping, supertype abstraction, object-oriented programming, SPARK, modular reasoning |
19 | Harald Baier |
Efficient Computation of Singular Moduli with Application in Cryptography. |
FCT |
2001 |
DBLP DOI BibTeX RDF |
class group, modular function, ring class polynomial, singular modulus, cryptography, elliptic curve, Fourier series, complex multiplication |
19 | Helger Lipmaa, Shiho Moriai |
Efficient Algorithms for Computing Differential Properties of Addition. |
FSE |
2001 |
DBLP DOI BibTeX RDF |
differential probability, maximum differential probability, differential cryptanalysis, Modular addition, impossible differentials |
19 | Daniel Cabeza Gras, Manuel V. Hermenegildo |
A New Module System for Prolog. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
modular program processing, global analysis and transformation, ciao-prolog, prolog, modules, separate compilation |
19 | Gaël Hachez, Jean-Jacques Quisquater |
Montgomery Exponentiation with no Final Subtractions: Improved Results. |
CHES |
2000 |
DBLP DOI BibTeX RDF |
smart cards, Montgomery multiplication, timing attacks, modular exponentiation, power attacks |
19 | Peiyi Tang, Yoichi Muraoka |
Parallel Programming with Interacting Processes. |
LCPC |
1999 |
DBLP DOI BibTeX RDF |
Maximum Parallelism, Modular Programming, Parallel Programming, Programming Models, Programmability, Multiparty Interactions, Interacting Processes |
19 | John C. Ramirez, Rami G. Melhem |
Reducing Message Overhead in TMR Systems. |
ICDCS |
1999 |
DBLP DOI BibTeX RDF |
reduced communication overhead, distributed systems, voting, triple modular redundancy, fault masking |
19 | Colin D. Walter |
Montgomery's Multiplication Technique: How to Make It Smaller and Faster. |
CHES |
1999 |
DBLP DOI BibTeX RDF |
higher radix methods, checker function, fault tolerance, testing, cryptography, RSA, Computer arithmetic, systolic arrays, error correction, differential power analysis, DPA, Montgomery modular multiplication |
19 | Dan Decasper, Zubin Dittia, Guru M. Parulkar, Bernhard Plattner |
Router Plugins: A Software Architecture for Next Generation Routers. |
SIGCOMM |
1998 |
DBLP DOI BibTeX RDF |
high performance integrated services routing, modular router architecture, router plugins |
19 | Christian Capelle, Michel Habib |
Graph decompositions and factorizing permutations. |
ISTCS |
1997 |
DBLP DOI BibTeX RDF |
factorizing permutations, decomposition sets, inheritance graph decomposition, optimization, graph theory, vertices, undirected graph, chordal graphs, graph decompositions, decomposition algorithms, linear algorithm, modular decomposition, decomposition tree |
19 | Javier Esparza, Manuel Silva Suárez |
On the analysis and synthesis of free choice systems. |
Applications and Theory of Petri Nets |
1989 |
DBLP DOI BibTeX RDF |
free choice nets, linear algebra techniques, state refinement, structure of systems, modular synthesis, top-down synthesis, Analysis, transformation, reduction |
18 | Angelo Furfaro, Libero Nigro, Francesco Pupo |
Real-Time Systems Development Using Hierarchical State Machines. |
JMLC |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Atef Ibrahim, Fayez Gebali, Hamed Elsimary, Amin M. Nassar |
Processor Array Architectures for Scalable Radix 4 Montgomery Modular Multiplication Algorithm. |
IEEE Trans. Parallel Distributed Syst. |
2011 |
DBLP DOI BibTeX RDF |
low power modular multipliers, scalability, cryptography, Montgomery multiplication, secure communications, Processor array |
18 | Mark Hamilton, William P. Marnane, Arnaud Tisserand |
A Comparison on FPGA of Modular Multipliers Suitable for Elliptic Curve Cryptography over GF(p) for Specific p Values. |
FPL |
2011 |
DBLP DOI BibTeX RDF |
Hiasat Multiplier, Elliptic Curve Processor, FPGA, Modular Multiplication, Mersenne prime |
18 | Giovanni Pilato, Agnese Augello, Salvatore Gaglio |
A Modular Architecture for Adaptive ChatBots. |
ICSC |
2011 |
DBLP DOI BibTeX RDF |
knowledge representation, chatbots, modular architecture |
18 | Deepak Unnikrishnan, Shiting (Justin) Lu, Lixin Gao 0001, Russell Tessier |
ReClick - A Modular Dataplane Design Framework for FPGA-Based Network Virtualization. |
ANCS |
2011 |
DBLP DOI BibTeX RDF |
Click modular router, FPGA, Programming models, Network Virtualization, NetFPGA |
18 | Hao Zheng 0001, Haiqiong Yao, Tomohiro Yoneda |
Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement. |
IEEE Trans. Computers |
2010 |
DBLP DOI BibTeX RDF |
circuit verification, model checking, Formal methods, refinement, abstraction, modular verification, logic verification |
18 | Naofumi Homma, Atsushi Miyamoto, Takafumi Aoki, Akashi Satoh, Adi Shamir |
Comparative Power Analysis of Modular Exponentiation Algorithms. |
IEEE Trans. Computers |
2010 |
DBLP DOI BibTeX RDF |
waveform matching, RSA, Side-channel attacks, modular exponentiation, power-analysis attacks |
18 | Tobias Wegner |
A Modular UPnP Proxy for Secure Remote Access. |
ICDS |
2010 |
DBLP DOI BibTeX RDF |
SOA, modular, proxy, tunnel, UPnP, remote access |
18 | Bhupesh Gour, T. K. Bandopadhyaya, Ravindra Patel |
ART and Modular Neural Network Architecture for Multilevel Categorization and Recognition of Fingerprints. |
WKDD |
2010 |
DBLP DOI BibTeX RDF |
Minutiae points, fingerprint clustering, ART1 Clustering, Backpropagation Neural Network (BPN), Monolithic Neural Network, Degree of Modularity, Modular Neural Network |
18 | Ali Sentürk, Mustafa Gök |
A Fast Modular Multiplication Method. |
IIH-MSP |
2010 |
DBLP DOI BibTeX RDF |
modular multiplication method, multiply-add |
18 | Melinda Magyar, István Majzik |
Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
UML based modeling, modular model construction, dependability evaluation, Stochastic Activity Networks |
18 | Johann Großschädl, Erkay Savas, Kazim Yumbul |
Realizing Arbitrary-Precision Modular Multiplication with a Fixed-Precision Multiplier Datapath. |
ReConFig |
2009 |
DBLP DOI BibTeX RDF |
Bit-serial multiplier architecture, Scalability, Montgomery modular multiplication |
18 | Jianping Quan, Guoqiang Bai 0001 |
A DPA-Resistant Digit-Parallel Modular Multiplier over GF (2m). |
ITNG |
2009 |
DBLP DOI BibTeX RDF |
Modular multiplier, DPA-resistant, 1-bit masking, ECC, Architecture level |
18 | Serge Parshutin, Ludmila Aleksejeva, Arkady Borisov |
Forecasting Product Life Cycle Phase Transition Points with Modular Neural Networks Based System. |
ICDM |
2009 |
DBLP DOI BibTeX RDF |
Forecasting Transition Points, Self-Organizing Maps, Modular Neural Networks, Product Life Cycle |
18 | Christoph Schroth, Beat F. Schmid |
A Modular Reference Architecture Framework for Electronic Cross-Organizational Interoperation. |
EGOV |
2008 |
DBLP DOI BibTeX RDF |
Modular Reference Framework, Organizational Innovation, Seamless cross-organizational interoperation, Event -Bus Switzerland |
18 | Sunil Pranit Lal, Koji Yamada, Satoshi Endo |
Emergent Motion Characteristics of a Modular Robot through Genetic Algorithm. |
ICIC (2) |
2008 |
DBLP DOI BibTeX RDF |
genetic algorithm, Emergence, motion control, behaviour, modular robot |
18 | Oksana Tkachuk, Sreeranga P. Rajan |
Combining environment generation and slicing for modular software model checking. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
environment generation, modular model checking, slicing |
18 | Angelo Furfaro, Libero Nigro, Francesco Pupo |
Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines. |
Real Time Syst. |
2006 |
DBLP DOI BibTeX RDF |
real-time constrains, Java, prototyping, assertions, integrated development environment, hierarchical state machines, modular modelling |
18 | Harry C. Li, Shriram Krishnamurthi, Kathi Fisler |
Modular Verification of Open Features Using Three-Valued Model Checking. |
Autom. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
cross-cutting concerns in software, model checking, feature-oriented programming, modular verification |
18 | Cristina Cerschi Seceleanu, Tiberiu Seceleanu |
Modular Design of Reactive Systems. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
Concurrency, Reactive systems, Modular design, Action systems |
18 | Oded Goldreich 0001, Vered Rosen |
On the Security of Modular Exponentiation with Application to the Construction of Pseudorandom Generators. |
J. Cryptol. |
2003 |
DBLP DOI BibTeX RDF |
Hard-core predicates, Simultaneous security, Factoring assumption, Discrete logarithm, Pseudorandom generator, Modular exponentiation |
18 | Oksana Tkachuk, Matthew B. Dwyer |
Adapting side effects analysis for modular program model checking. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
modular flow analysis, model checking, assume-guarantee |
18 | Derek Partridge, Niall Griffith |
Multiple Classifier Systems: Software Engineered, Automatically Modular Leading to a Taxonomic Overview. |
Pattern Anal. Appl. |
2002 |
DBLP DOI BibTeX RDF |
Classifier diversity, Classifier independence, MCS taxonomy, Modular subnets |
18 | Urs Anliker, Paul Lukowicz, Gerhard Tröster, Steven J. Schwartz, Richard W. DeVaul |
The WearARM: Modular, High Performance, Low Power Computing Platform Designed for Integration into Everyday Clothing. |
ISWC |
2001 |
DBLP DOI BibTeX RDF |
powermanagement, low power, integration, modular design |
18 | Issei Fujishiro, Rika Furuhata, Yoshihiko Ichikawa, Yuriko Takeshima |
GADGET/IV: A Taxonomic Approach to Semi-Automatic Design of Information Visualization Applications Using Modular Visualization Environment. |
INFOVIS |
2000 |
DBLP DOI BibTeX RDF |
Modular Visualization Environment (MVE), World Wide Web (WWW), Information visualization, taxonomy, knowledge base, visualization systems |
18 | Jean-Claude Bajard, Laurent-Stéphane Didier, Peter Kornerup |
An RNS Montgomery Modular Multiplication Algorithm. |
IEEE Trans. Computers |
1998 |
DBLP DOI BibTeX RDF |
cryptography, Computer arithmetic, residue number system, modular multiplication |
Displaying result #401 - #500 of 18100 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|