José Nelson Amaral's Publications

Compiler Design and Implementation

Ben Livshits, Manu Sridharan, Yannis Smaragdakis, Ondřej Lhoták, J. Nelson Amaral, Bor-Yuh Evan Chang, Sam Guyer, Uday Khedker, Anders Møller, and Dimitrios Vardoulakis, "In Defense of Soundiness: A Manifesto," Communications of the Association for Computing Machinery (ACM) , to appear.

Marcio Pereira, José Nelson Amaral and Guido Araújo, "Measuring Effective Work to Reward Success in Dynamic Transaction Scheduling," International Conference on Parallel Processing (ICPP) , Minneapolis, MN, USA, September, 2014.

José Nelson Amaral, Adam Paul Jocksch, Marcel Mitran, "Mining Sequential Patterns in Weighted Directed Graphs," United States Patent 8,683,423 issued on March 25, 2014.

Joshua Campbell, Abram Hindle, José Nelson Amaral, "Syntax Errors Just Aren't Natural: Improving Error Reporting with Language Models," 11th Working Conference on Mining Software Repositories (MSR), Hyderabad, India, May, 2014, pp. 252-261.

Amy Wang, Matthew Gaudet, Peng Wu, Martin Ohmacht, José Nelson Amaral, Christopher Barton, Raul Silvera, Maged M. Michael, "Software Support and Evaluation of Hardware Transaction Memory on Blue Gene/Q," IEEE Transactions on Computers, to appear.

Michail Alvanos, Montse Farreras, Ettore Tiotto, José Nelson Amaral, Xavier Martorell, "Improving Communication Through Loop Scheduling in UPC," 7th International Conference on PGAS Programming Models, Edinburgh, Scotland, October, 2013, pp. 249-252.

Jeeva Paudel, José Nelson Amaral, Olivier Tardieu, "Guiding X10 Programmers to Improve Runtime Performance," 7th International Conference on PGAS Programming Models, Edinburgh, Scotland, October, 2013, pp. 111-125.

Jeeva Paudel, Olivier Tardieu, José Nelson Amaral, "On the Merits of Distributed Work-stealing on Selective Locality-aware Tasks," International Conference on Parallel Processing, Lyon, France, October, 2013, pp. 100-109.

Jeeva Paudel, Olivier Tardieu, José Nelson Amaral, "Hybrid Parallel Task Placement in X10," Selective Locality-aware Tasks," X10 Workshop, Seattle, WA, USA, June, 2013.

Michail Alvanos, Montse Farreras, Ettore Tiotto, José Nelson Amaral, Xavier Martorell, "Improving Communication in PGAS Environments: Static and Dynamic Coalescing in UPC," International Conference on Supercomputing, Eugene, Oregon, USA, June, 2013.

Arnamoy Bhattacharyya, José Nelson Amaral,"Automatic Speculative Parallelization of Loops Using Polyhedral Dependence Analysis," International Workshop on Code Optimisation for MultI and many Cores (COSMIC), Shenzhen, China, February, 2013.

Amy Wang, Matthew Gaudet, Peng Wu, Martin Ohmacht, José Nelson Amaral, Christopher Barton, Raul Silvera, Maged M. Michael, "Evaluation of Blue Gene/Q Hardware Support for Transactional Memories," 21st International Conference on Parallel Architectures and Compilation Techniques, Minneapolis, MN, September, 2012.

Paul Berube, José Nelson Amaral, "Combined Profiling: A Methodology to Capture Varied Program Behavior Across Multiple Inputs," International Symposium on Performance Analysis and Systems of Software (ISPASS), New Brunswick, NJ, April, 2012.

Xunhao Li, Rahul Garg, José Nelson Amaral, "A New Compilation Path: From Python/NumPy to OpenCL,"Workshop on Python for High Performance and Scientific Computing (PyHPC), Seattle, WA, USA, November, 2011.

Jeeva Paudel, José Nelson Amaral, "Using the Cowichan Problems to Investigate the Programmability of X10 Programming System," 2011 X10 Workshop, San Jose, CA, USA, June, 2011.

Paul Berube, Adam Preuss, José Nelson Amaral, "Toward a Practical Methodology to Collect and Use Multiple Profiles," International Conference on Performance Engineering, Karlsruhe, Germany, March, 2011.

Ricardo Nabinger-Sanchez, José Nelson Amaral, Duane Szafron, Marius Pirvu, and Mark Stoodley, "Using Machines to Learn Method-Specific Compilation Strategies," International Symposium on Code Generation and Optimization (CGO), Chamonix, France, April, 2011, pp. 257-266.

Ricardo Nabinger-Sanchez, José Nelson Amaral, Duane Szafron, Marius Pirvu, and Mark Stoodley, "Using Support Vector Machines to Learn How to Compile a Method," 22nd International Symposium on Computer Architecture and High Performance Computing, Petropolis, RJ, Brazil, October, 2010, pp. 223-230.

Johnny Huynh, José Nelson Amaral, Paul Berube, and Sid-Ahmed-Ali Touati, "Evaluating Address Register Assignment and Offset Assignment Algorithms," ACM Transactions on Embedded Computer Systems, Vol. 10, No. 3, Article 37, April 2011.

Adam Jocksch, José Nelson Amaral, and Marcel Mitran, "Mining for Paths in Flow Graphs," 10th Industrial Conference on Data Mining, Berlin, Germany, June, 2010, pp. 277-291.

Adam Jocksch, Marcel Mitran, Joran Siu, Nikola Grcevski, José Nelson Amaral, "Mining Opportunities for Code Improvement in a Just-In-Time Compiler," International Conference on Compiler Construction, Paphos, Cyprus, March, 2010, pp. 10-25.

Rahul Garg, José Nelson Amaral, "Compiling Python to a Hybrid Execution Environment," Third Workshop on General-Purpose Computation on Graphics Processing Units held in conjunction with ASPLOS XV, Pittsburgh, PA, March, 2010.

Ondřej Lhoták, Stephen Curial, José Nelson Amaral, "An Optimal Encoding to Represent a Single Set in an ROBDD," IEEE Transactions on Computers, 59, pp. 574-575, April, 2010.

Paul Berube, José Nelson Amaral, Rayson Ho, Raul Silvera, "Workload Reduction for Multi-Input Profile-Directed Optimization," International Symposium on Code Generation and Optimization (CGO), March, 2009, Seattle, Washington, pp. 59-69.

Rahul Garg, José Nelson Amaral, "unPython: Converting Python Numerical Programs into C," SciPy Conference, August, 2008, Pasadena, California.

Ondřej Lhoták, Stephen Curial, José Nelson Amaral, "Using XBDDs and ZBDDs in Points-to Analysis," Software: Practice and Experience, Volume 39, Issue 2, February 2009, pp. 163-188.

Stephen Curial, Peng Zhao, José Nelson Amaral, Yaoqing Gao, Shimin Cui, Raul Silvera, Roch Archambault, "Memory Pooling Assisted Data Splitting (MPADS)," International Symposium on Memory Management, June, 2008, Tucson, Arizona, pp. 101-110. (slides)

Christopher Barton, George Almasi, Montse Farreras, José Nelson Amaral, "An Unified Parallel C Compiler that Implements Automatic Communication Coalescing," 14th Workshop on Compilers for Parallel Computing , January, 2009, Zurich, Switzerland.

Ondřej Lhoták, Stephen Curial, José Nelson Amaral, "Using ZBDDs in Points-to Analysis," 20th International Workshop on Languages and Compilers for Parallel Computing, pp. 338-352, October, 2007, Urbana, Illinois (pdf) (slides)

Christopher Barton, Cälin Casçaval, Gheorghe Almási, Rahul Garg, José Nelson Amaral, "Multidimensional Blocking Factors in UPC," 20th International Workshop on Languages and Compilers for Parallel Computing, pp. 47-62, October, 2007, Urbana, Illinois (pdf) (slides)

Timothy Furtak, José Nelson Amaral, and Robert Niewiadomski, "Using SIMD Registers and Instructions to Enable Instruction-Level Paralle lism in Sorting Algorithms," 19th ACM Symposium on Parallelism in Algorithms and Architectures, June, 2007, San Diego, California, pp. 348-357. (pdf) (slides)

Paul Berube and José Nelson Amaral, "Benchmark Design for Robust Profile-Directed Optimization," 2007 SPEC Workshop, January, 2007, Austin, Texas. Received the Kaivalya Dixit Award for best contribution to the workshop. (pdf) (slides)

Neil Birkbeck, Jonathan Lévesque and José Nelson Amaral, "A Dimension Abstraction Approach to Vectorization in Matlab," International Symposium on Code Generation and Optimization (CGO), March, 2007, San Jose, California, pp. 115-130. (pdf) (slides)

Peng Zhao and José Nelson Amaral, " Ablego: a function outlining and partial inlining framework," Software - Practice and Experience, 37(5), April, 2007, 465-491.

Kevin Andrusky, Stephen Curial and José Nelson Amaral, "Tree-Traversal Orientation Analysis," 19th International Workshop on Languages and Compilers for Parallel Computing (LCPC), November, 2006, New Orleans, Louisiana, pp. 220-234. (pdf) (slides)

Christopher Barton, Cälin Casçaval, and José Nelson Amaral, "A Characterization of Shared Data Access Patterns in UPC Programs," 19th International Workshop on Languages and Compilers for Parallel Computing (LCPC), November, 2006, New Orleans, Louisiana, pp. 111-125. (pdf) (slides)

Angela French, José Nelson Amaral, Eliminating Redundant "Join-Set Computations in Static Single Assignment," Journal of Universal Computer Science (JUCS), Vol. 12, No. 8, pp. 1007-1019, August, 2006.

Johnny Huynh, José Nelson Amaral, Paul Berube, Sid-Ahmed-Ali Touati, "Evaluation of Offset Assignment Heuristics," 2007 International Conference on High Performance Embedded Architectures & Compilers (HiPEAC), Ghent, Belgium, January 2007, pp. 261-275. (pdf) (slides)

Zhuang Guo, José Nelson Amaral, Duane Szafron, Yang Wang, "Utilizing Field Usage Patterns for Java Heap Space Optimization," Center for Advanced Studies Conference (CASCON), Markham, ON, Canada, October 2006. (pdf) (slides)

Christopher Barton, Calin Cascaval, George Almasi, Yili Zheng, Montse Farreras, José Nelson Amaral, "Shared Memory Programming for Large Scale Machines," ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation (PLDI), Ottawa, ON, Canada, June 2006, pp. 108-117. (pdf) (slides)

Peng Zhao, Shimin Cui, Yaoqing Gao, Raúl Silvera, José Nelson Amaral, "Forma: A Framework for Safe Automatic Array Reshaping," to appear in ACM Transactions on Programming Languages and Systems (TOPLAS), 30(1), November 2007. (pdf)

Paul Berube, José Nelson Amaral, "Aestimo: A Feedback-Directed Optimization Evaluation Tool," IEEE International Symposium on Performance Analysis of Systems and Software, Austin, TX, March 2006, pp. 251-260.(pdf) (slides)

Peng Zhao, José Nelson Amaral, "Function Outlining and Partial Inlining." 17th International Symposium on Computer Architecture and High Performance Computing, Rio de Janeiro, Brazil, October 2005, pp. 101-108. (pdf)

Peng Zhao, José Nelson Amaral, "Feedback-Directed Switch-Case Statement Optimization." 4th Workshop on Compile and Runtime Techniques for Parallel Computing (CRTPC), in conjunction with International Conference on Parallel Processing (ICPP), Oslo, Norway, June 2005, pp. 295-302. (pdf)

Christopher Barton, Bob Blainey, José Nelson Amaral, Arie Tal, "Generalized Index-Set Splitting". Compiler Construction , Edinburgh, Scotland, April, 2005, pp. 102-116, Springer. ( pdf)

Christopher Barton, Peng Zhao, Robert Niewiadomski, José Nelson Amaral, Identifying Opportunities for Automatic Remote Field Cloning, Center for Advanced Studies Conference (CASCON) , Markham, Ontario, October, 2004, pp. 109-119. ( pdf)

Peng Zhao, José Nelson Amaral, "To Inline or Not to Inline? Enhanced Inlining Decisions," 16th Workshop on Languages and Compilers for Parallel Computing College Station, Texas, October, 2003.( PostScript)

R. Govindarajan, Hongbo Yang, José Nelson Amaral, Chihong Zhang, Guang R. Gao, "Minimum Register Instruction Sequencing to Reduce Register Spills in Out-of-Order Issue Superscalar Architectures," IEEE Transactions on Computers Vol. 52, N. 1, January, 2003, pp. 4-20. ( Abstract ) ( PostScript)

Christopher Barton, José Nelson Amaral, Bob Blainey, "Should Potential Loop Optimizations Influence Inlining Decisions?", Center for Advanced Studies Conference (CASCON) 2003 Markham, ON, October, 2003. ( pdf)

Bob Blainey, Christopher Barton, José Nelson Amaral, "Removing Impediments to Loop Fusion through Code Transformations," 15th Workshop on Languages and Compilers for Parallel Computing College Park, Maryland, July, 2002, pp. 310-327. ( Abstract ) ( PostScript)

