Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Bradley A. Minch |
Translinear Analog Signal Processing: A Modular Approach to Large-Scale Analog Computation with Multiple-Input Translinear Elements. |
ARVLSI |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Mary Ellen Zurko, Richard T. Simon, Tom Sanfilippo |
A User-Centered, Modular Authorization Service Built on an RBAC Foundation. |
S&P |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Frank M. G. Dorenberg, Huesung Kim, Arun K. Somani |
The Effect of Interconnect Schemes on the Dependability of a Modular Multi-Processor System with Shared Resources. |
PRDC |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Emeka Mosanya, Christof Teuscher, Héctor Fabio Restrepo, Patrick Galley, Eduardo Sanchez |
CryptoBooster: A Reconfigurable and Modular Cryptographic Coprocessor. |
CHES |
1999 |
DBLP DOI BibTeX RDF |
FPGA, Cryptography, Reconfiguration, Coprocessor, IDEA |
11 | Thomas S. Messerges, Ezzy A. Dabbish, Robert H. Sloan |
Power Analysis Attacks of Modular Exponentiation in Smartcards. |
CHES |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Markus Vincze, Minu Ayromlou, Wilfried Kubinger |
A Modular Vision Guided System for Tracking 3D Objects in Real-Time. |
CAIP |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Bret Talko, Linda Stern, Leslie J. Kitchen |
Evolving Modular Neural Networks Using Rule-Based Genetic Programming. |
Australian Joint Conference on Artificial Intelligence |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Michel Bidoit, Rolf Hennicker |
Modular Correctness Proofs of Behavioural Implementations. |
Acta Informatica |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Takayuki Hibi |
The Comparability Graph of a Modular Lattice. |
Comb. |
1998 |
DBLP DOI BibTeX RDF |
AMS Subject Classification (1991) Classes: 06C05, 13H10 |
11 | Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon |
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
incremental specification, use case dependency analysis, Petri nets slice, Petri nets, requirements engineering, scenarios, Use cases |
11 | Sin-Horng Chen, Yuan-Fu Liao |
Modular recurrent neural networks for Mandarin syllable recognition. |
IEEE Trans. Neural Networks |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Lin-Cheng Wang, Sandor Z. Der, Nasser M. Nasrabadi |
Automatic target recognition using a feature-decomposition and data-decomposition modular neural network. |
IEEE Trans. Image Process. |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Hiroshi Nagamochi, Toshihide Ibaraki |
Polyhedral Structure of Submodular and Posi-modular Systems. |
ISAAC |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Sung-Bae Cho, Katsunori Shimohara |
Grammatical Development of Evolutionary Modular Neural Networks. |
SEAL |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Jacques Landru, Hubert Mordka, Pierre Vincent |
MONACO-Modular open network agent for control operations. |
NOMS |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Juri Põldre, Kalle Tammemäe, Marek Mandre |
Modular Exponent Realization on FPGAs. |
FPL |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Gerson G. H. Cavalheiro, Yves Denneulin, Jean-Louis Roch |
A General Modular Specification for Distributed Schedulers. |
Euro-Par |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Carsten Damm |
On Boolean vs. Modular Arithmetic for Circuits and Communication Protocols. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Paul Gastin, Raphaël Meyer, Antoine Petit 0001 |
A (Non-elementary) Modular Decision Procedure for LTrL. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Florian Kammüller |
Modular Structures as Dependent Types in Isabelle. |
TYPES |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Akihiro Yamamura |
Public-Key Cryptosystems Using the Modular Group. |
Public Key Cryptography |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Charanjit S. Jutla |
On Finding Small Solutions of Modular Multivariate Polynomial Equations. |
EUROCRYPT |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Vikraman Arvind, Richard Beigel, Antoni Lozano |
The Complexity of Modular Graph Automorphism. |
STACS |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Karen Laster, Orna Grumberg |
Modular Model Checking of Software. |
TACAS |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Radu Grosu, Thomas Stauner, Manfred Broy |
A Modular Visual Model for Hybrid Systems. |
FTRTFT |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Janusz Rajski, Jerzy Tyszer |
Modular logic built-in self-test for IP cores. |
ITC |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Joachim von zur Gathen, Igor E. Shparlinski |
The CREW PRAM Complexity of Modular Inversion. |
LATIN |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Rajive L. Bagrodia, Mario Gerla |
A Modular and Scalable Simulation Tool for Large Wireless Networks. |
Computer Performance Evaluation (Tools) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Stefan Dobrev, Peter Ruzicka |
Yet Another Modular Technique for Efficient Leader Election. |
SOFSEM |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Monika Woszczyna, Matthew Broadhead, Donna Gates, Marsal Gavaldà, Alon Lavie, Lori S. Levin, Alex Waibel |
A Modular Approach to Spoken Language Translation for Large Domains. |
AMTA |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Yongjin Jeong, Wayne P. Burleson |
VLSI array algorithms and architectures for RSA modular multiplication. |
IEEE Trans. Very Large Scale Integr. Syst. |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Bao-Liang Lu, Masami Ito |
Task Decomposition Based on Class Relations: A Modular Neural Network Architecture for Pattern Classification. |
IWANN |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti |
A Comparison of Modular Verification Techniques. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Anindya Banerjee 0001 |
A Modular, Polyvariant, and Type-Based Closure Analysis. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
11 | David M'Raïhi, David Naccache, Jacques Stern, Serge Vaudenay |
XMX: A Firmware-Oriented Block Cipher Based on Modular Multiplications. |
FSE |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Lambert Spaanenburg, Walter J. Jansen, J. A. G. Nijhuis |
Over Multiple Rule-blocks to Modular Nets. |
EUROMICRO |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Mike Parks |
A Modular Element for Shared Buffer ATM Switch Fabrics. |
ASAP |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Gernot Kronreif, Robert Probst |
Modular Control System for Robotized Cells and Lines. |
EUROCAST |
1997 |
DBLP DOI BibTeX RDF |
|
11 | N. K. Sharma |
Modular design of a large sorting network. |
ISPAN |
1997 |
DBLP DOI BibTeX RDF |
large sorting network, Batcher-banyan interconnection network, Batcher sorting networks, shared memory ATM switch, multiprocessor interconnection networks, VLSI technology |
11 | Eugenio Battiston, Fiorella de Cindio, Giancarlo Mauri |
Modular Algebraic Nets to Specify Concurrent Systems. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
distributed systems, Formal specification, Petri nets, environments, compositionality, OBJ |
11 | Tsuyoshi Takagi, Shozo Naito |
The Multi-variable Modular Polynomial and Its Applications to Cryptography. |
ISAAC |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever, Frank A. Stomp |
Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development. |
FME |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Basim M. Kadhim, William M. Waite |
Maptool - Supporting Modular Syntax Development. |
CC |
1996 |
DBLP DOI BibTeX RDF |
parsing grammar, syntax development, syntax mapping, modularity, Abstract syntax, concrete syntax, tree construction |
11 | Suzanne M. Embury, Peter M. D. Gray |
A Modular Compiler Architecture for a Data Manipulation Language. |
BNCOD |
1996 |
DBLP DOI BibTeX RDF |
run-time compiling, semantic data models, data manipulation languages |
11 | Nidhi Agrawal, Parul Agarwal, C. P. Ravikumar |
Efficient Delay Test Generation for Modular Circuits. |
Great Lakes Symposium on VLSI |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Hangu Yeo, Yu Hen Hu |
A Modular Architecture for Real Time HDTV Motion Estimation with Large Search Range. |
Great Lakes Symposium on VLSI |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Jürgen Dingel |
Modular Verification for Shared-Variable Concurrent Programs. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Alexandre S. de la Vega, Paulo S. R. Diniz, Antonio Carneiro de Mesquita Filho, Andreas Antoniou |
A modular distributed-arithmetic implementation of the inner product and its application to digital filters. |
J. VLSI Signal Process. |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Eugenio Battiston, Oliver Botti, E. Crivelli, Fiorella de Cindio |
An Incremental Specification of a Hydroelectric Power Plant Control Systems using a Class of Modular Algebraic Nets. |
Application and Theory of Petri Nets |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Sheng Liang, Paul Hudak, Mark P. Jones |
Monad Transformers and Modular Interpreters. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Holger Orup |
Simplifying Quotient Determination in High-Radix Modular Multiplication. |
IEEE Symposium on Computer Arithmetic |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Paola Bonizzoni, Gianluca Della Vedova |
Modular Decomposition of Hypergraphs. |
WG |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Thomas H. Drayer, Joseph G. Tront, William E. King IV, Richard W. Conners |
MORRPH: a modular and reprogrammable real-time processing hardware. |
FCCM |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Suresh Jagannathan |
Metalevel Building Blocks for Modular Systems. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
modularity, reflection, higher-order programming |
11 | Anastasia Analyti, Sakti Pramanik |
Declarative Semantics for Contradictory Modular Logic Programs. |
ISMIS |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Serafino Cicerone, Francesco Parisi-Presicce |
Strategies in Modular System Design by Interface Rewriting. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Mohamed Omar Rayes, Paul S. Wang, Kenneth Weber |
Parallelization of the Sparse Modular GCD Algorithm for Multivariate Polynomials on Shared Memory Multiprocessors. |
ISSAC |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Anna Antola, Alberto Avai, Luca Breveglieri |
Modular design methodologies for image processing architectures. |
IEEE Trans. Very Large Scale Integr. Syst. |
1993 |
DBLP DOI BibTeX RDF |
|
11 | D. D. Sharma, Fred J. Meyer, Dhiraj K. Pradhan |
Yield optimization of modular and redundant multimegabit RAMs: a study of effectiveness of coding versus static redundancy using the center-satellite model. |
IEEE Trans. Very Large Scale Integr. Syst. |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Paul Bucheit |
INFANT: A Modular Approach to Natural Language Processing. |
ACM Conference on Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Naofumi Takagi |
A modular multiplication algorithm with triangle additions. |
IEEE Symposium on Computer Arithmetic |
1993 |
DBLP DOI BibTeX RDF |
|
11 | David A. Carrington, David J. Duke, Ian J. Hayes, Jim Welsh |
Deriving Modular Designs from Formal Specifications. |
SIGSOFT FSE |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Satish M. Thatte |
A Modular and Open Object-Oriented Database System. |
SIGMOD Rec. |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Yeow Meng Chee, Antoine Joux, Jacques Stern |
The Cryptanalysis of a New Public-Key Cryptosystem Based on Modular Knapsacks. |
CRYPTO |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Ephraim Korach, Shay Kutten, Shlomo Moran |
A Modular Technique for the Design of Efficient Distributed Leader Finding Algorithms. |
ACM Trans. Program. Lang. Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Augusto Sampaio, Silvio Romero de Lemos Meira |
Modular Extensions to Z. |
VDM Europe |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Michael Mñuk |
A Div(n) Depth Boolean Circuit for Smooth Modular Inverse. |
IMYCS |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Victor Yodaiken |
A Logic-Free Method for Modular Composition of Specifications. |
ICCI |
1990 |
DBLP DOI BibTeX RDF |
|
11 | G. A. Reece, Nicholas V. Findler |
Toward a Blackboard Framework for Opportunistic Planning and Dynamic Scheduling in a Modular Job Shop Scheduling System. |
IEA/AIE (Vol. 1) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Walter Fumy, Michael Munzert |
A Modular Approach to Key Distribution. |
CRYPTO |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Martin Wirsing, Manfred Broy |
A Modular Framework for Specification and Implementation. |
TAPSOFT, Vol.1 |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Francesco Parisi-Presicce |
Modular System Design Applying Graph Grammars Techniques. |
ICALP |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Divyakant Agrawal, Soumitra Sengupta |
Modular Synchronization in Multiversion Databases: versionControl and Concurrency Control. |
SIGMOD Conference |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Alfred Z. Spector |
Modular Architectures for Distributed and Database Systems. |
PODS |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Hikaru Morita |
A Fast Modular-multiplication Algorithm based on a Higher Radix. |
CRYPTO |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Max J. Egenhofer, Andrew U. Frank |
A precompiler for modular, transportable Pascal. |
ACM SIGPLAN Notices |
1988 |
DBLP DOI BibTeX RDF |
Pascal |
11 | N. W. P. van Diepen |
Implementation of Modular Algebraic Specifications. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
11 | Walter Vogler |
Failures Semantics and Deadlocking of Modular Petri Nets. |
MFCS |
1988 |
DBLP DOI BibTeX RDF |
|
11 | Ajoy Kumar Datta, Sukumar Ghosh |
Modular Synthesis of Deadlock-Free Control Structures. |
FSTTCS |
1986 |
DBLP DOI BibTeX RDF |
regular nets, Petri nets, synthesis, deadlock |
11 | Rainer Brück 0001, Bernd Kleinjohann, Thomas Kathöfer, Franz J. Rammig |
Synthesis of concurrent modular controllers from algorithmic descriptions. |
DAC |
1986 |
DBLP DOI BibTeX RDF |
|
11 | Robert B. Schnabel, John E. Koontz, Barry E. Weiss |
A Modular System of Algorithms for Unconstrained Minimization. |
ACM Trans. Math. Softw. |
1985 |
DBLP DOI BibTeX RDF |
UNCMIN |
11 | Shaula Yemini, Daniel M. Berry |
A Modular Verifiable Exception-Handling Mechanism. |
ACM Trans. Program. Lang. Syst. |
1985 |
DBLP DOI BibTeX RDF |
ALGOL-68 |
11 | Jacky Estublier, S. Ghoul, Sacha Krakowiak |
Preliminary Experience with a Configuration Control System for Modular Programs. |
Software Development Environments (SDE) |
1984 |
DBLP DOI BibTeX RDF |
|
11 | Antoni W. Mazurkiewicz |
Semantics of concurrent systems: a modular fixed-point trace approach. |
European Workshop on Applications and Theory in Petri Nets |
1984 |
DBLP DOI BibTeX RDF |
fixed point method, Petri nets, synchronization, modularity, traces, Concurrent systems, concurrent processes, system composition |
11 | Robert P. Trueblood, H. Rex Hartson, Johannes J. Martin |
MULTISAFE - A Modular Multiprocessing Approach to Secure Database Management. |
ACM Trans. Database Syst. |
1983 |
DBLP DOI BibTeX RDF |
back-end database, intermodule communication, secure database, access control, abstract data types |
11 | Brent Hailpern, Susan S. Owicki |
Modular Verification of Concurrent Programs. |
POPL |
1982 |
DBLP DOI BibTeX RDF |
|
11 | Amauri A. Arroyo, D. G. Childers |
A modular software real-time brain wave detection system. |
ACM Southeast Regional Conference |
1982 |
DBLP DOI BibTeX RDF |
Real-time signal processing, command macros, common database, external controls, feature extraction classification, single EEG records, menus, structured design |
11 | James D. Mooney |
MFS: a modular text formatting system. |
AFIPS National Computer Conference |
1982 |
DBLP DOI BibTeX RDF |
|
11 | Gerald C. O'Leary, P. E. Blankenship, Joseph Tierney, Joel A. Feldman |
A modular approach to packet voice terminal hardware design. |
AFIPS National Computer Conference |
1981 |
DBLP DOI BibTeX RDF |
|
11 | Shy-Ming Ju |
Modular programming conventions in assembly languages. |
AFIPS National Computer Conference |
1977 |
DBLP DOI BibTeX RDF |
|
11 | Stephen S. Yau, Calvin K. Tang |
Universal logic circuits and their modular realizations. |
AFIPS Spring Joint Computing Conference |
1968 |
DBLP DOI BibTeX RDF |
|
10 | Mario Amelung, Katrin Krieger, Dietmar F. Rösner |
E-Assessment as a Service. |
IEEE Trans. Learn. Technol. |
2011 |
DBLP DOI BibTeX RDF |
learning control systems, computer-aided assessment, eduComponents, web services, service-oriented architecture, e-learning, programming, Computer science education, learning systems, e-assessment, modular computer systems |
10 | Long Ngo, Colin Boyd, Juanma González Nieto |
Automated Proofs for Diffie-Hellman-Based Key Exchanges. |
CSF |
2011 |
DBLP DOI BibTeX RDF |
modular, automated, key exchange, Diffie-Hellman |
10 | Akla-Esso Tchao, Matteo Risoldi, Giovanna Di Marzo Serugendo |
Modeling Self-* Systems Using Chemically-Inspired Composable Patterns. |
SASO |
2011 |
DBLP DOI BibTeX RDF |
model, reuse, modular, systems |
10 | Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer |
A Categorical Modeling Approach of Aspect-Oriented Systems. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
Algebraic Specification, Category Theory, Aspect-Oriented Modeling, Modular Reasoning |
10 | Karine Altisen, Matthieu Moy |
ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre. |
ECRTS |
2010 |
DBLP DOI BibTeX RDF |
Modular Performance Analysis, Formal methods, Observer, Lustre, Real-Time Calculus |
10 | Ferhat Ay, Thang N. Dinh, My T. Thai, Tamer Kahveci |
Finding Dynamic Modules of Biological Regulatory Networks. |
BIBE |
2010 |
DBLP DOI BibTeX RDF |
dynamic modular structure, regulatory networks |
10 | Bastian Laubner |
Capturing Polynomial Time on Interval Graphs. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
capturing of polynomial time, fixed-point logic with counting, interval graphs, canonical forms, modular decomposition |
10 | Andrzej Filinski |
Monads in action. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
modular semantics, monads, computational effects |
10 | Raúl A. Santelices, Mary Jean Harrold |
Exploiting program dependencies for scalable multiple-path symbolic execution. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
invariant detection, modular analysis, path family, test suite augmentation, verification, program analysis, test generation, data dependence, symbolic execution, control dependence, change analysis, path sensitive analysis, path condition |