31 resultados para Parallel Programming
Filtro por publicador
- Abertay Research Collections - Abertay University’s repository (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (3)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (1)
- Applied Math and Science Education Repository - Washington - USA (3)
- Archive of European Integration (5)
- Aston University Research Archive (4)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (2)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (30)
- Biblioteca Virtual del Sistema Sanitario Público de Andalucía (BV-SSPA), Junta de Andalucía. Consejería de Salud y Bienestar Social, Spain (1)
- Biodiversity Heritage Library, United States (6)
- Boston College Law School, Boston College (BC), United States (1)
- Brock University, Canada (17)
- Bulgarian Digital Mathematics Library at IMI-BAS (3)
- CentAUR: Central Archive University of Reading - UK (121)
- Cochin University of Science & Technology (CUSAT), India (6)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (54)
- Consorci de Serveis Universitaris de Catalunya (CSUC), Spain (42)
- CUNY Academic Works (4)
- Dalarna University College Electronic Archive (1)
- Department of Computer Science E-Repository - King's College London, Strand, London (23)
- Digital Archives@Colby (1)
- Digital Commons - Michigan Tech (2)
- Digital Commons @ Winthrop University (1)
- Digital Commons at Florida International University (1)
- Diposit Digital de la UB - Universidade de Barcelona (1)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (36)
- DRUM (Digital Repository at the University of Maryland) (1)
- Glasgow Theses Service (1)
- Illinois Digital Environment for Access to Learning and Scholarship Repository (1)
- Instituto Politécnico do Porto, Portugal (75)
- Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (5)
- Martin Luther Universitat Halle Wittenberg, Germany (5)
- Massachusetts Institute of Technology (20)
- Portal do Conhecimento - Ministerio do Ensino Superior Ciencia e Inovacao, Cape Verde (1)
- QSpace: Queen's University - Canada (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (4)
- RDBU - Repositório Digital da Biblioteca da Unisinos (3)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (15)
- Repositório digital da Fundação Getúlio Vargas - FGV (3)
- Repositório Digital da Universidade Municipal de São Caetano do Sul - USCS (5)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (91)
- Repositorio Institucional Universidad EAFIT - Medelin - Colombia (2)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (27)
- Scielo Saúde Pública - SP (11)
- Scottish Institute for Research in Economics (SIRE) (SIRE), United Kingdom (2)
- Universidad del Rosario, Colombia (5)
- Universidad Politécnica de Madrid (25)
- Universidade do Minho (6)
- Universidade Federal do Pará (3)
- Universidade Federal do Rio Grande do Norte (UFRN) (13)
- Universitat de Girona, Spain (4)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (9)
- Université de Lausanne, Switzerland (35)
- Université de Montréal, Canada (14)
- University of Michigan (5)
- University of Queensland eSpace - Australia (31)
- University of Southampton, United Kingdom (34)
- University of Washington (2)
Resumo:
The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.