John Hatcliff - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged data-flow programming

Low power field programmable gate array implementation of fast digital signal processing algorithms: characterisation and manipulation of data localityStephen McKeown, Roger Woods. iet-cdt, 5(2):136-144, 2011. [doi]

Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with ArraysTorben Amtoft, John Hatcliff, Edwin RodrÃguez. ESOP 2010: 43-63 [doi]

An Enhanced Practical Program on Data Mining EducationHiroyuki Morita, Masashi Kondo, Tomonori Ishigaki, Nagateru Araki, Yuji Nakayama. csedu 2010: 177-180

High Resolution Program Flow Visualization of Hardware Accelerated Hybrid Multi-core ApplicationsDaniel Hackenberg, Guido Juckeland, Holger Brunst. ccgrid 2010: 786-791 [doi]

CARP: Handling Silent Data Errors and Site Failures in an Integrated Program and Storage Replication MechanismLanyue Lu, Prasenjit Sarkar, Dinesh Subhraveti, Soumitra Sarkar, Mark Seaman, Reshu Jain, Ahmed Bashir. icdcs 2009: 385-394 [doi]

Relationship of Psychological and Physiological Variables in Long-Term Self-Monitored Data During Work Ability Rehabilitation ProgramJuha PÃ¤rkkÃ¤, Juho Merilahti, Elina M. Mattila, Esko Malm, Kari Antila, Martti T. Tuomisto, Ari Viljam Saarinen, Mark van Gils, Ilkka Korhonen. titb, 13(2):141-151, 2009. [doi]

Securing Computerized Personal Data during Transit and at Rest Using Programmable System on Chip (PSoC) TechnologyChin-Ming Hsu, Hui-Mei Chao. csie 2009: 415-420 [doi]

ISOFIT - A program for fitting sorption isotherms to experimental dataL. Shawn Matott, Alan J. Rabideau. envsoft, 23(5):670-676, 2008. [doi]

Discounting telephone service: An examination of participation in the Lifeline Assistance Program using panel dataJanice A. Hauge, Mark A. Jamison, R. Todd Jewell. iepol, 20(2):135-149, 2008. [doi]

Detecting loop-carried dependences in programs with dynamic data structuresAngeles G. Navarro, Francisco Corbera, Adrian Tineo, Rafael Asenjo, Emilio L. Zapata. jpdc, 67(1):47-62, 2007. [doi]

Canadian Space Agency s Hurricane Watch Program: Archive contents, Data Access and improved planning strategiesSonya Banal, Steve Iris, Robert Saint-Jean. igarss 2007: 3494-3497 [doi]

Detailed Comparisons of Program, Erase and Data Retention Characteristics between P+- and N+-Poly SONOS NAND Flash MemoryVictor Chao-Wei Kuo, Chih-Ming Chao, Chih-Kai Kang, Li-Wei Liu, Tzung-Bin Huang, Liang-Tai Kuo, Shi-Hsien Chen, Houng-Chi Wei, Hann-Ping Hwang, Saysamone Pittikoun. mtdt 2006: 77-79 [doi]

Using data mining to improve traffic safety programsScott Solomon, Hang Nguyen, Jay Liebowitz, William W. Agresti. imds, 106(5):621-643, 2006. [doi]

A Programmable Pipelined Queue for Data Stream MiningMitsuaki Nakasumi. ic 2005: 216-224

Combining Mentor Graphics? HDL Designer FPGA Flow with a Reconfigurable System on a Programmable Chip, Educational Opportunity or Insanity?Raymond Hoare, Shen Chih Tung. mse 2003: 128-130 [doi]

What Can We Teach about Data Quality in Executive Education Programs?Woo Young Chung. iq 2002: 201

ASTROMOD: a computer program integrating vegetation dynamics modelling, environmental modelling and spatial data visualisation in Microsoft ExcelA. Berardi. envsoft, 17(4):403-412, 2002.

Wavelet Shrinkage of Turbulent Flow Fields Within a Finite-Volume Flow Simulation ProgramFrank Schäfer, Michael Breuer, R. Volkers, F. Durst. vmv 2002: 85-92

Le Select, a Middleware System that Eases the Publication of Scientific Data Sets and ProgramsEric Simon. wiiw 2001: 2

Performance of Fault-Tolerant Data and Compute Intensive Programs over a Network of WorkstationsJ. A. Smith, Santosh K. Shrivastava. TCS, 196(1-2):319-345, 1998. [doi]

Proving Properties of Programs Defined over Recursive Data StructuresDaniel Le Métayer. PEPM 1995: 88-99

DnaSP, DNA sequence polymorphism: an interactive program for estimating population genetics parameters from DNA sequence dataJulio Rozas, Ricardo Rozas. bioinformatics, 11(6):621-625, 1995.

PERFILS: a program for the quantitative treatment of footprinting dataX. Salas, J. Portugal. bioinformatics, 9(5):607-610, 1993.

Deterministic and Nondeterministic Computation and Horn Programs, on Abstract Data TypesJ. V. Tucker, Jeffery I. Zucker. jlp, 13(1):23-55, 1992.

CPLET Computer Program for Evaluation of Colligative Property Equilibrium DataJosef Havel, Nuria Miralles, Ana Sastre, Manuel Aguilar. CANDC, 16(4):319-323, 1992. [doi]

Abstract data groups: structuring distributed programs as layersSanjay Gadkari. iccl 1992: 222-231 [doi]

Tensor: a Program to Extract Hyperfine Tensors from Single Crystal EPR and ENDOR DataAlessandro Ponti, Cesare Oliva. CANDC, 16(3):233-238, 1992. [doi]

Fluorim: a Computer Program for the Automated Data Collection and Treatment Using Commercial SpectrofluorimetersLuis Angel Berrueta, Luis Angel Fernandez, Fornés Vicente. CANDC, 15(4):307-312, 1991. [doi]

LEHM: a convenient non-linear regression microcomputer program for fitting Michaelis-Menten and Hill models to enzyme kinetic dataJ. Marszalek, J. Kostrowicki, J. Spychala. bioinformatics, 5(3):239-240, 1989.

CHOODRAW - an interactive molecular graphics program (PC/XT/AT) to display small molecules complexed with protein fragments selected from the protein data bankFrançois-Xavier Bon, Roland van Rapenbusch. CANDC, 13(4):387-394, 1989. [doi]

KATCOM: A microcomputer program for the computation of stability constants from potentiometric titration dataV. Gadjokov, H. Mihailova. CANDC, 13(4):325-335, 1989. [doi]

Characterization of Branch and Data Dependencies in Programs for Evaluating Pipeline PerformancePhilip G. Emma, Edward S. Davidson. TC, 36(7):859-875, 1987.

Two computer programs for rapid entry of DNA sequence dataH. B. Jenson. bioinformatics, 3(4):283-286, 1987.

A Data Structure and Algorithm for a Self-Augmenting Heuristic ProgramA. Hutchinson. cj, 29(2):135-150, 1986.

A program for prediction of protein secondary structure from nucleotide sequence data: application to histocompatibility antigensJiri Novotny, Charles Auffray. nar, 12(1):243-255, 1984.

Extension of a flexible computer program for handling DNA sequence dataManfred Kröger, A. Kroger-Block. nar, 12(1):113-120, 1984.

An efficient program to construct restriction maps from experimental data with realistic error levelsR. Durand, F. Bregegere. nar, 12(1):703-716, 1984.

SCOOP: A System For Integrating Existing Heterogeneous Distributed Data Bases and Application ProgramsStefano Spaccapietra, G. Barbara Demo, Christine Parent. infocom 1983: 608-616

Algorithm 51. A reliable and numerically stable program for rational interpolation of lagrange dataH. Werner. computing, 31(3):269-286, 1983. [doi]

Auxiliary programs for operating with large matrices I : Data processing in sequential orderI. Bálint, M. I. Bán. CANDC, 7(1):37-40, 1983. [doi]

Auxiliary programs for operating with large matrices II : Random data processingI. Bálint, M. I. Bán. CANDC, 7(1):41-44, 1983. [doi]

SCOOP: A System for COOPeration Between Existing Heterogeneous Distributed Data Bases and ProgramsStefano Spaccapietra, G. Barbara Demo, Antonio Di Leva, Christine Parent. DEBU, 5(4):52-57, 1982. [doi]

A flexible new computer program for handling DNA sequence dataManfred Kröger, A. Kroger-Block. nar, 10(1):229-236, 1982.

Analyzing electrolytic conductivity data by the Fuoss-Justice equation with a programmable calculatorWolfgang Linert, P. Prechberger. CANDC, 6(3):101-109, 1982. [doi]

Computer programs to analyze DNA and amino acid sequence dataK. Isono. nar, 10(1):85-89, 1982.

Analyzing electrolytic conductivity data with a programmable calculatorP. Rechberger, W. Linert. CANDC, 4(2):61-68, 1980. [doi]

Arthur G. Duncan: Data Structures and Program Correctness: Bridging the GapLawrence Yelowitz. Comp. Lang., Syst. \& Struct., 3(2):135-142, 1978.

A Computer Program for Exploring the Homogeneousness of Randomly Sampled Categorical DataJ. P. Higgins. acj, 9(3):112-113, 1977.

1976 ACM SIGMOD International Conference on Management of Data (Program)SIGMOD, 7(3):70-71, 1975. [doi]

Organization and structure of data on disk file memory systems for efficient sorting and other data processing programsMartin A. Goetz. CACM, 6(5):245-248, 1963. [doi]

runs on WebDSL