Alban Douillet, José Nelson Amaral, Guang R. Gao, "Fine-Grain Stacked Register Allocation for the Itanium Architecture," 15th Workshop on Languages and Compilers for Parallel Computing College Park, Maryland, July, 2002, pp. 345-361. ( Abstract ) ( PostScript)

J. N. Amaral, C. Barton, A. C. Macdonell, and M. McNaughton, "Using the SGI Pro64 Open Source Compiler Infra-Structure for Teaching and Research,"  13th Symposium on Computer Architecture and High Performance Computing, Pirenopolis, GO, Brazil, September, 2001, pp. 206-213. ( Abstract ) ( PostScript)

R. Govindarajan, Hongbo Yang, Chihong Zhang, José Nelson Amaral, and Guang R. Gao, "Minimum Register Instruction Sequence Problem: Revisiting Optimal Code Generation for DAGs," 2001 International Parallel and Distributed Processing Symposium,  San Francisco, CA, April, 2001. ( Abstract ) ( PostScript )

Artour Stoutchinin, José Nelson Amaral, Guang R. Gao, Jim Dehnert, Suneel Jain, and Alban Douillet, "Speculative Pointer Prefetching of Induction Pointers",  Compiler Construction 2001, European Joint Conferences on Theory and Practice of Software, Genova, Italy, April, 2001, pp. 289-303. ( Abstract ) ( PostScript )

Gary M. Zoppetti, Gagan Agrawal, Xinan Tang, José Nelson Amaral, Guang R. Gao, "Automatic Compiler Techniques for Thread Coarsening for Multithreaded Architectures," Proceedings of the 2000 International Conference on Supercomputing , 306-315, Santa Fe, New Mexico, USA, May 8-11, 2000. ( pdf )

José Nelson Amaral, Guang Gao, Erturk D. Kocalar, Patrick O'Neill, and Xinan Tang, "Design and Implementation of an Efficient Thread Partitioning Algorithm." In M. Valero, K. Joe, M. Kitsuregawa, and H. Tanaka, editors, International Symposium on High Performance Computing, pages 252-259, Tokyo, Japan, October 2000. ( Abstract ) ( PostScript )

Nelson's home page
Back to the top

Cache-Conscious Algorithms

Robert Niewiadomski, José Nelson Amaral, Robert Holte, "Sequential and Parallel Algorithms for Frontier A* with Delayed Duplicate Detection," Twenty-First National Conference on Artificial Intelligence (AAAI-06), Boston, Massachusetts, August, July, 2006, pp. 1039-1044. (pdf)

Robert Niewiadomski, José Nelson Amaral, Robert Holte, "A Parallel External-Memory Frontier Breadth-First Traversal Algorithm for Clusters of Workstations," International Conference on Parallel Processing (ICPP), Columbus, Ohio, August 2006, pp. 531-538. (pdf) (slides: pdf, ppt)

Robert Niewiadomski, José Nelson Amaral, "Chopping Up Trees to Improve Spatial Locality in Implicit k-Heaps," Technical Report TR06-06, Department of Computing Science, University of Alberta, Edmonton, AB, Canada.

Robert Niewiadomski, José Nelson Amaral, Robert Holte, "A performance study of data layout techniques for improving data locality in refinement-based pathfinding," ACM Journal of Experimental Algorithms , 9(1.4):1-28, 2004. (pdf)

Robert Niewiadomski, José Nelson Amaral, Robert Holte, "Crafting Data Structures: A Study of Reference Locality in Refinement-Based Path Finding," International Conference on High Performance Computing (HiPC), Hyderabad, India, December, 2003, pp. 438-448. (pdf)

Internet Protocol Routing Caches

Soraya Kasnavi, Paul Berube, Vincent C. Gaudet, José Nelson Amaral, "A Cache-Based Internet Protocol Address Lookup Architecture," Computer Networks, 52(2), February, 2008, 303-326.

Soraya Kasnavi, Paul Berube, Vincent C. Gaudet, José Nelson Amaral, "A Multizone Pipeline Cache for IP Routing," 2005 IFIP Networking Conference , Waterloo, ON, May, 2005. (pdf)

Soraya Kasnavi, Vincent C. Gaudet, Paul Berube, José Nelson Amaral, "A Novel Hardware-Based Longest Prefix Matching Scheme for TCAMs," 2005 IEEE International Symposium on Circuits and Systems , Kobe, Japan, May 2005. (pdf)

Paul Berube, José Nelson Amaral, Mike MacGregor, "FPGA Implementation and Experimental Evaluation of a Prototype Multizone Network Cache," Microprocessors and Microsystems - Special Issue on FPGAs ,, Vol. 28, Issues 5-6, August, 2004, pp. 237-252 (html )

Paul Berube, Ashley Zinyk, José Nelson Amaral, Mike MacGregor, "The Bank Nth Chance Replacement Policy for FPGA-Based CAMs," 13th International Conference on Field Programmable Logic and Applications (FPL), Lisbon, Portugal, September, 2003, pp. 648-660. (pdf)

Paul Berube, José Nelson Amaral, Mike MacGregor, "An FPGA Prototype for the Experimental Evaluation of a Multizone Network Cache," Twelfth ACM International Symposium on Field-Programmable Gate Arrays, Monterey, California, February, 2004, (poster presentation)

Multi-Threaded Architectures and Programming Models

Guy Tremblay, Christopher J. Morrone, José Nelson Amaral, and Guang R. Gao, "Implementation of the EARTH programming model on SMP clusters: a multi-threaded language and runtime system," Concurrency and Computation:Practice and Experience, 15(9):821-844, August 2003. ( Abstract ) ( PostScript)

Charles Wallace, Guy Tremblay, and José Nelson Amaral, "An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol," Journal of Universal Computing, Vol. 7, No. 11, November, 2001, pp. 1089-1113.

Charles Wallace, Guy Tremblay, and José Nelson Amaral, "On the Tamability of the Location Consistency Memory Model,"  International Conference on Parallel and Distributed Processing Techniques and Applications , June, 2002,  pp. 1542-1547. ( Abstract ) ( PostScript )

Prasad Kakulavarapu, Olivier C. Maquelin, José Nelson Amaral, and Guang R. Gao, "Dynamic Load Balancers for a Multithreaded Multiprocessor System," Parallel Processing Letters, Vol. 11, No. 1, March, 2001, pp. 169-184. ( Abstract ) ( PostScript )

Christopher J. Morrone, José Nelson Amaral, Guy Tremblay, and Guang R. Gao, "A Multi-Threaded Runtime System for a Multi-Processor/Multi-Node Cluster," High Performance Computing Systems and Applications , R. D. Kent and T. W. Sand (eds.), Kluwer Acad. Pub., 2003. ( Abstract ) ( PostScript )

Charles Wallace, Guy Tremblay, and José Nelson Amaral, "The Location Consistency Memory Model and Cache Protocol: Specification and Verification," Eight International Conference on Computer Aided Systems Theory, Las Palmas the Gran Canaria, Canary Islands, Spain, February, 2001, pp. 275-278. ( Abstract ) ( PostScript )

Wen-Yen Lin, Jean-Luc Gaudiot, José Nelson Amaral, and Guang R. Gao, "Performance Analysis of the I-Structure Software Cache on Multi Threading Systems," 19th IEEE International Performance, Computing, and Communications Conference - IPCCC2000 , 83-89, Phoenix, Arizona, February, 2000. ( Abstract ) ( PostScript )

Prasad Kakulavarapu, Christopher J. Morrone, Kevin B. Theobald, José Nelson Amaral, and Guang R. Gao, "A Comparative Performance Study of Fine-Grain Multi-threading on Distributed Memory Machines," 9th IEEE International Performance, Computing, and Communications Conference - IPCCC2000 , 590-596, Phoenix, Arizona, February, 2000. ( Abstract ) ( PostScript )

Wen-Yen Lin, José Nelson Amaral, Jean-Luc Gaudiot, and Guang R. Gao, "Caching Single-Assignment Structures to Build a Robust Fine-Grain Multi-Threading System," 2000 International Parallel and Distributed Processing Symposium , 590-596, Cancun, Mexico, 2000. ( Abstract ) ( PostScript )

Prasad Kakulavarapu and José Nelson Amaral, "A Survey of Modern Multi-Threading Systems," 11th Symposium on Computer Architecture and High Performance Computing , 10-16, Natal, RN, Brazil, September, 1999. ( Abstract ) ( PostScript )

José Nelson Amaral, Guang Gao, Xinan Tang, "An Implementation of a Hopfield Network Kernel on EARTH," Brazilian Symposium on Computer Architecture and High Performance Processing , Búzios, RJ, Brazil, September, 1998, pp. 223-232. ( Abstract ) ( PostScript )

Kevin B. Theobald, José Nelson Amaral, Gerd Herber, Oliver Maquelin, Xinan Tang, Guang R. Gao,"Overview of the Threaded-C Language," CAPSL Technical Memo 19 , Electrical and Computer Engineering, University of Delaware, Newark, DE, March 16, 1998. ( Abstract ) (PostScript )

