Search results for "modular"

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