Daniel E. Cooke

66 papers A 1B 9C 12Misc 2Journal 31Unranked 9

Year	Rank	Type	Title / 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