José Nelson Amaral, Guang Gao, "Implementation of I-Structures as a Library of Functions in Portable Threaded-C," CAPSL Technical Note 04 , Electrical and Computer Engineering, University of Delaware, Newark, DE, March 16, 1998. ( Abstract ) ( available upon request )

José Nelson Amaral, Zachary Ruiz, Sean Ryan, Andres Marquez, Christopher Morrone, Guang R. Gao, "Portable Threaded-C Release 1.1," CAPSL Technical Note 05 Electrical and Computer Engineering, University of Delaware, Newark, DE, September 9, 1998. ( Abstract ) ( available upon request )

Nelson's home page
Back to the top

High-Performance Computing

Robert Niewiadomski, José Nelson Amaral, Duane Szafron, "The MAP3S Static-and Regular Mesh Simulation and Wavefront Parallel-Programming Pattern," International Conference on Parallel Processing (ICPP), Portland, Oregon, September, 2008. (pdf) (slides)

Paras Mehta, José Nelson Amaral, Duane Szafron, "Is MPI Suitable for a Generative Design-Pattern System?", presented in the Workshop on Patterns in High Performance Computing, Champaign-Urbana, Illinois, May, 2005. Parallel Computing: Theory and Applications , Vol. 32, Issues 7-8, pp. 616-626, Algorithmic Skeletons, September 2006

José Nelson Amaral, Guang Gao, Philip Merkey, Thomas Sterling, Zachary Ruiz, Sean Ryan, "Performance Prediction for the HTMT: A Programming Example," The PentaFLOPS Workshop 3 , 25-31, Annapolis, MD, February, 1999. ( Abstract ) ( PostScript )

José Nelson Amaral, Guang Gao, Philip Merkey, Thomas Sterling, Zachary Ruiz, Sean Ryan, "An HTMT Performance Prediction Case Study: Implementing {Cannon's} Dense Matrix Multiply Algorithm," CAPSL Technical Memo 26 Electrical and Computer Engineering, University of Delaware, Newark, DE, February 17, 1999. ( Abstract ) ( PostScript )

Sean Ryan, José Nelson Amaral, Guang Gao, Zachary Ruiz, Andres Marquez, Kevin Theobald, "Coping with very High Latencies in Petaflop Computer Systems," Second International Symposium on High Performance Computing , Kyoto, Japan, May, 1999, pp. 71-82. ( Abstract ) ( PostScript )

Guang Gao, José Nelson Amaral, Andres Marquez and Kevin Theobald, "A Refinement of the HTMT Program Execution Model," CAPSL Technical Memo 22 , Electrical and Computer Engineering, University of Delaware, Newark, DE, July 13, 1998. ( Abstract ) ( PostScript )

Sean Ryan, José Nelson Amaral, Zachary Ruiz and Guang R. Gao, "HTMT-C: Proposing A Programming Language For a Petaflop Machine," Mid-Atlantic Student Workshop on Programming Languages and Systems, 53-68, Maryland, March 1999.

Nelson's home page
Back to the top

Parallel Architectures for Symbolic Processing

José Nelson Amaral and Joydeep Ghosh, ``A Concurrent Architecture for Serializable Production Systems,'' IEEE Transactions on Parallel and Distributed Processing, vol. 7, n. 12, Dec., 1996, pp. 1265-1280. ( Abstract ) ( PostScript )

José Nelson Amaral and Joydeep Ghosh, ``Speeding Up Production Systems: From Concurrent Matching to Parallel Rule Firing.'' In L. N. Kanal, V. Kumar, H. Kitani, and C. Suttner, editors, Parallel Processing for AI, chapter 7, pages 139-160. Elsevier Science Publishers B.V., 1994. ( Abstract ) ( PostScript )

José Nelson Amaral and Joydeep Ghosh, ``Performance Measurements of a Concurrent Production System Architecture without Global Synchronization.'' In Proc. 9th International Parallel Processing Symposium , pages 790-797, Santa Barbara, CA, April 1995. ( Abstract ) ( PostScript )

José Nelson Amaral and Joydeep Ghosh, ``An Associative Memory Architecture for Concurrent Production Systems.'' In Proc. 1994 IEEE International Conference on Systems, Man and Cybernetics, pages 2219-2224, San Antonio, TX, October 1994. ( Abstract ) ( PostScript )

José Nelson Amaral and Joydeep Ghosh, ``Versatile Benchmarking for Concurrent Production System Architectures.'' In XV Congress of the Brazilian Computer Society, pages 599-610, July 1995. ( Abstract ) ( PostScript )

