|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 12 keywords
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
163 | Brad Nemanich, Daniel E. Cooke, J. Nelson Rushton |
SequenceL: transparency and multi-core parallelisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAMP ![In: Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, DAMP 2010, Madrid, Spain, January 19, 2010, pp. 45-52, 2010, ACM, 978-1-60558-859-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
computational laws, sequencel, multi-core, transparency |
138 | Daniel E. Cooke |
Abstraction, concurrency, and communal computing in SequenceL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 188-191, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
SequenceL, declarative constructs, nonscalar processing, problem solver, metastructure, data products, data structures, concurrency, abstraction, computer language, language constructs, communal computing |
32 | Hakan Basagaoglu, Justin Blount, Jarred Blount, Bryant Nelson, Sauro Succi, Phil M. Westhart, John R. Harwell |
Computational performance of SequenceL coding of the lattice Boltzmann method for multi-particle flow simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 213, pp. 92-99, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
32 | Adem Özyavas |
Verification of SequenceL programs using Mizar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
32 | Per Andersen, Daniel E. Cooke, J. Nelson Rushton, Julian Russbach |
A Cluster Implementation for the Parallel Programming Language SequenceL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications & Conference on Real-Time Computing Systems and Applications, PDPTA 2006, Las Vegas, Nevada, USA, June 26-29, 2006, Volume 1, pp. 569-575, 2006, CSREA Press, 1-932415-86-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
32 | Daniel E. Cooke, J. Nelson Rushton |
SequenceL - An Overview of a Simple Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 64-70, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
32 | Daniel E. Cooke, Vladik Kreinovich |
Automatic concurrency in SequenceL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 42(1), pp. 115-128, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Per H. Andersen |
A parallel compiler for SequenceL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2002 |
RDF |
|
32 | Daniel E. Cooke, Per Andersen |
Automatic parallel control structures in SequenceL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 30(14), pp. 1541-1570, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Daniel E. Cooke, David A. Dampier |
A Real-Time Version of SequenceL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Softw. Eng. ![In: Ann. Softw. Eng. 7, pp. 157-176, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Joseph E. Urban, Daniel E. Cooke |
Distributed data parallelisms: specified in Descartes and programmed in SequenceL and Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS (Jan.) ![In: Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, Santa Barbara, California, USA, January 27-29, 1999. Proceedings, pp. 102-109, 1999, IEEE Computer Society, 0-7695-0101-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Daniel E. Cooke, Vladik Kreinovich |
Automatic Concurrency in SequenceL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Monterey Workshop ![In: The 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, Carmel, California, USA, October 23-26, 1998, pp. 23-34, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Daniel E. Cooke |
SequenceL Provides a Different Way to View Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. ![In: Comput. Lang. 24(1), pp. 1-32, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Daniel E. Cooke, Vladik Kreinovich, Joseph E. Urban |
A Distributed Version of the SequenceL Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: The Seventeenth Symposium on Reliable Distributed Systems, SRDS 1998, West Lafayette, Indiana, USA, October 20-22, 1998, Proceedings, pp. 295-301, 1998, IEEE Computer Society, 0-8186-9218-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Daniel E. Cooke, Matt Barry, Michael Lowry, Cordell Green |
NASA's Exploration Agenda and Capability Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 39(1), pp. 63-73, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
NASA flight systems, International Space Station, Model-based languages, Risk analysis methodologies, SequenceL, Capability engineering |
29 | Laurianne McLaughlin |
Automated programming the next wave of developer power tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 23(3), pp. 91-93, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
automated programming, Metafor, SequenceL, Planware, high-assurance software, software development, model-driven architecture, model driven development |
25 | Daniel E. Cooke, J. Nelson Rushton, Brad Nemanich, Robert G. Watson, Per Andersen |
Normalize, transpose, and distribute: An automatic approach for handling nonscalars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(2), pp. 9:1-9:49, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
automatic loop generation, Automatic parallelisms |
25 | Daniel E. Cooke, Brad Nemanich, J. Nelson Rushton |
The Role of Theory and Experiment in Language Design--A 15 Year Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 13-15 November 2006, Arlington, VA, USA, pp. 163-168, 2006, IEEE Computer Society, 0-7695-2728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Daniel E. Cooke, J. Nelson Rushton |
Iterative and Parallel Algorithm Design from High Level Language Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2005, 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III, pp. 891-894, 2005, Springer, 3-540-26044-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|