William W. Edmonson

According to our database1, William W. Edmonson authored at least 32 papers between 2000 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Category Theoretic Based Formalization of the Verifiable Design Process.
Proceedings of the 2019 IEEE International Systems Conference, 2019

2018
Intersatellite Communication System Based on Visible Light.
IEEE Trans. Aerospace and Electronic Systems, 2018

Formal Behavioral Requirements Management.
IEEE Systems Journal, 2018

A Stackelberg Game-theoretic Model for Interference Management in Inter-satellite Communication Networks.
Proceedings of the 6th IEEE International Conference on Wireless for Space and Extreme Environments, 2018

Formalization of the responsive and formal design process using category theory.
Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

An MBSE conceptual design phase model for inter-satellite communication.
Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

2017
A non-cooperative game theoretic approach for power allocation in intersatellite communication.
Proceedings of the 2017 IEEE International Conference on Wireless for Space and Extreme Environments, 2017

Link performance improvement via design variables optimization in LED-based VLC system for inter-satellite communication.
Proceedings of the 2017 IEEE International Conference on Wireless for Space and Extreme Environments, 2017

Fuzzy classification context for the responsive and formal design process.
Proceedings of the 2017 Annual IEEE International Systems Conference, 2017

Inter-satellite communication MBSE design framework for small satellites.
Proceedings of the 2017 Annual IEEE International Systems Conference, 2017

2016
Survey of Inter-satellite Communication for Small Satellite Systems: Physical Layer to Network Layer View.
CoRR, 2016

Survey of Inter-Satellite Communication for Small Satellite Systems: Physical Layer to Network Layer View.
IEEE Communications Surveys and Tutorials, 2016

Utility of Light Emitting Diodes for inter-satellite communication in multi-satellite networks.
Proceedings of the 2016 IEEE International Conference on Wireless for Space and Extreme Environments, 2016

Systems Engineering Education for East Africa.
Proceedings of the Complex Systems Design & Management, 2016

2015
Software Defined Radio implementation of DS-CDMA in inter-satellite communications for small satellites.
Proceedings of the 2015 IEEE International Conference on Wireless for Space and Extreme Environments, 2015

Systems engineering of inter-satellite communications for distributed systems of small satellites.
Proceedings of the Annual IEEE Systems Conference, 2015

2014
Small satellite systems design methodology: A formal and agile design process.
Proceedings of the IEEE International Systems Conference, 2014

Formal Framework for Ensuring Consistent System and Component Theories in the Design of Small Satellite Systems.
Proceedings of the Poster Workshop at the 2014 Complex Systems Design & Management International Conference co-located with 5th International Conference on Complex System Design & Management (CSD&M 2014), 2014

2013
Inter-Satellite Communications for Small Satellite Systems.
IJITN, 2013

2012
A Dataflow Framework for DSP Algorithm Refinement.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2012

2011
Block Floating Point Interval ALU for Digital Signal Processing.
Reliable Computing, 2011

2009
Global Optimization Methods for Harmonic Retrieval.
Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

IEEE Interval Standard Working Group - P1788: Current Status.
Proceedings of the 19th IEEE Symposium on Computer Arithmetic, 2009

2008
IIR Filter Adaptation Using Branch-and-Bound: A Novel Approach.
IEEE Trans. on Circuits and Systems, 2008

Interval Semantics for Standard Floating-Point Arithmetic
CoRR, 2008

2007
The Use of Interval Methods in Signal Processing and Control for Systems Biology.
Proceedings of the IEEE Symposium on Foundations of Computational Intelligence, 2007

2006
H.264 Video Decoder Design: Beyond RTL Design Implementation.
Proceedings of the IEEE Workshop on Signal Processing Systems, 2006

Pipelined ALU for Signal Processing to Implement Interval Arithmetic.
Proceedings of the IEEE Workshop on Signal Processing Systems, 2006

2002
BIBO Stability of D-Dimensional Filters.
Multidim. Syst. Sign. Process., 2002

2001
Linear prediction of bandlimited processes with flat spectral densities.
IEEE Trans. Signal Processing, 2001

2000
The predictability of continuous-time, bandlimited processes.
IEEE Trans. Signal Processing, 2000

Interval Methods for Sinusoidal Parameter Estimation: A Comparative Analysis.
Reliable Computing, 2000


  Loading...