José Nelson Amaral and Joydeep Ghosh, ``Using Queueing Theory for Analytical Performance Evaluation of a Multiple Functional Unit Rete Network.'' In XV Congress of the Brazilian Computer Society, pages 611-625, July 1995. ( Abstract ) ( PostScript )

José Nelson Amaral and Joydeep Ghosh, ``Serializability Improves Parallel Execution of Production System.'' In VII Brazilian Symprosium on Computer Architecture High Performance Processing, pages 167-181, July 1995. ( Abstract ) ( PostScript )

José Nelson Amaral and Joydeep Ghosh, ``Associative Memories Provide an Efficient Control Mechanism for a Parallel Production System Architecture.'' In 10th Congress of the Brazilian Microelectronics Society, pages 329-338, July 1995. ( Abstract ) ( PostScript )

José Nelson Amaral, "A Parallel Architecture for Serializable Production Systems," Ph.D. Dissertation, Electrical and Computer Engineering, The University of Texas at Austin , Austin, TX, December, 1994. ( Abstract ) ( PostScript )

Nelson's home page Back to the top

Combinatorial Optimization Problems

José Nelson Amaral, Kagan Tumer and Joydeep Ghosh, ``Designing Genetic Algorithms for the State Assignment Problem,'' IEEE Transactions on Systems, Man and Cybernetics , pp. 687-694, Vol 25, No. 4, April 1995. ( Abstract ) ( PostScript )

José Nelson Amaral, Adalberto Teixeira Castelo Neto, Alessandro Valério Dias, ``Genetic Algorithms in Optimization: Better than Random Search?,'' 1997 International Conference on Engineering and Informatics , Buenos Aires, Argentina, April, 1997, pp. 320-326. ( Abstract ) ( PostScript )

José Nelson Amaral, Kagan Tumer and Joydeep Ghosh, ``Applying Genetic Algorithms to the State Assignment Problem: A Case Study,'' SPIE proceedings on Adaptive and Learning Systems, Vol. 1706, pp. 2-13, April 92. ( Abstract ) ( PostScript )

José Nelson Amaral, Wagner Chiepa Cunha, ``CODEST: A System for Automatic Design of Synchronous Sequential Circuits,'' XI Journey in Electrical and Electronic Engineering, Quito, ECUADOR, July, 1990, also appear in XVI Latin American Informatics Conference, Asuncion, PARAGUAY, September, 1990, pp. 621-631.

José Nelson Amaral, Wagner Chiepa Cunha, ``State Assignment Algorithm for Incompletely Specified Finite State Machines,'' V Congress of the Brazilian Society for Microelectronics, Campinas, SP, BRAZIL, July, 1990. Also appears in Society for Photo Instrumentation Engineering - SPIE.

José Nelson Amaral, Wagner Chiepa Cunha, ``A Methodology for Automatic Design of Synchronous Sequential Circuits,'' X Congress of the Brazilian Society for Computing, Vitoria, ES, BRAZIL, July, 1990.

José Nelson Amaral, Joydeep Ghosh, ``Signal Representation Assignment for an N-Value Simulator,'' XIX Integrated Seminar on Software and Hardware , Campinas, SP, Brazil, August, 1993.

Nelson's home page Back to the top

Theory and Applications of Artificial Neural Networks

José Felipe Haffner, Ney Meyrer, José Nelson Amaral, Luís Fernando Alves Pereira, ``A Multilayer Perceptron Replaces a Feedback Linearization Controller in a Nonlinear Servomechanism,'' Third IFAC International Workshop on Motion Control , Grenoble, France, September,1998, pp. 391-396. ( Abstract ) ( PostScript )

Maria Cristina Felipetto De Castro, Fernando Castro Comparsi De Castro, José Nelson Amaral, Paulo Roberto Girardello Franco, ``A Complex Valued Hebbian Learning Algorithm,'' 1998 IEEE International Joint Conference on Neural Networks, Anchorage, Alaska, May, 1998, pp. 1235-1238. ( Abstract ) ( PostScript )

José Felipe Haffner, Ney Meyrer, José Nelson Amaral, Luís Fernando Alves Pereira, ``Using Artificial Neural Networks for Position Control of a Servomechanism with Non-Linear Load,'' III Brazilian Congress on Neural Networks , Florianópolis, SC, July, 1997, pp. 455-460. ( Abstract ) ( PostScript )

