Searching for "Grand Challenges for Computing Research." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

The Verifying Compiler: A Grand Challenge for Computing Research
by Tony Hoare — 2003 — Journal of the ACM
…The Verifying Compiler: A Grand Challenge for Computing Research TONY HOARE Microsoft Research Ltd…
Cited by 48 (1 self) – Add To MetaCart

Artificial immune systems and the grand challenge for non-classical computation
by Susan Stepney, John A. Clark, Colin G. Johnson, Derek Partridge, Robert E. Smith — 2003 — Proceedings of the 2003 International Conference on Artificial Immune Systems, LNCS 2787
…. The UK Grand Challenges for Computing Research is an initiative to map out certain key areas that could…
Cited by 4 (0 self) – Add To MetaCart

The Verified Software Repository: a step towards the verifying compiler
by J. C. Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
…: the UKCRC’s initiative in grand challenges for computing research, the nature of a verifying compiler…
Cited by 4 (1 self) – Add To MetaCart

Brain Organization and Computation
by Andreas Schierwagen
… of Unconventional Computing such as IBM’s ‘Autonomic Computing’ 1 , the ‘Grand Challenges in Computing Research…
Add To MetaCart

Storing and Replaying Experiences in Mixed Environments using Hypermedia
by Luis Alves — 2004 — Memory and Sharing of Experiences Workshop, Pervasive 2004 Conference
… Challenges for Computing Research” [1]. The workgroup that produced the report identified several problems…
Cited by 1 (0 self) – Add To MetaCart

A grand challenge for computing: Towards full reactive modeling of a multi-cellular animal
by David Harel, Naaman Kam, Sol Efroni, My Colleagues Michael, Jane Hubbard, Amir Pnueli, Irun Cohen, Comments This — 2004 — Science (EATCS) (81): 226–235. (Reprinted in Current Trends in Theoretical Computer Science: The Challenge of the New Century, Algorithms and Complexity, Vol I (Paun, Rozenberg and Salomaa, eds.), World Scientific
… appeared as a position paper in the UK Workshop on Grand Challenges in Computing Research, November 2002…
Cited by 4 (1 self) – Add To MetaCart

Proof-directed debugging and repair
by Louise A. Dennis, Raul Monroy, Pablo Nogueira — 2006 — Seventh Symposium on Trends in Functional Programming
… Grand Challenge for Computing Research 1 . To be truly useful, the verifying compiler [10] will need…
Cited by 5 (2 self) – Add To MetaCart

Theories for Ubiquitous Processes and Data: Platform for 15-year
by Robin Milner — 2002 — Grand Challenge.” Workshop on Grand Challenges for Computing Research
… This paper is written as background for a proposed Grand Challenge in Computing Research, entitled Science…
Cited by 1 (0 self) – Add To MetaCart

Papers For
by Computer Systems Papers, Roger Needham, Roger Needham, Martín Abadi, Ross Anderson, Jean Bacon, Andrew Birrell, Christopher Bishop, Michael Bond, Alan Bundy, Mike Burrows, Luca Cardelli, David Clark, John Crowcroft, Ewen Denney, Dorothy Denning, Peter Denning, Li Gong, Jim Gray
…............................ Grand Challenges for Computing Research................ 97 Andy Hopper......................... Sentient…
Add To MetaCart

'SemanticLIFE' - A Framework for Managing Information of a Human Lifetime
by H.H. Ahmed, Hoang H. H, M.S. Karim, S. Khusro, K. Lanzenberger, A. Schatten, K. Latif, E. Michlmayr, K. Mustofa, H.T. Nguyen, A. Rauber, M. N. Tho, A M. Tjoa
… Challenges for Computing Research by the UK Computing Research Committee. The announcement of the First ACM…
Cited by 6 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB