David M. Cohen

According to our database, David M. Cohen authored at least 19 papers between 1977 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2013

A direct algorithm for joint optimal sensor scheduling and MAP state estimation for hidden Markov models.

David M. Jun, David M. Cohen, Douglas L. Jones

Proceedings of the IEEE International Conference on Acoustics, 2013

2012

Expected-utility-based sensor selection for state estimation.

David M. Cohen, Douglas L. Jones, Sriram Narayanan

Proceedings of the 2012 IEEE International Conference on Acoustics, 2012

1997

The AETG System: An Approach to Testing Based on Combinatiorial Design.

David M. Cohen, Siddhartha R. Dalal, Michael L. Fredman, Gardner C. Patton

IEEE Trans. Software Eng., 1997

A Parallel Implementation of the GTH Algorithm.

David M. Cohen, Daniel P. Heyman, Asya Rabinovitch, Danit Brown

INFORMS J. Comput., 1997

1996

Products of Finite State Machines with Full Coverage.

David M. Cohen, Michael L. Fredman

Theor. Comput. Sci., 1996

The Combinatorial Design Approach to Automatic Test Generation.

David M. Cohen, Siddhartha R. Dalal, Jesse Parelius, Gardner C. Patton

IEEE Softw., 1996

Weighted Binary Trees for Concurrent Searching.

David M. Cohen, Michael L. Fredman

J. Algorithms, 1996

1994

The Automatic Efficient Test Generator (AETG) system.

David M. Cohen, Siddhartha R. Dalal, A. Kajla, Gardner C. Patton

Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

1993

Performance modeling of video teleconferencing in ATM networks.

David M. Cohen, Daniel P. Heyman

IEEE Trans. Circuits Syst. Video Technol., 1993

An almost regenerative simulation of video teleconferencing traffic.

David M. Cohen, Daniel P. Heyman

Proceedings of the 25th Winter Simulation Conference, 1993

A Simulation Study of Video Teleconferencing Traffic in ATM Networks.

David M. Cohen, Daniel P. Heyman

Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993

1991

The L.0 Language and Environment for Protocol Simulation and Prototyping.

E. Jane Cameron, David M. Cohen, Timothy M. Guinther, William M. Keese II, Linda A. Ness, Cynthia Norman, Hassan N. Srinidhi

IEEE Trans. Computers, 1991

1990

Rapid Prototyping of Communications Protocol Using a New Parallel Language.

David M. Cohen, Timothy M. Guinther, Linda A. Ness

Proceedings of the First International Conference on Systems Integration, 1990

L.0: A Language for Modeling and Prototyping Communications Software.

E. Jane Cameron, David M. Cohen, Timothy M. Guinther, William M. Keese II, Linda A. Ness, Cynthia Norman, Hassan N. Srinidhi

Proceedings of the Formal Description Techniques, 1990

1988

The IC* Model of Parallel Computation and Programming Environment.

E. Jane Cameron, David M. Cohen, B. Gopinath, William M. Keese II, Linda A. Ness, Prem Uppaluru, John R. Vollaro

IEEE Trans. Software Eng., 1988

The IC* System for Debugging Parallel Programs via Interactive Monitoring and Control.

E. Jane Cameron, David M. Cohen

Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, 1988

1987

The IC system for protocol development.

David M. Cohen, Timothy M. Guinther

Comput. Commun. Rev., 1987

1981

A Steady-State-Transition Model of Insulin Secretion.

David M. Cohen

PhD thesis, 1981

1977

An approach to simulation of multilevel production systems.

Joseph F. Clark, David M. Cohen

Proceedings of the American Federation of Information Processing Societies: 1977 National Computer Conference, 1977