José Felipe Haffner, Ney Meyrer, José Nelson Amaral, Luís Fernando Alves Pereira, ``Controle Linearizante de Servomecanismo Utilizando Redes Neurais Artificiais'', IV Simpósio Brasileiro de Redes Neurais , pp. 109-111, Goiânia, GO, Dezembro, 1997. ( Abstract ) ( PostScript )

Maria Cristina Felippetto De Castro, Fernando César C. De Castro, José Nelson Amaral and Paulo Roberto G. Franco, ``A New Training Algorithm to Reduce the Computational Complexity of Principal Component Analysis by Hebbian Learning.'' submited to III Brazilian Congress on Neural Networks , Florianópolis, SC, julho, 1997, pp. 7-11. ( Abstract ) ( PostScript )

Fernando César C. de Castro, José Nelson Amaral and Paulo Roberto G. Franco, ``Invariant Pattern Recognition of 2D Images Using Neural Networks and Frequency-Domain Representation.'' accepted to 1997 International Conference in Neural Networks , Houston, TX, June, 1997, pp. 1644-1649. ( Abstract ) ( PostScript )

Robinson Pizzio, José Nelson Amaral, Paulo Roberto Franco, ``Compressão de Imagens de Cintilografia Miocárdia Através do Algoritmo Hebbiano Generalizado,'' III Brazilian Congress of Neural Networks , Florianópolis, SC, in July, 1997, pp. 190-194. ( Abstract ) ( PostScript )

Fernando Cesar C. de Castro, José Nelson Amaral and Paulo Roberto G. Franco, ``Artificial Neural Networks for Frequency-Domain Pattern Recognition.'' In International Conference on Information Systems Analysis and Synthesis , pages 108-115, Orlando, FL, July, 1996. ( Abstract ) ( PostScript )

Maria Cristina Felippetto De Castro, Fernando César C. De Castro, José Nelson Amaral and Paulo Roberto G. Franco, ``Uma formulação complexa para o algoritmo Hebbiano generalizado aplicada à compressão de imagens.'' III Simpósio Brasileiro de Redes Neurais , Recife, Novembro, 1996, pp. 55-62. ( PostScript )

Maria Cristina Felippetto De Castro, Fernando César C. De Castro, José Nelson Amaral and Paulo Roberto G. Franco, ``A New Training Algorithm to Reduce the Computational Complexity of Principal Component Analysis by Hebbian Learning.'' submited to III Brazilian Congress on Neural Networks , Florianópolis, SC, julho, 1997, pp. 7-11. ( Abstract ) ( PostScript )

Fernando Cesar C. de Castro, José Nelson Amaral and Paulo Roberto G. Franco, ``Reconhecimento de Padrões em Imagens Utilizando Redes Neurais Artificiais como Estimador de Correlação Espectral." II Simpósio Brasileiro de Redes Neurais , pages 15-20, São Carlos, SP, Outubro, 1995. ( Abstract ) ( PostScript )

Adalberto T. Castelo Neto and José Nelson Amaral, ``Utilização de Técnicas de Redes Neurais Artificiais na Identificação de Sistemas Dinâmicos,'' XII Congresso Regional de Iniciação Científica e Tecnológica em Engenharia, pp. 196, Novembro, 1996.

Nelson's home page Back to the top

Engineering and Computing Science Education

José Nelson Amaral, Paul Berube and Paras Mehta, "Teaching Digital Design to Computing Science Students in a Single Academic Term", IEEE Transactions on Education, Vol. 48, No. 1, February, 2005, pp. 127-132. ( Abstract ) ( PostScript)

José Nelson Amaral and Edward Scott Meadows, ``The Challenge of Restructuring Engineering Curricula in Brazilian Private Universities,'' 1997 International Conference on Engineering Education: Progress Through Partnerships , Chicago, IL, August, 1997, pp. 470-485. ( Abstract ) ( PostScript )

José Nelson Amaral and Edward Scott Meadows, ``O Desafio de Reestruturar o Currículo de Engenharia em Universidades Privadas Brasileiras,'' submitted to 1997 Brazilian Congress on Engineering Education , Salvador, BA, Brazil, Outubro, 1997, pp. 714-732. ( Abstract ) ( PostScript )

Nelson's home page Back to the top

Design for Testability

F. Vargas, R. Velazco, J. N. Amaral, N. L. Calazans, A. Rodrigues, ``Radiation Effects on Electronic Devices: The Need for Ground Tests.'' Im IX Simpósio Brasileiro de Concepção de Circuitos Integrados - I Workshop Brasileiro de HW/SW Co-design. Recife, Março, 1996.

Nelson's home page Back to the top