Daniel E. Cooke

66 papers A 1B 9C 12Misc 2Journal 31Unranked 9
YearRankTypeTitle / Venue / Authors
2010 — conf
SequenceL: transparency and multi-core parallelisms.
DAMP
Brad Nemanich, Daniel E. Cooke, J. Nelson Rushton
2010 C conf
The multi-core programming challenge.
SEKE
Daniel E. Cooke
2009 J jnl
Guest Editor's Introduction.
Int. J. Softw. Eng. Knowl. Eng.
Daniel E. Cooke
2009 J jnl
Taking Parnas's Principles to the Next Level: Declarative Language Design.
Computer
Daniel E. Cooke, J. Nelson Rushton
2008 A conf
A Toolkit for Distributed and Parallel Computing in Embedded Systems.
ESA
Bryan Hughes, Brian Nutter, Per Andersen, Daniel E. Cooke
2008 J jnl
Normalize, transpose, and distribute: An automatic approach for handling nonscalars.
ACM Trans. Program. Lang. Syst.
Daniel E. Cooke, J. Nelson Rushton, Brad Nemanich, Robert G. Watson, Per Andersen
2007 J jnl
Examining Artificial and Human Intelligence.
IEEE Intell. Syst.
Daniel E. Cooke
2006 Misc conf
A Cluster Implementation for the Parallel Programming Language SequenceL.
PDPTA
Per Andersen, Daniel E. Cooke, J. Nelson Rushton, Julian Russbach
2006 J jnl
NASA's Exploration Agenda and Capability Engineering.
Computer
Daniel E. Cooke, Matt Barry, Michael Lowry, Cordell Green
2006 C conf
The Evolutionary Role of Variable Assignment and Its Impact on Program Verification.
SEKE
Daniel E. Cooke, J. Nelson Rushton, Robert G. Watson
2006 B conf
The Role of Theory and Experiment in Language Design--A 15 Year Perspective.
ICTAI
Daniel E. Cooke, Brad Nemanich, J. Nelson Rushton
2005 J jnl
Connector-based self-healing mechanism for components of a reliable system.
ACM SIGSOFT Softw. Eng. Notes
Michael E. Shin, Daniel E. Cooke
2005 Misc conf
Iterative and Parallel Algorithm Design from High Level Language Traces.
International Conference on Computational Science (3)
Daniel E. Cooke, J. Nelson Rushton
2005 — conf
SequenceL - An Overview of a Simple Language.
PLC
Daniel E. Cooke, J. Nelson Rushton
2004 — conf
An Improved Hybrid Method of Maintaining Content Consistency.
AWCC
Changming Ma, Daniel E. Cooke
2003 — conf
Extending Acquisition of High Quality Customer Level Requirements.
Software Engineering Research and Practice
Rattikorn Hewett, John H. Leuchner, Ken Ford, Daniel E. Cooke
2003 — conf
Parallel Distributed Application Framework for Earth Science Data Processing.
ScanGIS
Petr Votava, Ramakrishna R. Nemani, Keith Golden, Daniel E. Cooke, Hector Hernandez, Changming Ma
2003 C conf
Software Engineering as Technology Transfer.
SEKE
Daniel E. Cooke, Jason Denton
2002 J jnl
Automatic concurrency in SequenceL.
Sci. Comput. Program.
Daniel E. Cooke, Vladik Kreinovich
2002 J jnl
Designing Interdisciplinary Approaches to Problem Solving into Computer Languages.
Trans. SDPS
Daniel E. Cooke, Vladik Kreinovich, Joseph E. Urban
2002 B conf
Projecting our Presence in Space and in Time.
ICTAI
Daniel E. Cooke
2002 J jnl
Virtual Collaborations with the Real: NASA's New Era in Space Exploration.
IEEE Intell. Syst.
Daniel E. Cooke, Butler Hine
2000 J jnl
Automatic parallel control structures in SequenceL.
Softw. Pract. Exp.
Daniel E. Cooke, Per Andersen
2000 — conf
Issues concerning the future of computer science.
HASE
Daniel E. Cooke
2000 J jnl
New Directions at NASA Ames Research Center.
Computer
Daniel E. Cooke, Scott Hamilton
1999 J jnl
A Real-Time Version of SequenceL.
Ann. Softw. Eng.
Daniel E. Cooke, David A. Dampier
1999 — conf
Distributed data parallelisms: specified in Descartes and programmed in SequenceL and Java.
WORDS (Jan.)
Joseph E. Urban, Daniel E. Cooke
1999 J jnl
Unix and Beyond: An Interview with Ken Thompson.
Computer
Daniel E. Cooke, Joseph E. Urban, Scott Hamilton, Ken Thompson
1998 B conf
A Distributed Version of the SequenceL Language.
SRDS
Daniel E. Cooke, Vladik Kreinovich, Joseph E. Urban
1998 — conf
Automatic Concurrency in SequenceL.
Monterey Workshop
Daniel E. Cooke, Vladik Kreinovich
1998 J jnl
Guest Editors' Introduction.
Int. J. Softw. Eng. Knowl. Eng.
Daniel E. Cooke, Joseph E. Urban
1998 J jnl
Outlook on Language Research and Practice.
Computer
Daniel E. Cooke
1998 J jnl
SequenceL Provides a Different Way to View Programming.
Comput. Lang.
Daniel E. Cooke
1997 B conf
Abstraction, concurrency, and communal computing in SequenceL.
COMPSAC
Daniel E. Cooke
1997 J jnl
Logic Programming and Software Maintenance.
Ann. Math. Artif. Intell.
Daniel E. Cooke, Luqi
1996 J jnl
An Introduction to Sequence L: A Language to Experiment with Constructs for Processing Nonscalars.
Softw. Pract. Exp.
Daniel E. Cooke
1996 J jnl
Languages for the specification of software.
J. Syst. Softw.
Daniel E. Cooke, Ann Q. Gates, Elif Demirörs, Onur Demirörs, Murat M. Tanik, Bernd J. Krämer
1996 J jnl
Reviews - Applications of reliable scientific computing.
Reliab. Comput.
M. Beltran, Daniel E. Cooke
1995 J jnl
An informal introduction to a high level language with applications to interval mathematics.
Reliab. Comput.
Daniel E. Cooke
1995 J jnl
How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software.
Int. J. Softw. Eng. Knowl. Eng.
Luqi, Daniel E. Cooke
1995 C conf
Preliminary Thoughts Concerning The Interphase Activity of Requirement Migration.
SEKE
Daniel E. Cooke
1995 C conf
The Future of Software Engineering Education.
SEKE
Joseph E. Urban, Daniel E. Cooke, Doris L. Carver, Roland T. Mittermeir
1995 C conf
The Use of Integrity Constraints in Software Engineering.
SEKE
Ann Q. Gates, Daniel E. Cooke
1994 — ch.
An Introduction to the Issues of Computer Aided Software Engineering.
The Impact of Case Technology on Software Processes
Daniel E. Cooke
1994 C conf
Bag languages, concurrency, Horn logic programs, and linear logic.
SEKE
Daniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich
1994 — book
The Impact of Case Technology on Software Processes
Daniel E. Cooke
1993 C conf
A High Level Programming Language Based Upon Ordered Multisets.
SEKE
Daniel E. Cooke
1993 B conf
Formal support for software maintenance.
COMPSAC
Daniel E. Cooke, Luqi
1993 J jnl
Maintaining the Truth of Specifications in Evolutionary Software.
Int. J. Artif. Intell. Tools
C. V. Ramamoorthy, Daniel E. Cooke, Chitta Baral
1993 J jnl
Possible Effects of the Next Generation Programming Language on the Software Process Model.
Int. J. Softw. Eng. Knowl. Eng.
Daniel E. Cooke
1993 C conf
Software Automation.
SEKE
Daniel E. Cooke
1992 C conf
An Introduction to BagL.
SEKE
Daniel E. Cooke, Aida Gutierrez
1992 J jnl
An issue of the next generation of problem-solving environments.
J. Syst. Integr.
Daniel E. Cooke
1992 J jnl
Guest Editor's Introduction.
Int. J. Softw. Eng. Knowl. Eng.
Daniel E. Cooke
1992 B conf
Logical Development of a Petri Net Deadlock Analysis Program.
ICTAI
Daniel E. Cooke
1992 B conf
The management of uncertainty in software development.
COMPSAC
Luqi, Daniel E. Cooke
1991 B conf
AI in multimedia (panel session).
ICTAI
Nikolaos G. Bourbakis, Robin Williams, Forouzan Golshani, Myron Flickner, Ted Laliotis, Sukhan Lee, José G. Delgado-Frias, Dan Hammerstrom, Cris Koutsougeras, Gerald G. Pechanek, Benjamin W. Wah, John Yen, Farokh B. Bastani, Tom Cooper, Karan Harbison-Briggs, Rudy Lauber, Alun D. Preece, Imran A. Zualkernan, W. T. Tsai, Daniel E. Cooke, Martin S. Feather, Stephen Fickas, N. Minsky, Peter G. Selfridge, Douglas Smith
1991 J jnl
Book Review: "software Conflict: Essays on the Art and Science of Software Engineering".
Int. J. Softw. Eng. Knowl. Eng.
Daniel E. Cooke
1991 J jnl
Guest Editor's Introduction: the Impact of Case on Software Development Processes.
Int. J. Softw. Eng. Knowl. Eng.
Daniel E. Cooke
1991 J jnl
On the Development of a Method to Synthesize Programs from Requirements Specifications.
Int. J. Softw. Eng. Knowl. Eng.
Daniel E. Cooke, Ann Q. Gates
1991 B conf
The correspondence between methods of artificial intelligence and the production and maintenance of evolutionary software.
ICTAI
C. V. Ramamoorthy, Daniel E. Cooke
1990 C conf
An Introduction To The Recognition of Iterative Structures by a CASE Tool.
SEKE
Ann Q. Gates, Daniel E. Cooke
1990 J jnl
Formal specifications of resource-deadlock prone petri nets.
J. Syst. Softw.
Daniel E. Cooke
1990 — conf
On the application of stratification to requirement specifications.
TAI
Daniel E. Cooke, Ann Q. Gates
1990 J jnl
Towards a Formalism to Produce a Programmer Assistant CASE Tool.
IEEE Trans. Knowl. Data Eng.
Daniel E. Cooke
1989 C conf
Proving Properties of Software Design Methods.
SEKE
Daniel E. Cooke