Search results for "macros"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Gergely Kovásznai, Constantine Kotropoulos, Ioannis Pitas	CAML - A Universal Configuration Language for Dialogue Systems.	DEXA	2003	DBLP DOI BibTeX RDF
11	Petr Sojka	Rapid evaluation using multiple choice tests and TeX.	ITiCSE	2003	DBLP DOI BibTeX RDF	multiple-choice tests, evaluation, information system, TeX
11	Ravi Varadarajan	Convergence of placement technology in physical synthesis: is placement really a point tool?	ISPD	2003	DBLP DOI BibTeX RDF
11	Silvanus T. Enns, Pattita Suwanruji	Simulation test bed for manufacturing analysis: a simulation test bed for producton and supply chain modeling.	WSC	2003	DBLP DOI BibTeX RDF
11	Juan Carlos Rojas, Miriam Leeser	Programming portable optimized multimedia applications.	ACM Multimedia	2003	DBLP DOI BibTeX RDF	TriMedia, optimization, multimedia, SIMD, portability, MMX, SSE, AltiVec, SSE2
11	Markus Hütter, Holger Bock, Michael Scheppler	A New Reconfigurable Architecture for Single Cycle Context Switching.	IPDPS	2003	DBLP DOI BibTeX RDF
11	Jason Sungtae Kim, Michael Bedford Taylor, Jason E. Miller, David Wentzlaff	Energy characterization of a tiled architecture processor with on-chip networks.	ISLPED	2003	DBLP DOI BibTeX RDF	raw microprocessor, scalar operand network, power, tile
11	Matteo Dall'Osso, Gianluca Biccari, Luca Giovannini, Davide Bertozzi, Luca Benini	xpipes: a Latency Insensitive Parameterized Network-on-chip Architecture For Multi-Processor SoCs.	ICCD	2003	DBLP DOI BibTeX RDF
11	David B. Tucker, Shriram Krishnamurthi	Pointcuts and advice in higher-order languages.	AOSD	2003	DBLP DOI BibTeX RDF
11	Michael D. Ernst, Greg J. Badros, David Notkin	An Empirical Analysis of C Preprocessor Use.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	C preprocessor, macro substitution, file inclusion, C++, empirical study, C, program understanding, macro, conditional compilation, Cpp
11	Ryan Kastner, Adam Kaplan, Seda Ogrenci Memik, Elaheh Bozorgzadeh	Instruction generation for hybrid reconfigurable systems.	ACM Trans. Design Autom. Electr. Syst.	2002	DBLP DOI BibTeX RDF	FPGA, high-level synthesis, reconfigurable computing
11	Claus Brabrand, Anders Møller, Michael I. Schwartzbach	The project.	ACM Trans. Internet Techn.	2002	DBLP DOI BibTeX RDF	Interactive Web services, World Wide Web (WWW), program analysis, HTML
11	Pedro C. Diniz, Joonseok Park	Data reorganization engines for the next generation of system-on-a-chip FPGAs.	FPGA	2002	DBLP DOI BibTeX RDF	field-programmable-gate-arrays (FPGAs), high-level synthesis, data reorganization
11	Sriram Swaminathan, Russell Tessier, Dennis Goeckel, Wayne P. Burleson	A dynamically reconfigurable adaptive viterbi decoder.	FPGA	2002	DBLP DOI BibTeX RDF	field-programmable-gate-arrays (FPGAs), high-level synthesis, data reorganization
11	Peter Jamieson, Angelos Bilas	CableS: Thread Control and Memory Management Extensions for Shared Virtual Memory Clusters.	HPCA	2002	DBLP DOI BibTeX RDF	cluster, SVM, pthread, single system image
11	Francisco Cardells-Tormo, Javier Valls-Coquillat	High Performance Quadrature Digital Mixers for FPGAs.	FPL	2002	DBLP DOI BibTeX RDF
11	Torsten Wilde, James Arthur Kohl, Ray E. Flanery Jr.	Integrating CUMULVS into AVS/Express.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF	CUMULVS, AVS/Express, Scientific Visualization, Component-Based Design
11	Timothy N. Wright, Andy Cockburn	Mulspren: a MUltiple Language Simulation PRogramming ENvironment.	HCC	2002	DBLP DOI BibTeX RDF
11	Mats Blomquist	Braille Contractions in WinBraille.	ICCHP	2002	DBLP DOI BibTeX RDF
11	Marc K. Zimmerman, Kristina Lundqvist, Nancy G. Leveson	Investigating the readability of state-based formal requirements specification languages.	ICSE	2002	DBLP DOI BibTeX RDF
11	Syed Mahfuzul Aziz, C. N. Basheer, Joarder Kamruzzaman	A Synthesisable VHDL Model for an Easily Testable Generalised Multiplier.	DELTA	2002	DBLP DOI BibTeX RDF	Modified Booth, Generic, Synthesis, VHDL, Multiplier, C-Testable
11	Blaise Genest, Anca Muscholl	Pattern Matching and Membership for Hierarchical Message Sequence Charts.	LATIN	2002	DBLP DOI BibTeX RDF
11	Susanna Donatelli, Liliana Ferro	Validation of GSPN and SWN Models through the PROD Tool.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
11	Xiaoliang Bai, Chandramouli Visweswariah, Philip N. Strenski	Uncertainty-aware circuit optimization.	DAC	2002	DBLP DOI BibTeX RDF	small uncertainty, optimization, process variation, nonlinear, performance optimization, transistor sizing, circuit tuning
11	L. Peter Deutsch	Engineering broad-spectrum document software: lessons from ghostscript.	ACM Symposium on Document Engineering	2002	DBLP DOI BibTeX RDF
11	Nico Jacobs, Hendrik Blockeel	The Learning Shell: Automated Macro Construction.	User Modeling	2001	DBLP DOI BibTeX RDF	interface adaptation, machine learning, inductive logic programming
11	J Strother Moore	Finite Set Theory in ACL2.	TPHOLs	2001	DBLP DOI BibTeX RDF
11	István T. Hernádvölgyi	Searching for Macro Operators with Automatically Generated Heuristics.	AI	2001	DBLP DOI BibTeX RDF
11	Yasunori Harada, Kenichi Yamazaki, Richard Potter	CCC: User-Defined Object Structure in C.	ECOOP	2001	DBLP DOI BibTeX RDF
11	Veselko Gustin, Patricio Bulic	Extracting SIMD Parallelism from 'for' Loops.	ICPP Workshops	2001	DBLP DOI BibTeX RDF
11	Toshiyuki Masui	HyperSnapping.	HCC	2001	DBLP DOI BibTeX RDF
11	Pedro Guerreiro	Simple Support for Design by Contract in C++.	TOOLS (39)	2001	DBLP DOI BibTeX RDF
11	Sujatha Sundararaman, Sriram Govindarajan, Ranga Vemuri	Application Specific Macro Based Synthesis.	VLSI Design	2001	DBLP DOI BibTeX RDF
11	Ben L. Di Vito	High-automation proofs for properties of requirements models.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Avionics software, Proof strategies, Formal methods, Theorem proving, Requirements analysis
11	Gerd Jochens, Lars Kruse, Eike Schmidt, Ansgar Stammermann, Wolfgang Nebel	Power Macro-Modelling for Firm-Macro.	PATMOS	2000	DBLP DOI BibTeX RDF
11	Junji Ogawa, Mark Horowitz	A 64Mbit Mesochronous Hybrid Wave Pipelined Multibank DRAM Macro.	Intelligent Memory Systems	2000	DBLP DOI BibTeX RDF
11	Radhika S. Grover, Weijia Shang, Qiang Li	A Comparison of FPGA Implementations of Bit-Level and Word-Level Matrix Multipliers.	FPL	2000	DBLP DOI BibTeX RDF
11	Aaron Schneider, Robert McIlhenny, Milos D. Ercegovac	BigSky-An On-Line Arithmetic Design Tool for FPGAs.	FCCM	2000	DBLP DOI BibTeX RDF
11	Sukalyan Mukherjee	Design for Testability to Achieve High Test Coverage - A Case Study.	DFT	2000	DBLP DOI BibTeX RDF
11	B. Suresh, Biswadeep Chaterjee, R. Harinath	Synthesizable RAM-Alternative to Low Configuration Compiler Memory for Die Area Reduction.	VLSI Design	2000	DBLP DOI BibTeX RDF	Synthesizable RAM, Compiler Memory, ASIC library, Die Area Reduction, Testability
11	Mahadevamurty Nemani, Vivek Tiwari	Macro-driven circuit design methodology for high-performance datapaths.	DAC	2000	DBLP DOI BibTeX RDF
11	Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov	Can recursive bisection alone produce routable placements?	DAC	2000	DBLP DOI BibTeX RDF
11	Fulvio Corno, Uwe Gläser, Paolo Prinetto, Matteo Sonza Reorda, Heinrich Theodor Vierhaus, Massimo Violante	SymFony: a hybrid topological-symbolic ATPG exploiting RT-level information.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
11	Hsiao-Pin Su, Allen C.-H. Wu, Youn-Long Lin	A timing-driven soft-macro placement and resynthesis method in interaction with chip floorplanning.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
11	Daisuke Ikeda	Characteristic Sets of Strings Common to Semi-structured Documents.	Discovery Science	1999	DBLP DOI BibTeX RDF
11	Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen	Expressing Structural Properties as Language Constructs.	ESOP	1999	DBLP DOI BibTeX RDF
11	Guenter Gerwig, Michael Kroener	Floating-Point Unit in Standard Cell Design with 116 Bit Wide Dataflow.	IEEE Symposium on Computer Arithmetic	1999	DBLP DOI BibTeX RDF
11	Srihari Cadambi, Seth Copen Goldstein	CPR: A Configuration Profiling Tool.	FCCM	1999	DBLP DOI BibTeX RDF
11	Michiaki Tatsubori, Shigeru Chiba, Kozo Itano, Marc-Olivier Killijian	OpenJava: A Class-Based Macro System for Java.	Reflection and Software Engineering	1999	DBLP DOI BibTeX RDF
11	Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda, Massimo Violante	Exploiting Symbolic Techniques for Partial Scan Flip Flop Selection.	DATE	1998	DBLP DOI BibTeX RDF
11	Alessandro Bogliolo, Luca Benini, Giovanni De Micheli	Characterization-Free Behavioral Power Modeling.	DATE	1998	DBLP DOI BibTeX RDF	Modeling, Power consumption, RTL Simulation
11	Michael Karasick	The Architecture of Montana: An Open and Extensible Programming Environment with an Incremental C++.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF	conpilation, incremental development environments, C++, C++, frameworks, programming environments, extensible systems, incremental compilation
11	Masatomo Hashimoto	First-Class Contexts in ML.	ASIAN	1998	DBLP DOI BibTeX RDF
11	Mahesh Mehendale, Sunil D. Sherlekar, G. Venkatesh 0001	Algorithmic and Architectural Transformations for Low Power Realization of FIR Filters.	VLSI Design	1998	DBLP DOI BibTeX RDF	Hardware/Software High Level Synthesis, Low Power Design, FIR Filters
11	Ira D. Baxter, Andrew Yahin, Leonardo Mendonça de Moura, Marcelo Sant'Anna, Lorraine Bier	Clone Detection Using Abstract Syntax Trees.	ICSM	1998	DBLP DOI BibTeX RDF	Design Maintenance System, Software maintenance, clone detection, software evaluation
11	Ralph Frisbie, Richard Hendrickson, Michael Metcalf	The F Programming Language.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF	FCL
11	László Csaba	Experience with User Interface Reengineering Transferring DOS Panels to Windows.	CSMR	1997	DBLP DOI BibTeX RDF	Artificial User Program, S-Prog, Word Basic, Windows, Remote Controlling, DOS, User Interface Reengineering
11	Stephen Siu, Ajit Singh	Design Patterns for Parallel Computing using a Network of Processors.	HPDC	1997	DBLP DOI BibTeX RDF
11	Saman Adham, Sanjay Gupta	DP-BIST: A Built-In Self Test For DSP DataPaths A Low Overhead and High Fault Coverage Technique.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF
11	Vinod Narayanan, Barbara A. Chappell, Bruce M. Fleischer	Static timing analysis for self resetting circuits.	ICCAD	1996	DBLP DOI BibTeX RDF
11	Gail C. Murphy, David Notkin, Erica S.-C. Lan	An Empirical Study of Static Call Graph Extractors.	ICSE	1996	DBLP BibTeX RDF	C call graphs, CIA, cflow, extraction tools, gee, mapmaker, mk-functmap, rigiparse, static call graph extractors, understanding task, optimization, software engineers, compilers, graph theory, software tools, program understanding, program compilers, mosaic, software systems, program diagnostics, quantitative analysis, qualitative analysis, Field, software engineering tools, false negatives
11	Georges Gardarin, Fernando Machuca, Philippe Pucheral	OFL: A Functional Execution Model for Object Query Languages.	SIGMOD Conference	1995	DBLP DOI BibTeX RDF
11	Brian T. Graham	An Interpretation of NODEN in HOL.	TPHOLs	1994	DBLP DOI BibTeX RDF
11	Harley Davis, Pierre Parquier, Nitsan Séniak	Talking About Modules and Delivery.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	LISP
11	Henry Lieberman	Mondrian: a teachable graphical editor.	INTERCHI	1993	DBLP DOI BibTeX RDF	direct-manipulation interfaces, machine learning, artificial intelligence, end-user programming, programming by demonstration, graphical editing
11	Hans-Rudolf Heeb, Wolfgang Fichtner	A module generator based on the PQ-tree algorithm.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1992	DBLP DOI BibTeX RDF
11	Ana Bove, Laura Arbilla	A Confluent Calculus of Macro Expansion and Evaluation.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
11	Wing K. Luk, Alvar A. Dean	Multistack optimization for data-path chip layout.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
11	Kenneth A. Kaufman, Ryszard S. Michalski, Larry Kerschberg	Knowledge Extraction from Databases: Design Princiles of the INLEN System.	ISMIS	1991	DBLP DOI BibTeX RDF
11	David J. Thuente, Robert L. Sedlmeyer	A macro preprocessor for the simulation language network II.5.	Annual Simulation Symposium	1990	DBLP DOI BibTeX RDF	C
11	Alan Bawden, Jonathan Rees	Syntactic Closures.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
11	Eugene E. Kohlbecker, Mitchell Wand	Macro-by-Example: Deriving Syntactic Transformations from their Specifications.	POPL	1987	DBLP DOI BibTeX RDF
11	Peter S. Hauge, Ellen J. Yoffa	Vanguard: a chip physical design system.	DAC	1986	DBLP DOI BibTeX RDF
11	Scott Davidson 0001	High level design automation tools (session overview).	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
11	Ellen J. Yoffa, Peter S. Hauge	ACORN: a local customization approach to DCVS physical design.	DAC	1985	DBLP DOI BibTeX RDF
11	James D. Mooney	MFS: a modular text formatting system.	AFIPS National Computer Conference	1982	DBLP DOI BibTeX RDF
11	Hanan Samet	A Coroutine Approach to Parsing.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF
11	Wilfred J. Hansen	Compact list representation: definition, garbage collection, and system implementation.	Commun. ACM	1969	DBLP DOI BibTeX RDF	compact list, free storage, list processing system, list representation, plex, plex processing, primitive list operations, storage reclamation, data structure, garbage collection, LISP, LISP, pointer, data representation, macro, list, relocation, list structure
11	John R. B. Whittlesey	A rapid method for digital filtering.	Commun. ACM	1964	DBLP DOI BibTeX RDF