Michal H. Palka - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged data-flow programming

Testing an optimising compiler by generating random lambda termsMichal H. Palka, Koen Claessen, Russo, Alejandro, John Hughes. In Proceedings of the 6th International Workshop on Automation of Software Test. 2011: 91-97 [doi]

Multi-Agent System for Scheduling of Flight Program, Cargo Flow and Resources of International Space StationAnton Ivaschenko, Igor Khamits, Petr Skobelev, Marina Sychova. holomas 2011: 165-174 [doi]

Integrating Slot Exchange, Safety, Capacity, and Equity Mechanisms Within an Airspace Flow ProgramHanif D. Sherali, Justin M. Hill, Michael V. McCrea, Antonio A. Trani. transci, 45(2):271-284, 2011. [doi]

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]

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

Comparison of Gene Prediction Programs for Metagenomic DataNon Yok, Gail Rosen. bibe 2010: 291-292 [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]

TagDust - a program to eliminate artifacts from next generation sequencing dataTimo Lassmann, Yoshihide Hayashizaki, Carsten O. Daub. bioinformatics, 25(21):2839-2840, 2009. [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]

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]

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

Taut-String Algorithm and Regularization Programs with ::::G::::-Norm Data FitOtmar Scherzer. jmiv, 23(2):135-143, 2005. [doi]

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.

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]

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]

A single-program-multiple-data computational model for EPEX/FORTRANFrederica Darema, David A. George, V. Alan Norton, Gregory F. Pfister. pc, 7(1):11-24, 1988. [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.

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.

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.

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