Остановите войну!
for scientists:
default search action
Daniel E. Cooke
- > Home > Persons > Daniel E. Cooke
Publications
- 2010
- [c32]Brad Nemanich, Daniel E. Cooke, J. Nelson Rushton:
SequenceL: transparency and multi-core parallelisms. DAMP 2010: 45-52 - 2009
- [j30]Daniel E. Cooke, J. Nelson Rushton:
Taking Parnas's Principles to the Next Level: Declarative Language Design. Computer 42(9): 56-63 (2009) - 2008
- [j28]Daniel E. Cooke, J. Nelson Rushton, Brad Nemanich, Robert G. Watson, Per Andersen:
Normalize, transpose, and distribute: An automatic approach for handling nonscalars. ACM Trans. Program. Lang. Syst. 30(2): 9:1-9:49 (2008) - [c31]Bryan Hughes, Brian Nutter, Per Andersen, Daniel E. Cooke:
A Toolkit for Distributed and Parallel Computing in Embedded Systems. ESA 2008: 153-159 - 2006
- [c30]Daniel E. Cooke, Brad Nemanich, J. Nelson Rushton:
The Role of Theory and Experiment in Language Design--A 15 Year Perspective. ICTAI 2006: 163-168 - [c29]Per Andersen, Daniel E. Cooke, J. Nelson Rushton, Julian Russbach:
A Cluster Implementation for the Parallel Programming Language SequenceL. PDPTA 2006: 569-575 - [c28]Daniel E. Cooke, J. Nelson Rushton, Robert G. Watson:
The Evolutionary Role of Variable Assignment and Its Impact on Program Verification. SEKE 2006: 315-320 - 2005
- [c27]Daniel E. Cooke, J. Nelson Rushton:
Iterative and Parallel Algorithm Design from High Level Language Traces. International Conference on Computational Science (3) 2005: 891-894 - [c26]Daniel E. Cooke, J. Nelson Rushton:
SequenceL - An Overview of a Simple Language. PLC 2005: 64-70 - 2002
- [j24]Daniel E. Cooke, Vladik Kreinovich, Joseph E. Urban:
Designing Interdisciplinary Approaches to Problem Solving into Computer Languages. Trans. SDPS 6(3): 29-43 (2002) - [j23]Daniel E. Cooke, Vladik Kreinovich:
Automatic concurrency in SequenceL. Sci. Comput. Program. 42(1): 115-128 (2002) - 2000
- [j22]Daniel E. Cooke, Scott Hamilton:
New Directions at NASA Ames Research Center. Computer 33(1): 63-71 (2000) - [j21]Daniel E. Cooke, Per Andersen:
Automatic parallel control structures in SequenceL. Softw. Pract. Exp. 30(14): 1541-1570 (2000) - 1999
- [j20]Daniel E. Cooke, David A. Dampier:
A Real-Time Version of SequenceL. Ann. Softw. Eng. 7: 157-176 (1999) - [j19]Daniel E. Cooke, Joseph E. Urban, Scott Hamilton, Ken Thompson:
Unix and Beyond: An Interview with Ken Thompson. Computer 32(5): 58-64 (1999) - [c19]Joseph E. Urban, Daniel E. Cooke:
Distributed data parallelisms: specified in Descartes and programmed in SequenceL and Java. WORDS (Jan.) 1999: 102-109 - 1998
- [j16]Daniel E. Cooke, Joseph E. Urban:
Guest Editors' Introduction. Int. J. Softw. Eng. Knowl. Eng. 8(1): 1-2 (1998) - [c18]Daniel E. Cooke, Vladik Kreinovich, Joseph E. Urban:
A Distributed Version of the SequenceL Language. SRDS 1998: 295-301 - [c17]Daniel E. Cooke, Vladik Kreinovich:
Automatic Concurrency in SequenceL. Monterey Workshop 1998: 23-34 - 1997
- [j15]Daniel E. Cooke, Luqi:
Logic Programming and Software Maintenance. Ann. Math. Artif. Intell. 21(2-4): 221-229 (1997) - 1996
- [j14]Daniel E. Cooke, Ann Q. Gates, Elif Demirörs, Onur Demirörs, Murat M. Tanik, Bernd J. Krämer:
Languages for the specification of software. J. Syst. Softw. 32(3): 269-308 (1996) - 1995
- [j11]Luqi, Daniel E. Cooke:
How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software. Int. J. Softw. Eng. Knowl. Eng. 5(1): 89-118 (1995) - [c15]Joseph E. Urban, Daniel E. Cooke, Doris L. Carver, Roland T. Mittermeir:
The Future of Software Engineering Education. SEKE 1995: 63 - [c13]Ann Q. Gates, Daniel E. Cooke:
The Use of Integrity Constraints in Software Engineering. SEKE 1995: 383-390 - 1994
- [c12]Daniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich:
Bag languages, concurrency, Horn logic programs, and linear logic. SEKE 1994: 289-297 - 1993
- [j9]C. V. Ramamoorthy, Daniel E. Cooke, Chitta Baral:
Maintaining the Truth of Specifications in Evolutionary Software. Int. J. Artif. Intell. Tools 2(1): 15-32 (1993) - [c11]Daniel E. Cooke, Luqi:
Formal support for software maintenance. COMPSAC 1993: 402-407 - 1992
- [c8]Luqi, Daniel E. Cooke:
The management of uncertainty in software development. COMPSAC 1992: 381-386 - 1991
- [j5]Daniel E. Cooke, Ann Q. Gates:
On the Development of a Method to Synthesize Programs from Requirements Specifications. Int. J. Softw. Eng. Knowl. Eng. 1(1): 21-38 (1991) - [c5]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:
AI in multimedia (panel session). ICTAI 1991: 3-12 - [c4]C. V. Ramamoorthy, Daniel E. Cooke:
The correspondence between methods of artificial intelligence and the production and maintenance of evolutionary software. ICTAI 1991: 114-118 - 1990
- [c3]Daniel E. Cooke, Ann Q. Gates:
On the application of stratification to requirement specifications. TAI 1990: 760-766 - [c2]Ann Q. Gates, Daniel E. Cooke:
An Introduction To The Recognition of Iterative Structures by a CASE Tool. SEKE 1990: 202-208
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 02:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint