Search results for "SPARC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	R. Vinodh Kumar, B. Lakshmi Narayanan, R. Govindarajan	Dynamic Path Profile Aided Recompilation in a JAVA Just-In-Time Compiler.	HiPC	2002	DBLP DOI BibTeX RDF
11	Jens Tröger, Cristina Cifuentes	Analysis of Virtual Method Invocation for Binary Translation.	WCRE	2002	DBLP DOI BibTeX RDF
11	Mikael Pettersson, Konstantinos Sagonas, Erik Johansson	The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation.	FLOPS	2002	DBLP DOI BibTeX RDF
11	Pierluigi Civera, Luca Macchiarulo, Massimo Violante	A Simplified Gate-Level Fault Model for Crosstalk Effects Analysis.	DFT	2002	DBLP DOI BibTeX RDF
11	Martin Saint-Laurent, Vojin G. Oklobdzija, Simon S. Singh, Madhavan Swaminathan	Optimal Sequencing Energy Allocation for CMOS Integrated Systems.	ISQED	2002	DBLP DOI BibTeX RDF	Energy Allocation, Clocked Storage Elements, Clock Distribution
11	Fu-Min Yeh, Hung-Yau Lin, Sy-Yen Kuo	Analyzing Network Reliability With Imperfect Nodes Using OBDD.	PRDC	2002	DBLP DOI BibTeX RDF
11	Tetsuya Izu, Tsuyoshi Takagi	Fast Elliptic Curve Multiplications with SIMD Operations.	ICICS	2002	DBLP DOI BibTeX RDF	NAF, SIMD operations, side channel attacks, Elliptic Curve Cryptosystems (ECC), scalar multiplication, window method
11	Kevin Scott, Jack W. Davidson	Safe Virtual Execution Using Software Dynamic Translation.	ACSAC	2002	DBLP DOI BibTeX RDF
11	Yul Chu, Mabo Robert Ito	An Efficient Indirect Branch Predictor.	Euro-Par	2001	DBLP DOI BibTeX RDF
11	Nouredine Melab, El-Ghazali Talbi, Serge G. Petiton	A Parallel Adaptive Gauss-Jordan Algorithm.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	Gauss-Jordan algorithm, meta-systems, scheduling, fault tolerance, out-of-core, network of workstations (NOW), adaptive parallelism
11	Jaime Seguel, Dorothy Bollman, John Feo	A Framework for the Design and Implementation of FFT Permutation Algorithms.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	Tensor sum, induced permutation, index-digit permutation, mixed-radix digit-reversal
11	Desikachari Nadadur, Robert M. Haralick	Recursive binary dilation and erosion using digital line structuring elements in arbitrary orientations.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
11	Martin Hirzel, Amer Diwan	On the Type Accuracy of Garbage Collection.	ISMM	2000	DBLP DOI BibTeX RDF
11	Cristina Cifuentes, Doug Simon	Procedure Abstraction Recovery from Binary Code.	CSMR	2000	DBLP DOI BibTeX RDF
11	Ronald G. Ross	Expressing Business Rules.	SIGMOD Conference	2000	DBLP DOI BibTeX RDF
11	William Fornaciari, M. Polentarutti, Donatella Sciuto, Cristina Silvano	Power optimization of system-level address buses based on software profiling.	CODES	2000	DBLP DOI BibTeX RDF
11	Zhichen Xu, Barton P. Miller, Thomas W. Reps	Safety checking of machine code.	PLDI	2000	DBLP DOI BibTeX RDF
11	Chung-Ming Huang, Jenq-Muh Hsu	An Estelle-Based Probabilistic Partial Timed Protocol Verification System.	ICPADS	2000	DBLP DOI BibTeX RDF
11	Chung-Ming Huang, Chian Wang, Hsu-Yang Kung	A Synchronization and Flow Control Scheme for Interactive Multimedia-on-Demand (MOD) Systems.	ICPADS	2000	DBLP DOI BibTeX RDF	VCR-like User Interactions, Multimedia Communication, Synchronization Control, Multi-Stream
11	Yul Chu, Mabo Robert Ito	A 2-Way Thrashing-Avoidance Cache (TAC): An Efficient Instruction Cache Scheme for Object-Oriented Languages.	ICCD	2000	DBLP DOI BibTeX RDF
11	Tomás Bautista, Antonio Núñez	Synthesis Experiments and Performance Metrics for Evaluating the Quality of IP Blocks and Megacells.	ISQED	2000	DBLP DOI BibTeX RDF
11	Milo M. K. Martin, Daniel J. Sorin, Anastassia Ailamaki, Alaa R. Alameldeen, Ross M. Dickson, Carl J. Mauer, Kevin E. Moore, Manoj Plakal, Mark D. Hill, David A. Wood 0001	Timestamp snooping: an approach for extending SMPs.	ASPLOS	2000	DBLP DOI BibTeX RDF
11	Dawson R. Engler, Wilson C. Hsieh	Derive: a tool that automatically reverse-engineers instruction encodings.	Dynamo	2000	DBLP DOI BibTeX RDF
11	Seungjoon Park, David L. Dill	An Executable Specification and Verifier for Relaxed Memory Order.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	formal method, Multiprocessors, memory models, automatic verification, executable specification
11	Sriganesh Madhvanath, Evelyn Kleinberg, Venu Govindaraju	Holistic Verification of Handwritten Phrases.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	Word verification, word shape matching, address interpretation, handwritten word recognition, holistic approaches
11	Jisang Yoo, Kevin L. Fong, Jr-Jen Huang, Edward J. Coyle, George B. Adams III	A fast algorithm for designing stack filters.	IEEE Trans. Image Process.	1999	DBLP DOI BibTeX RDF
11	Byung-Sun Yang, Soo-Mook Moon, Seongbae Park, Junpyo Lee, SeungIl Lee, Jinpyo Park, Yoo C. Chung, Suhyun Kim, Kemal Ebcioglu, Erik R. Altman	LaTTe: A Java VM Just-In-Time Compiler with Fast and Efficient Register Allocation.	IEEE PACT	1999	DBLP DOI BibTeX RDF	Java JIT compilation, register allocation
11	Ole Agesen, David Detlefs, Alex Garthwaite, Ross C. Knippel, Y. S. Ramakrishna, Derek White	An Efficient Meta-Lock for Implementing Ubiquitous Synchronization.	OOPSLA	1999	DBLP DOI BibTeX RDF	concurrent threads, object-oriented language implementation, synchronization
11	Cristina Cifuentes, Mike Van Emmerik	Recovery of Jump Table Case Statements from Binary Code.	IWPC	1999	DBLP DOI BibTeX RDF	Reverse engineering, binary translation, decompilation
11	Gaofeng Qian	An Engine for Cursive Handwriting Interpretation.	ICTAI	1999	DBLP DOI BibTeX RDF	segmentation, Handwriting recognition, user-adaptive, cursive script recognition
11	John Cruz, Kihong Park	DUNES: A Performance-Oriented System Support Environment for Dependency Maintenance in Workstation Networks.	HPDC	1999	DBLP DOI BibTeX RDF
11	Zhichen Xu, Barton P. Miller, Oscar Naim	Dynamic Instrumentation of Threaded Applications.	PPoPP	1999	DBLP DOI BibTeX RDF
11	Aaron S. Wallack, Dinesh Manocha	Robust Algorithms for Object Localization.	Int. J. Comput. Vis.	1998	DBLP DOI BibTeX RDF	object registration, resultants, object localization
11	Roderick Moten	Exploiting Parallelism in Interactive Theorem Provers.	TPHOLs	1998	DBLP DOI BibTeX RDF
11	Giulio Iannello, Mario Lauria, Stefano Mercolino	Cross-Platform Analysis of Fast Messages for Myrinet.	CANPC	1998	DBLP DOI BibTeX RDF
11	Jae-Woo Ahn, Soo-Mook Moon, Wonyong Sung	An Efficient Compiled Simulation System for VLIW Code Verification.	Annual Simulation Symposium	1998	DBLP DOI BibTeX RDF
11	Zhaoyun Xing, Prithviraj Banerjee	A parallel algorithm for zero skew clock tree routing.	ISPD	1998	DBLP DOI BibTeX RDF
11	Jonathan Babb, Russell Tessier, Matthew Dahl, Silvina Hanono, David M. Hoki, Anant Agarwal	Logic emulation with virtual wires.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
11	Gyeonghwan Kim, Venu Govindaraju	A Lexicon Driven Approach to Handwritten Word Recognition for Real-Time Applications.	IEEE Trans. Pattern Anal. Mach. Intell.	1997	DBLP DOI BibTeX RDF	variable duration, chain code representation, dynamic programming, Handwritten word recognition, segmentation algorithm
11	Anil K. Jain 0001, Lin Hong, Ruud M. Bolle	On-Line Fingerprint Verification.	IEEE Trans. Pattern Anal. Mach. Intell.	1997	DBLP DOI BibTeX RDF	ridge extraction, verification, Biometrics, matching, fingerprints, minutia, orientation field
11	David Ung, Cristina Cifuentes	SRL 3/4-A Simple Retargetable Loader.	Australian Software Engineering Conference	1997	DBLP DOI BibTeX RDF
11	Cristiana Amza, Alan L. Cox, Sandhya Dwarkadas, Willy Zwaenepoel	Software DSM Protocols that Adapt between Single Writer and Multiple Writer.	HPCA	1997	DBLP DOI BibTeX RDF
11	Jean Michel Marie-Julie, Hassane Essafi	Digital Image Indexing and Retrieval by Content Using the Fractal Transform for Multimedia Databases.	ADL	1997	DBLP DOI BibTeX RDF
11	Jens Ernst, William S. Evans, Christopher W. Fraser, Steven Lucco, Todd A. Proebsting	Code Compression.	PLDI	1997	DBLP DOI BibTeX RDF
11	Christian S. Collberg	Reverse Interpretation + Mutation Analysis = Automatic Retargeting.	PLDI	1997	DBLP DOI BibTeX RDF	C
11	Kanad Ghose, Seth Melnick, Tom Gaska, Seth Goldberg, Arun K. Jayendran, Brian T. Stein	The Implementation of Low Latency Communication Primitives in the Snow Prototype.	ICPP	1997	DBLP DOI BibTeX RDF	clusters, distributed shared memory, network of workstations, barrier synchronization
11	Sriganesh Madhvanath, Evelyn Kleinberg, Venu Govindaraju, Sargur N. Srihari	The HOVER System for Rapid Holistic Verification of Off-lineHandwritten Phrases.	ICDAR	1997	DBLP DOI BibTeX RDF	word verification, word shape matching, address interpretation, handwritten word recognition, holistic approaches
11	Todd A. Proebsting, Benjamin R. Whaley	One-Pass, Optimal Tree Parsing - With Or Without Trees.	CC	1996	DBLP DOI BibTeX RDF
11	R. Gopalakrishnan, Guru M. Parulkar	Bringing Real-Time Scheduling Theory and Practice Closer for Multimedia Computing.	SIGMETRICS	1996	DBLP DOI BibTeX RDF
11	Norman Ramsey	Relocating Machine Instructions by Currying.	PLDI	1996	DBLP DOI BibTeX RDF
11	Dawson R. Engler	VCODE: a Retargetable, Extensible, Very Fast Dynamic Code Generation System.	PLDI	1996	DBLP DOI BibTeX RDF
11	Soumen Chakrabarti, Manish Gupta 0002, Jong-Deok Choi	Global Communication Analysis and Optimization.	PLDI	1996	DBLP DOI BibTeX RDF
11	Ali-Reza Adl-Tabatabai, Geoff Langdale, Steven Lucco, Robert Wahbe	Efficient and Language-Independent Mobile Programs.	PLDI	1996	DBLP DOI BibTeX RDF
11	Uwe Wildner	Compiler Assisted Self-checking of Structural Integrity Using Return Address Hashing.	EDCC	1996	DBLP DOI BibTeX RDF
11	Jason Cong, Lei He 0001	An efficient approach to simultaneous transistor and interconnect sizing.	ICCAD	1996	DBLP DOI BibTeX RDF	CH-posynomial programs, STIS, driver/buffer, transistor and interconnect sizing, wire sizing problem, circuit CAD, transistor sizing
11	John H. Naegle, Larry Tolendino, John Zepper, Nicholas Testi	Implementing and Testing ATM in a Production LAN.	HICSS (1)	1996	DBLP DOI BibTeX RDF
11	C. P. Ravikumar, Rajamani Rajarajan	Genetic Algorithms for Scan Path Design.	VLSI Design	1996	DBLP DOI BibTeX RDF
11	C. P. Ravikumar, Mukul R. Prasad, Lavmeet S. Hora	Estimation of Power from Module-level Netlists.	VLSI Design	1996	DBLP DOI BibTeX RDF
11	Júlio Salek Aude, Alexandre Malheiros Meslin, Claudio M. P. Santos, Gerson Bronstein, Luiz Femando M. Cordeiro, Márcio de Oliveira Barros, Mário João Jr., Sidney de C. Oliveira	The Multiplus/Mulplix Parallel Processing Environment.	ISPAN	1996	DBLP DOI BibTeX RDF	Distributed Shared-Memory Architectures, Synchronization, Threads, Multistage Interconnection Network, Cache Consistency, Parallel Programming Environments
11	Li Cheng, Dingxing Wang, Meiming Shen, Weimin Zheng, Peng Shanling	The Compiler for Supporting Multithreading in Cyclic Register Windows.	ISPAN	1996	DBLP DOI BibTeX RDF	pipeline, Multithreading, compilation optimization, register allocation, multicomputers
11	Asuman Dogac, Mehmet Altinel, Cetin Ozkan, Ilker Durusoy	Implementation Aspects of an Object-Oriented DBMS.	SIGMOD Rec.	1995	DBLP DOI BibTeX RDF
11	Scott Hazelhurst, Carl-Johan H. Seger	A simple theorem prover based on symbolic trajectory evaluation and BDD's.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
11	Srimat T. Chakradhar, Arun Balakrishnan, Vishwani D. Agrawal	An exact algorithm for selecting partial scan flip-flops.	J. Electron. Test.	1995	DBLP DOI BibTeX RDF	multiway search and integer linear program, partial scan, minimum feedback vertex set
11	H. A. Xie, Kevin E. Forward, K. M. Adams, D. Leask	An SBus Monitor Board.	FPGA	1995	DBLP DOI BibTeX RDF
11	Todd A. Proebsting	Optimizing an ANSI C Interpreter with Superoperators.	POPL	1995	DBLP DOI BibTeX RDF	C
11	Ben Sloman, Tom Lake	Featherweight Threads and ANDF Compilation of Concurrency.	Euro-Par	1995	DBLP DOI BibTeX RDF
11	Alvin R. Lebeck, David A. Wood 0001	Active Memory: A New Abstraction for Memory-System Simulation.	SIGMETRICS	1995	DBLP DOI BibTeX RDF
11	Tzer-Shyong Chen, Feipei Lai, Rung-Ji Shang	A Simple Tree Pattern Matching Algorithm for Code Generator.	COMPSAC	1995	DBLP DOI BibTeX RDF	Intermediate code, Compiler, Code generator, Instruction set, Tree pattern matching
11	Ulrich Ramacher, Wolfgang Raab, J. A. Ulrich Hachmann, Jörg Beichter, Nico Brüls, Matthias Wesseling, Elisabeth Sicheneder, Joachim Gläß, Andreas Wurz, Reinhard Männer	SYNAPSE-1: a high-speed general purpose parallel neurocomputer system.	IPPS	1995	DBLP DOI BibTeX RDF	SYNAPSE-1, high-speed general purpose parallel neurocomputer system, neural algorithms, neuro signal processor MA16, general purpose microprocessors, multiprocessor system, systolic arrays, systolic array, neural nets, test algorithm, neural net architecture, processing speed
11	Urs Hölzle, David M. Ungar	Do Object-Oriented Languages Need Special Hardware Support?	ECOOP	1995	DBLP DOI BibTeX RDF
11	Erik R. Altman, Ramaswamy Govindarajan, Guang R. Gao	Scheduling and Mapping: Software Pipelining in the Presence of Structural Hazards.	PLDI	1995	DBLP DOI BibTeX RDF
11	Mary F. Fernandez	Simple and Effective Link-Time Optimization of Modula-3 Programs.	PLDI	1995	DBLP DOI BibTeX RDF	C++, Modula-3
11	C. P. Ravikumar, Hemant Joshi	HISCOAP: a hierarchical testability analysis tool.	VLSI Design	1995	DBLP DOI BibTeX RDF	HISCOAP, hierarchical testability analysis tool, SCOAP measure, gate-level netlist, SCOAP expression diagrams, VLSI, logic testing, controllability, controllability, sequential circuits, sequential circuits, combinational circuits, combinational circuits, observability, observability, circuit analysis computing, integrated logic circuits, VLSI circuits, functional modules, stuck at fault model
11	Hossein Sahabi, Anup Basu, Mark Fiala	VLSI implementation of variable resolution image compression.	VLSI Design	1995	DBLP DOI BibTeX RDF	variable resolution image compression, bandwith requirements, telepresence system, teleconferencing systems, encoding/decoding subsystem, SBus interface, VLSI codec chip, real time compression, real time decompression, video rates, output image quality, 1024 pixel, 1048576 pixel, real-time systems, VLSI, data compression, image coding, teleconferencing, image resolution, video signal processing, digital signal processing chips, VLSI implementation, codecs, video codecs
11	Balkrishna Ramkumar, Prithviraj Banerjee	ProperCAD: A portable object-oriented parallel environment for VLSI CAD.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
11	Scott Hazelhurst, Carl-Johan H. Seger	Composing Symbolic Trajectory Evaluation Results.	CAV	1994	DBLP DOI BibTeX RDF
11	Timo Metzemakers, Alain Miniussi, David J. Sherman, Robert Strandh	Improving Arithmetic Performance using Fine-Grain Unfolding.	PLILP	1994	DBLP DOI BibTeX RDF
11	Ioanis Nikolaidis, Richard Fujimoto, C. Anthony Cooper	Time-Parallel Simulation of Cascaded Statistical Multiplexers.	SIGMETRICS	1994	DBLP DOI BibTeX RDF
11	Eli Biham, Alex Biryukov	An Improvement of Davies' Attack on DES.	EUROCRYPT	1994	DBLP DOI BibTeX RDF
11	James W. Davis, Mubarak Shah	Recognizing Hand Gestures.	ECCV (1)	1994	DBLP DOI BibTeX RDF
11	Daniel G. Saab	Parallel-concurrent fault simulation.	IEEE Trans. Very Large Scale Integr. Syst.	1993	DBLP DOI BibTeX RDF
11	Yang Cai 0003, Martin D. F. Wong	On minimizing the number of L-shaped channels in building-block layout [VLSI].	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
11	Ji-Chien Lee, Bing J. Sheu, Rama Chellappa	A VLSI neuroprocessor for image restoration using analog computing-based systolic architecture.	J. VLSI Signal Process.	1993	DBLP DOI BibTeX RDF
11	Krishna V. Palem, Barbara B. Simons	Scheduling Time-Critical Instructions on RISC Machines.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	RISC machine scheduling, NP-complete, latency, compiler optimization, register allocation, greedy algorithm, instruction scheduling, deadline, RISC, pipeline processor
11	Wade Henessey	WCL: Delivering Efficient Common Lisp Applications Under Unix.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	C, UNIX, Common Lisp
11	Jens Palsberg	A Provably Correct Compiler Generator.	ESOP	1992	DBLP DOI BibTeX RDF
11	Douglas E. Appelt, John Bear, Jerry R. Hobbs, David J. Israel, Mabry Tyson	SRI International FASTUS system: MUC-4 test results and analysis.	MUC	1992	DBLP DOI BibTeX RDF
11	Carl Weir, Barry Silk	Paramax Systems Corporation: MUC-4 test results and analysis.	MUC	1992	DBLP DOI BibTeX RDF
11	Norman Ramsey, David R. Hanson	A Retargetable Debugger.	PLDI	1992	DBLP DOI BibTeX RDF	C, PostScript
11	Thierry Baritaud, Henri Gilbert, Marc Girault	FFT Hashing is not Collision-free.	EUROCRYPT	1992	DBLP DOI BibTeX RDF
11	Jens Palsberg	An automatically generated and provably correct compiler for a subset of Ada.	ICCL	1992	DBLP DOI BibTeX RDF
11	Christopher W. Fraser	A retargetable compiler for ANSI C.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF	C
11	Wolfgang Küchlin, David Raymond Lutz, Nicholas J. Nevin	Integer Multiplication in PARSAC-2 on Stock Microprocessors.	AAECC	1991	DBLP DOI BibTeX RDF
11	Douglas Johnson	Trap Architectures for Lisp Systems.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF	SPUR, LISP, RISC
11	Burton S. Kaliski Jr.	The MD4 Message Digest Algorithm (Abstract).	EUROCRYPT	1990	DBLP DOI BibTeX RDF
11	Rajiv Gupta 0001, Michael Epstein, Michael Whelan	The design of a RISC based multiprocessor chip.	SC	1990	DBLP DOI BibTeX RDF
11	Ronald L. Rivest	The MD4 Message Digest Algorithm.	CRYPTO	1990	DBLP DOI BibTeX RDF
11	Kazuaki J. Murakami, Shin-ichiro Mori, Akira Fukuda, Toshinori Sueyoshi, Shinji Tomita	The Kyushu University reconfigurable parallel processor: design of memory and intercommunicaiton architectures.	ICS	1989	DBLP DOI BibTeX RDF
11	Andrew Rappaport	Future Computing Environments for DA (panel).	DAC	1988	DBLP BibTeX RDF
11	Don S. Batory, Michael V. Mannino	Panel on Extensible Database Systems.	SIGMOD Conference	1986	DBLP DOI BibTeX RDF