Limpar
1.241 resultados

Acesso aberto

Tipo do recurso

Tipo de base de dados

Ano de criação

Produção nacional

Revisado por pares

Áreas

Idioma

Editores

Jornais Acesso aberto

Andrew Robson, Amanda Andrews, Phil Yates, John McNamara, Margot James, Robert Cole, A. B. Banerjee, Bel Mooney, Andrew Pierce, DJM, Greg Hurst Political Correspondent, Gary Duncan, Simon Barnes, Richard Hobson, Martin Richards, Cynthia Cooper, Ivo Tennant, Philip Howard, Christine Seib, David Chater, Suna Erdem, Joanna Bale, James Bone, James Ducker, Phil Baughen, Lorna Blackwood, Alexandra Frean Social Affairs Correspondent, Elizabeth Judge, Richard Irving, Patrick Kidd, Will Pavia, Amanda Andrews Media Business Correspondent, Sir Tim Rice, Geoffrey Howe, Sam Marlowe, Prof Richard Holmes, Kevin Eason, Priyanka Dayal, Geoff Brown, Sam Lister, Alexander McCALL Smith, Rajeev Syal and Andrew Pierce, Ben Webster Transport Correspondent, Pat Gibson, Jane MacArtney, Rob Crilly, Quinlan Terry, Daniel McGrory and Ali Hamdani, Will Roberts, Dominic Walsh, James Doran Wall Street Correspondent, John Goodbody and David Charter, Gary Jacob, Mike Pattenden, Dame Angela Rumbold Chairman, Jill Dupleix, Dan Sabbagh, Dalya Alberge Arts Correspondent, Lord Monson, Richard Ford Home Correspondent, Anne Ashworth Property Editor, Alan Hamilton, Peter Helps, Laurence Payne, Stephen Farrell, Anthony Browne Brussels Correspondent, Sir Rowland Whitehead, Jayne Dowle, Candida Lycett Green, Eric Mason, Richard Lloyd Parry, Charles Bremner, Jonathan Richards, Graham Keeley, Adam Sherwin Media Correspondent, Matt Dickinson Chief Football Correspondent, Stefanie Marsh, Liz Chong, Karen McVeigh, Hugo Rifkind, Jilly Cooper, Tom Baldwin and Anna Stroman, V. Burgess, John Price, Mary Gold, Oliver Kay, Gerard Baker, Catherine O'brien, John Westerby, Rick Broadbent, Tom Baldwin, Jill Sherman Whitehall Editor, Christopher Martin-Jenkins, Pete Paphides, Edmond Morris, Byrne Harris, Ann Treneman, Geoffrey Dean, Sir Ranulph Fiennes, Eric Ickinger, Howard Byrom, Marcus Binney, Raymond Keene, Vaughan Freeman, Sam Lyons, Matthew Pryor, Matt Dickinson, Matt Hughes, Andrew Roberts, Christine Buckley Industrial Editor, Tim Worstall, Jeremy Page, Chris Campling, June Field, Patrick Hosking, Christopher Martin-Jenkins Chief Cricket Correspondent, Mick Hume, William Poole, Peter Dixon, Gabriel Rozenberg Economics Reporter, David Hands Rugby Correspondent, Julian Muscat, Trevor Bailey, Antony Worrall Thompson, Dr James Le Fanu, Nell Harman Tennis Correspondent, Nicholas Heiney, James Doran, Jane Shilling, Christopher Booker, Roy Faiers, Ian Johns, Dominic Maxwell, Ashling O'connor, Graham Searjeant Financial Editor, George Caulkin, Russell Jenkins, Neil Fisher, Peter Riddell, Ben MacIntyre, Sarah Ebner, Tony Dawe, Lucia van der Post, Professor Richard MacRory, Graham Searjeant, David Sinclair, Jools Holland, Martin Waller, Carl Mortished International Business Editor, Nigel Hawkes Health Editor, Sarah Butler, Benedict Nightingale, Lydia Hislop, Angus Batey, Jonathan Russell, Sam Coates Political Correspondent, Stephen Dalton, Ben Hoyle, David Powell, Richard Morrison, Vice-Admiral Sir Louis Le Bailly, Alan Lee Racing Correspondent, Olav Bjortomt, Andrew Riley, Sir Patrick Moore, Jenny Davey, Mycal Miller, Sandy Gall, Joe Bolger, Lisa Verrico, Raekha Prasad, Susan Emmett,

... Foxx Unpredictable Sony BMG Albums Pop Wolfmother Wolfmother Modula/Island Folk John Renbourn Live in Italy Sanctuary ...

2006 - Gale Group | TDA

Artigo Revisado por pares

Martı́n Abadi,

Abstract Baby Modula-3 is a small, functional, object-oriented programming language. It is intended as a vehicle for explaining the core of Modula-3 from a biased perspective: Baby Modula-3 includes the main features of Modula-3 related to objects, but not much else. To the theoretician, Baby Modula-3 provides a tractable, concrete example of an ... to study the formal semantics of objects. Baby Modula-3 is defined with a structured operational semantics ...

Tópico(s): Semantic Web and Ontologies

1994 - Cambridge University Press | Journal of Functional Programming

Livro

Springer Link

Jornais Acesso aberto

Teresa Poole, Frances Gibb, Legal Affairs Correspondent, Lucy Hodges, Education Correspondent, Miles Kington, Peter Evans Home Affairs Correspondent, Christopher Warman, Property Correspondent, Neil Pritchard, Keith Dalton, Frank Johnson, Lucy Hodges Education Correspondent, Peter Marson, Gordon Allan, H. Lister Wilson, Ivo Tennant, Richard Long, Sally Brompton, Hilary Finch, Ian Murray, Michael Binyon, Malcolm Harper, Olli Kivinen, Richard Streeton, John Best, Mario Modiano, Michael McCarthy, Jim Railton, Rebecca Tyrrel, Stephen Taylor, Cliff Temple, Peter Davenport, Peter Ball, Rodney Cowton, Roger Warren, Raymond Keene Chess Correspondent, Nicholas Wood and John Winder, Matthew May, Robin Young, David Butler, David Smith Economics Correspondent, Jenny MacArthur, Michael Clark, Thomson Prentice, Science Correspondent, Michael Hamlyn, Andrew Wiseman, Christopher Longmore Chairman, Angella Johnson, Harry Debelius, David Miller, (Michael Phillips), Tony Samstag, John Higgins, Shirley Letwin, Christopher Goulding, Alison Eadie, Peter Davalle, John Russell Taylor, Kate Finch, Paul Griffiths, Charles Harrison, Alexandra Jackson, Stewart Tendler Crime Reporter, Jill Sherman, Craig Seton, Robert Conquest, Stewart Tendler, Crime Reporter, PHS, Digby Anderson, Barry Pickthall, Roger Boyes, Donald Read, Jillian Robertson, Kenneth Fleet, Geof Wheelwright, Andrew Rissik, Pat Butcher, Athletics Correspondent, Chris Naylor, Carol Ferguson, Edward Townsend, Industrial Correspondent, Peter Aykroyd, Cyril Davies, Paul Newman, Peter Davalle and Elizabeth Larrard, Michael Hornsby, Robert Grieves, E. N. Wardle, Sarah Hemming, Derek Wilson, Stephen Pettitt, Martin Banks, Alex Henney, R. L. Bell, Richard Lander, Nicholas Soames, Susan MacDonald, Germaine Greer, David Young Energy Correspondent, Richard Ford,

... Recruitment and Management Services PC Analyst/ Programmer Pascal (Modula-2) Programmer Surrey Magistrate's Courts Committee Computer… ...

1986 - Gale Group | TDA

Livro

Charles Lins,

... the first volume in a series entitled The Modula-2 Software Component Library. Charles Lins collection of ... the basis for every programmers software project in Modula-2. Components that are implementations of commonly used ... these components to the specific needs of any Modula-2 environment. For every Modula-2 programmer this series of books might prove ...

Tópico(s): Parallel Computing and Optimization Techniques

1989 - Springer Nature | Springer compass international

Artigo Acesso aberto

Mary Fernández,

Modula-3 supports development of modular programs by separating an object's interface from its implementation. This ... We describe opportunities for link-time optimization of Modula-3, present two link-time optimizations that reduce the runtime costs of Modula-3's opaque types and methods, and show ...

Tópico(s): Logic, programming, and type systems

1995 - Association for Computing Machinery | ACM SIGPLAN Notices

Artigo Revisado por pares

Joseph A. Holden, I. C. Wand,

... has recently published a new programming language called Modula which he suggests is suitable for the programming ... drivers. The authors have written a compiler for Modula running on a PDP‐11 and generating object ... language. The study shows the extent to which Modula meets the requirements for a general purpose real‐ ...

Tópico(s): Embedded Systems Design Techniques

1980 - Wiley | Software Practice and Experience

Livro

Springer Link

Artigo Revisado por pares

Gregory R. Andrews,

Modula is a new programming language for implementing dedicated, parallel systems. Following a systematic design technique, this paper illustrates the use of Modula for the design of a message switching communication ... can be preempted. The strengths and weaknesses of Modula with respect to these specific problems and its ...

Tópico(s): Distributed and Parallel Computing Systems

1979 - IEEE Computer Society | IEEE Transactions on Software Engineering

Livro

Springer Link

Artigo Revisado por pares

Manuel Reimer,

