David M. Cohen

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
A direct algorithm for joint optimal sensor scheduling and MAP state estimation for hidden Markov models.
Proceedings of the IEEE International Conference on Acoustics, 2013

2012
Expected-utility-based sensor selection for state estimation.
Proceedings of the 2012 IEEE International Conference on Acoustics, 2012

1997
The AETG System: An Approach to Testing Based on Combinatiorial Design.
IEEE Trans. Software Eng., 1997

A Parallel Implementation of the GTH Algorithm.
INFORMS J. Comput., 1997

1996
Products of Finite State Machines with Full Coverage.
Theor. Comput. Sci., 1996

The Combinatorial Design Approach to Automatic Test Generation.
IEEE Softw., 1996

Weighted Binary Trees for Concurrent Searching.
J. Algorithms, 1996

1994
The Automatic Efficient Test Generator (AETG) system.
Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

1993
Performance modeling of video teleconferencing in ATM networks.
IEEE Trans. Circuits Syst. Video Technol., 1993

An almost regenerative simulation of video teleconferencing traffic.
Proceedings of the 25th Winter Simulation Conference, 1993

A Simulation Study of Video Teleconferencing Traffic in ATM Networks.
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.
IEEE Trans. Computers, 1991

1990
Rapid Prototyping of Communications Protocol Using a New Parallel Language.
Proceedings of the First International Conference on Systems Integration, 1990

L.0: A Language for Modeling and Prototyping Communications Software.
Proceedings of the Formal Description Techniques, 1990

1988
The IC model of parallel computation and programming environment.
Comput. Commun. Rev., 1988

The IC* System for Debugging Parallel Programs via Interactive Monitoring and Control.
Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, 1988

1987
The IC system for protocol development.
Comput. Commun. Rev., 1987

1981
A Steady-State-Transition Model of Insulin Secretion.
PhD thesis, 1981

1977
An approach to simulation of multilevel production systems.
Proceedings of the American Federation of Information Processing Societies: 1977 National Computer Conference, 1977


  Loading...