Dennis K. Peters

Publication Activity (10 Years)

Years Active: 1994-2022
Publications (10 Years): 5

Top Topics

Finding Corresponding Points

Clustering Algorithm

Formal Specification

Top Venues

Concurr. Comput. Pract. Exp.

IEEE Trans. Computers

Publications

Md. Monjur Ul Hasan, Reza Shahidi, Dennis K. Peters, Lesley Anne James, Ray G. Gosine
Piecemeal Clustering: a Self-Driven Data Clustering Algorithm. IEEE Access 10 (2022)
Lan Song, Dennis K. Peters, Weimin Huang, Desmond Power
Ship-iceberg discrimination from Sentinel-1 synthetic aperture radar data using parallel convolutional neural network. Concurr. Comput. Pract. Exp. 33 (17) (2021)
Lan Song, Dennis K. Peters, Weimin Huang, Zhiwei Liu, Lixia Lei, Tangliu Wen
Parallel Communication Mechanisms in Solving Integral Equations for Electromagnetic Scattering Based on the Method of Moments. ICA3PP (1) (2018)
Shadi G. Alawneh, Roelof Dragt, Dennis K. Peters, Claude Daley, Stephen Bruneau
Hyper-Real-Time Ice Simulation and Modeling Using GPGPU. IEEE Trans. Computers 64 (12) (2015)
Ying Liu, Weimin Huang, Eric W. Gill, Dennis K. Peters, Raul Vicen-Bueno
Comparison of Algorithms for Wind Parameters Extraction From Shipborne X-Band Marine Radar Images. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 8 (2) (2015)
Shadi G. Alawneh, Dennis K. Peters
Using Test Oracles and Formal Specifications with Test-Driven Development. Int. J. Softw. Eng. Knowl. Eng. 23 (3) (2013)
Shadi G. Alawneh, Dennis K. Peters
2D Triangulation of Polygons on CUDA. HPCS (2013)
Shadi G. Alawneh, Dennis K. Peters
Ice Simulation Using GPGPU. HPCC-ICESS (2012)
Shadi G. Alawneh, Dennis K. Peters
Specification-based test oracles with JUnit. CCECE (2010)
Tom Arbuckle, Adam Balaban, Dennis K. Peters, Mark Lawford
Software Documents: Comparison and Measurement. SEKE (2007)
Dennis K. Peters, Mark Lawford, Baltasar Trancón y Widemann
An IDE for software development using tabular expressions. CASCON (2007)
Dennis K. Peters, David Lorge Parnas
Requirements-Based Monitors for Real-Time Systems. IEEE Trans. Software Eng. 28 (2) (2002)
Dennis K. Peters, David Lorge Parnas
Requirements-based monitors for real-time systems. ISSTA (2000)
David Lorge Parnas, Dennis K. Peters
An Easily Extensible Toolset for Tabular Mathematical Expressions. TACAS (1999)
Dennis K. Peters, David Lorge Parnas
Using Test Oracles Generated from Program Documentation. IEEE Trans. Software Eng. 24 (3) (1998)
Dennis K. Peters, David Lorge Parnas
Generating a Test Oracle from Program Documentation (Work in Progress). ISSTA (1994)