Abstract Modula/R is a database programming language that integrates the programming language Modula‐2 and the relational database model. This paper describes the language concepts of Modula/R and its implementation on the personal computer ... extension of the procedure concept is integrated into Modula/R to support its implementation in a multi‐ ...

Tópico(s): Service-Oriented Architecture and Web Services

1984 - Wiley | Software Practice and Experience

Artigo Acesso aberto

Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss,

... dynamic evaluations of type-based alias analyses for Modula-3, a statically-typed type-safe language. The ... alias analysis with respect to RLE on 8 Modula-3 programs. These results illustrate that to explore ... we show that for type-safe languages like Modula-3 and Java, a fast and simple alias ...

Tópico(s): Advanced Malware Detection Techniques

1998 - Association for Computing Machinery | ACM SIGPLAN Notices

Livro

Springer Link

Artigo Revisado por pares

Marcus E. Carr, Sheryl L. Zekert,

... gel turbidity. Platelet force development and clot elastic modula were measured in platelet-rich plasma gels. Fiber ... 13) Da/cm), indicating thinner fiber formation. Elastic modula of myeloma clots (51,013 +/- 14,660 dyn/cm2) were strikingly larger than modula for normal controls (23,355 +/- 1,887 dyn/ ...

Tópico(s): Heparin-Induced Thrombocytopenia and Thrombosis

1994 - American Physical Society | AJP Heart and Circulatory Physiology

Livro

Springer Link

Artigo

Greg Nelson,

This work on systems programming with Modula-3 includes the language definition of Modula-3, together with a collection of examples, ranging from a tutorial on an object-oriented ...

Tópico(s): Formal Methods in Verification

1992 - Association of College and Research Libraries | Choice Reviews Online

Livro

Springer Link

Capítulo de livro

Michæl Philippsen, Walter F. Tichy,

... programs. Our discussion is based on the language Modula-2*, an extension of Modula-2 for writing highly parallel programs in a ... independent, problem-oriented way. The novel attributes of Modula-2* are that programs are independent of the ...

Tópico(s): Algorithms and Data Compression

1992 - Springer Nature | Workshops in computing

Livro

Springer Link

Livro Acesso aberto

Niklaus Wirth,

... Niklaus Wirth, dem berühmten Entwickler von Pascal und Modula-2 geschriebene Buch, gibt eine Einführung in die universelle Programmiersprache Modula-2. Es vermittelt aber auch die Prinzipie

Tópico(s): Model-Driven Software Engineering Techniques

1991 - Springer Nature | Springer compass

Capítulo de livro Acesso aberto Revisado por pares

Josef Grosch,

... in one of the target languages C or Modula-2. As scanners sometimes have to consider the ... be generated in the target languages C and Modula-2. Ell is a LL(1) parser generator ... The possible target languages are again C and Modula-2 A comparison of the above tools with ...

Tópico(s): Parallel Computing and Optimization Techniques

1989 - Springer Science+Business Media | Lecture notes in computer science

Capítulo de livro Revisado por pares

Derek Andrews, Ayush Garg, Stella Lau, J. R. Pitchers,

... the syntax and semantics of the programming language Modula-2, written in VDM Meta IV, together with ... good quality document of the formal definition of Modula-2, two by-products will also be developed ...

Tópico(s): Distributed and Parallel Computing Systems

1988 - Springer Science+Business Media | Lecture notes in computer science

Artigo Revisado por pares

Barry Cornelius,

... first tasks of the working groups producing a Modula‐2 standard has been to identify problems with ... and opaque types. Some familiarity with the language Modula‐2 is assumed.

Tópico(s): Advanced Data Storage Technologies

1988 - Wiley | Software Practice and Experience

Artigo Revisado por pares

Ravi Sharma, Lawrence L. Rose,

... HPSIM, an organized collection of modules written in Modula‐2, was designed to facilitate both event‐oriented and process‐oriented discrete systems simulation, Modula‐2 was chosen for its data abstraction facilities, ... with the HPSIM modules. The IMPORT statement in Modula‐2 allows the modeller to access any of ...

Tópico(s): Service-Oriented Architecture and Web Services

1988 - Wiley | Software Practice and Experience

Artigo Acesso aberto

M. Collado, Rafael Morales, J.J. Moreno,

... Several concurrency mechanisms have already been implemented in Modula-2 (signals, COBEGIN..COEND structure, message exchanges, etc.) ... this paper a general implementation of CSP in Modula-2 is presented. Low level and modularity facilities ...

Tópico(s): Embedded Systems Design Techniques

1987 - Association for Computing Machinery | ACM SIGPLAN Notices

Artigo Revisado por pares

Paul Rovner,

... both system and application software for large systems, Modula-2+ supports exception handling, automatic storage management, and concurrency for multiprocessors without compromising the integrity of Modula-2.

Tópico(s): Advanced Data Storage Technologies

1986 - IEEE Computer Society | IEEE Software