- File /home/robert/thuis/hardware.s % hardware.s
- Accepted for publication in IEEE Transactions on Pattern Analysis and Machine Intelligence Approximating Bayesian Belief Networks by Arc Removal
- ON-LINE INTRUSION DETECTION USING SEQUENCES OF SYSTEM CALLS
- File /home/robert/thuis/fdm.s % Purpose: Finite Difference Schemes
- File /home/robert/thuis/linalg.s % Purpose: Matrix/vector operations script
- File /home/robert/thuis/html.s % Purpose: HTML definitions for document generation
- THE FLORIDA STATE UNIVERSITY COLLEGE OF ARTS AND SCIENCES
- USING THE CHAINS OF RECURRENCES ALGEBRA FOR DATA DEPENDENCE TESTING AND INDUCTION VARIABLE
- FormalMethodsforProgram AnalysisandGeneration
- Tight Timing Estimation With the Newton-Gregory Formulae
- Journal of Computing and Information Technology -CIT 9, 2001, 4, 289303 289 ATMOL: A Domain-Specific
- T H E M E A R T I C L E 22 1070-9924/97/$10.00 1997 IEEE IEEE COMPUTATIONAL SCIENCE & ENGINEERING
- Value Range Analysis of Conditionally Updated Variables and Pointers
- This is an extended version of a paper published in the proceedings of the IEEE IWIA workshop, 2004. Array Data Dependence Testing with the Chains of Recurrences Algebra
- Tight Timing Estimation With the Newton-Gregory Formulae Robert van Engelen, Kyle Gallivan, and Burt Walsh
- Parametric Intra-Task Dynamic Voltage Scheduling Burt Walsh, Robert van Engelen, Kyle Gallivan, Johnnie Birch, and Yixin Shou
- An Efficient Algorithm for Pointer-to-Array Access Conversion for Compiling and Optimizing DSP Applications
- Incorporating Application Dependent Information in an Automatic Code Generating Environment
- Technical Report TR-071005, Department of Computer Science, Florida State University, October 2007. Flow-Sensitive Loop-Variant Variable Classification in Linear Time
- Technical Report TR-041223, Department of Computer Science, Florida State University, December 2004. The CR# Algebra and its Application in Loop Analysis and Optimization
- Symbolic Evaluation of Chains of Recurrences for Loop Optimization
- A Table-Driven Streaming XML Parsing Methodology for High-Performance Web Services
- To appear in the proceedings of the IEEE IWIA 2002 Workshop Tight Non-Linear Loop Timing Estimation
- Bayesian Belief Network Simulation Changyun Wang
- File /home/robert/thuis/sfun.s % Purpose: Special Mathematical Functions
- Published in proceedings of the 1996 EUROSIM Int'l Conf., June 10--12, 1996, Delft, The Netherlands, pp. 421--428. Automatic Code Generation for High Performance Computing in
- Florida State University, College of Medicine, Dr. Cappendijk Lab. 1 Abstract--Birdsongs are a naturally learned behavior in
- A Unified Framework for Nonlinear Dependence Testing and Symbolic Analysis
- An Examination of the Effects of Offshore and Outsourced Development on the Delegation of
- File /home/robert/thuis/dyn.s % Purpose: HIRLAM DYN specification
- A Comparison of Parallel Programming Paradigms and Data Distributions for a Limited Area Numerical Weather Forecast Routine
- CPC Jan 10, 2006 1 Toward Remote Object
- File /home/robert/thuis/diff.s % Purpose: Symbolic differentiation and linearization
- Published in the proceedings of the ACM SIGAPP SAC Conference, 2004 (Embedded Systems track) Code Generation Techniques for Developing Light-Weight
- File /home/robert/thuis/vecalg.s % Purpose: Vector algebra package and PDE vector notation
- An Empirical Evaluation of Chains of Recurrences for Array Dependence Testing
- Efficient Symbolic Analysis for Optimizing Compilers ?
- Published in the proceedings of the International Symposium on Web Services and Applications (ISWS) 2004. Constructing Finite State Automata for High-Performance XML Web Services
- Flow-Sensitive Loop-Variant Variable Classification in Linear Time
- File /home/robert/thuis/disclaim.s % disclaim.s
- Identifying Opportunities for Web Services Security Performance Optimizations Robert A. van Engelen and Wei Zhang
- XMLRPC Agents for Distributed Scientific Computing Robert van Engelen
- Refractor Importance Sampling Haohai Yu and Robert A. van Engelen
- Pushing the SOAP Envelope With Web Services for Scientific Computing Robert A. van Engelen
- Published in the proceedings of the IEEE International Conference on Web Services (ICWS) 2006, pages 249256. Exploring Remote Object Coherence in XML Web Services
- gSOAP 2.8.3 User Guide Robert van Engelen
- Toward Remote Object Coherence with Compiled Object Serialization for Distributed
- File /home/robert/thuis/init.s % Switches and counters for pretty printing
- Automatic SIMD Vectorization of Chains of Recurrences Yixin Shou and Robert A. van Engelen
- File /home/robert/thuis/report.s % Purpose: HTML report generation
- An Overview and Evaluation of Web Services Security Performance Optimizations
- Published in proceedings of the HIPS'97 Second International Workshop, April 15, 1997, Geneva, Switzerland, IEEE Computer Society Press, pp. 105109. PDE-Oriented Language Compilation and Optimization with CTADEL for
- Ctadel: A Generator of E#cient Numerical Codes Ctadel: A Generator of E#cient Numerical Codes
- Published in the proceedings of the 2nd IEEE International Symposium on Cluster Computing and the Grid (CCGrid2002), May 21-24, 2002, Berlin, Germany. The gSOAP Toolkit for Web Services and Peer-To-Peer Computing Networks
- Using a Swap Instruction to Coalesce Loads and Stores
- Automatic Validation of CodeImproving Transformations ?
- gSOAP toolkit fact sheet for version release 2.8.0 and up -Intended for C and C++ (with optional use of STL containers)
- File /home/robert/thuis/arakawa.s % arakawa.s
- Published in proceedings of the 15 th IMACS'97 World Congress, August 1997, Berlin, Germany, Wissenshaft & Technik Verlag, Vol. 4, pp. 571--576. The CTADEL Application Driver for Numerical Weather Forecast Systems
- Approximating Bayesian Belief Networks by Arc Removal Robert A. van Engelen \Lambda
- File /home/robert/thuis/declare.s % declare.s
- CTADEL: A Generator of Multi-Platform High Performance Codes for PDE-based Scientific Applications
- Automatic Validation of CodeImproving Transformations Robert van Engelen, David Whalley, and Xin Yuan
- File /home/robert/thuis/trial.s include hardware ; fort77
- PAPER ID = 257 --Submitted to the IEEE International Conference on Web Services 2004. Constructing Finite State Automata for High Performance Web Services
- This technical report is an extended version of a paper published in the proceedings of the IEEE IWIA workshop, January 2004. Array Data Dependence Testing with the Chains of Recurrences Algebra
- High-Performance XML Parsing and Validation with Permutation Phrase Grammar Parsers
- Proc. of the 2002 International Conference on Computational Science (ICCS02), pp 419-419 A Case Study for Automatic Code Generation
- THE FLORIDA STATE UNIVERSITY COLLEGE OF ARTS AND SCIENCES
- A UNIFIED COMPILER FRAMEWORK FOR PROGRAM ANALYSIS, OPTIMIZATION, AND
- FLORIDA STATE UNIVERSITY COLLEGE OF ARTS AND SCIENCES
- select rt_sigprocmask
- Automa'cally Genera'ng High-Performance Parallel Code for
- Research Seminar! Prof. Robert van Engelen
- Automa'c Programming Robert van Engelen
