Wellcome Library, London. Series: Archives & Manuscripts. Photographer: Lillias Anna Hamilton.
0000 - Gale Group | NCCO Photography
Katsushi Ikeuchi, Ki Sang Hong,
... LSCD)). We have been working on designing a compiler which automatically generates an object localization program from a given object and sensor model; the compiler adheres to the above two-step strategy of ... linear change determination. For the first step, the compiler generates a decision tree structure program. Each branch ... This paper will investigate the design of the compiler component to generate the second step. The compiler extends each leaf node of the tree and ... nodes so that it performs the LSCD. The compiler chooses the largest 3D face as the primal ...
Tópico(s): Medical Image Segmentation Techniques
1991 - Elsevier BV | CVGIP Image Understanding
Wellcome Library, London. Series: Archives & Manuscripts. Photographer: Lillias Anna Hamilton.
0000 - Gale Group | NCCO Photography
... evaluation can be used for automatic generation of compilers and was first implemented by Jones et. al. [ ... paper we use this technique to generate a compiler for a small strict combinator language with pattern ... specification for the language is written and a compiler is generated. This first compiler turns out not to generate too efficient code. By changing the denotational specification, new compilers that generate more efficient code are obtained. This process can be described as generating optimizing compilers by changing specifications. The optimization concerns generation of ...
Tópico(s): semigroups and automata theory
1991 - Springer Nature | Workshops in computing
Wellcome Library, London. Series: Archives & Manuscripts. Photographer: Lillias Anna Hamilton.
0000 - Gale Group | NCCO Photography
David S. Blickstein, Peter Craig, Caroline S. Davidson, R.N. Faiman, Kent D. Glossop, Richard B. Grove, Steven O. Hobbs, William B. Noyce,
The GEM compiler system is the technology Digital is using to build state-of-the-art compiler products for a variety of languages and hardware/ ... carefully specified interfaces simplify the engineering of diverse compilers. A single optimizer, independent of the language and ... past, Digital has made major investments in optimizing compilers that were specifically directed at one hardware platform, ... as a new strategy for leveraging investments in compiler technology across an increasing number of hardware platforms. ...
Tópico(s): Embedded Systems Design Techniques
1992 - | Digital technical journal
Preface signed: E.B. Book.
0000 - Gale Group | The Making of Modern World
... application of program checking with certificates to optimizing compiler backends, in particular code generators, thus answering the ... question of how program check- ing for such compiler backends can be achieved. In particular, we state ... this paper is an integrated view on all compiler passes, in particular a comparison between frontend and ... respect to the applicable methods of program checking. Compiler correctness is a necessary prerequisite to ensure software ... paper, we ad- dress the problem of implementing compilers correctly. Recently, program check- ing has been proposed ...
Tópico(s): Software Testing and Debugging Techniques
2003 - Verlag der Technischen Universität Graz | JUCS - Journal of Universal Computer Science
Citizen of Pittsburgh., Evans, B. R.,
Editorship attributed to B.R. Evans by Sabin. Book.
0000 - Gale Group | Sabin
Martin Alt, Uwe Aßmann, Hans van Someren,
... we introduce a novel model for compilation and compiler construction, the CoSY(COmpiler SYstem) model. CoSy provides a framework for flexible combination and embedding of compiler phases — called engines in the sequel — such that the construction of parallel and (inter-procedural) optimizing compilers is facilitated. In CoSy a compiler writer may program some phase in a target ... it transparently — without source code changes — into different compiler contexts, such as with alternative phase order, speculative ...
Tópico(s): Software Testing and Debugging Techniques
1994 - Springer Science+Business Media | Lecture notes in computer science
Springer Link
Charlevoix, Pierre-François-Xavier de, Savary des Brûlons, Jacques,
Book.
0000 - Gale Group | The Making of Modern World
Keiji Kimura, Masayoshi Mase, Hiroki Mikami, Takamichi Miyamoto, Jun Shirako, Hironori Kasahara,
... from different vendors by using the OSCAR parallelizing compiler. The OSCAR API has been developed by Waseda ... OSCAR API as an interface between the OSCAR compiler and backend compilers, the OSCAR compiler enables hierarchical multigrain parallel processing with memory optimization ... a parallelized program automatically generated by the OSCAR compiler with OSCAR API can be compiled by the ordinary OpenMP compilers since the OSCAR API is designed on a ... OSCAR API and its compatibility with the OSCAR compiler by showing code examples. Performance evaluations of the ...
Tópico(s): Real-Time Systems Scheduling
2010 - Springer Science+Business Media | Lecture notes in computer science
Giles Smith, Andrew Robson, Andrew Billen, David Mills, David Brown, Tim Albone, Tom Dyckhoff, David Aaronovitch, Simon Barnes, The Rev David A. Robertson, Linda Tsang, Ade Robinson, Tony Roe Partner and head of family law, David Rose, Ivo Tennant, Michael Evans Defence Editor, Simon Cambers, Philip Howard, Hilary Finch, David Lister Scotland Correspondent, Christine Seib, Ken Hom, David Chater, James Ducker, Rachel Campbell-Johnston, Penny Wark, Richard Hobson One-Day Cricket Correspondent, Elizabeth Judge, Gabrielle Starkey, Carl Mortished, Patrick Kidd, Sam Marlowe, Kevin Eason, Joe Joseph, Andrew Norfolk, Valerie Elliott Countryside Editor, Jane MacArtney, Donald Hutera, Dominic Walsh, Steve Bird, Tom Bawden, Angus Palmer, Gary Jacob, Ross Minett Director, Jennifer Taylor, Dan Sabbagh, Libby Purves, Alan Hamilton, Stephen Farrell, Paul Duddridge, Dr. Richard Turner, Oliver Bone, Richard Lloyd Parry, David Sheppard, David Hands, Charles Bremner, Michael Glover, Mark Tucker, Adam Sherwin Media Correspondent, David Pannick, QC, David Stevenson, Tim Teeman, Richard Susskind, Hugo Rifkind, Derwent May, Tania Mason, Russell Kempson, Edward Fennell, Gerard Baker, David Lister, Lisa Armstrong, Mark Henderson Science Editor, Tom Baldwin, David Robertson Business Correspondent, Rob Wright, Gabriel Rozenberg, David chater, Raymond Keene, Matt Dickinson, Rebecca O'Connor, Lord Boston, Sean O'Neill, Nigel Hawkes, Councillor John Cox, Jeremy Page, Burhan Wazir, Chris Campling, Bronwen Maddox, Cathy Harris, Richard Owen, Shane Warne, Mick Hume, Roger Boyes, Francesca Steele, Gabriel Rozenberg Economics Reporter, Nick Hasell, Hilary Thomas, David Hands Rugby Correspondent, Tom Dart, William Bradley, Owen Slot Chief Sports Reporter, Paul Simons, Ben Wells, Dearbáil Jordan, Mary Ann Sieghart, James Doran, Philip Webster Political Editor, Steve Hawkes, Thomas Catan, Alan Lee, Peter Riddell, Ben MacIntyre, Robin Pagnamenta Healthcare Industries Correspondent, Dr R. K. Dart, Ben Webster, Philip Webster, Graham Searjeant, Bojan Pancevski, Martin Waller, Mark Henderson, Chris Ayres, Carl Mortished International Business Editor, Patrick Foster, Nigel Hawkes Health Editor, Benedict Nightingale, David Boswell, Stephen Cragg, Dr Thomas Stuttaford, Stephen Dalton, Richard Morrison, Frances Gibb, Tony Halpin, Michael Evans, Daniel Simpson, Alan Lee Racing Correspondent, Fiona Hamilton, Nicola Copping, Carolyn Asome Deputy Fashion Editor, Bryce Elder, Joe Bolger, Lisa Verrico, Stephen Pollard,
... aged 54 Ruth Crisp Stylish and concise crossword compiler Ruth Crisp (Margery Ruth Edwards), crossword compiler, was born on January 1,1918. She died ...
2007 - Gale Group | TDA
The JastAdd Extensible Java Compiler is a high quality Java compiler that is easy to extend in order to build static analysis tools for Java, ... is built modularly, with a Java 1.4 compiler that is extended to a Java 5 compiler. Example applications that are built as extensions include ... a declarative Java-like language. We describe the compiler architecture, the major design ideas for building and extending the compiler, in particular, for dealing with complex extensions that affect name and type analysis. Our extensible compiler compares very favorably concerning quality, speed and size ...
Tópico(s): Software Engineering Research
2007 - Association for Computing Machinery | ACM SIGPLAN Notices
Holley, O. L. (Orville Luther), Disturnell, John,
... by Sabin and Cushing. Second ed., 1843, has compiler's name on title-page; attributed to John ... by Sabin and Cushing. Second edition, 1843, has compiler's name on title-page. Widener Memorial Library' ...
0000 - Gale Group | The Making of Modern World
Kelly R. Thorp, Jeffrey W. White, Cheryl Porter, Gerrit Hoogenboom, Grey Nearing, Andrew N. French,
... systems, to ensure numerically accurate simulations for alternative compiler selections, and to understand how these choices affect ... approach to evaluate model performance using diverse Fortran compilers on multiple computer operating systems. A single desktop ... while minimizing differences in hardware configuration. Three Fortran compilers and relevant software development tools were installed on ... system. Both proprietary and open-source versions of compilers and operating systems were used. Compatibility and performance ...
Tópico(s): Crop Yield and Soil Fertility
2011 - Elsevier BV | Computers and Electronics in Agriculture
Wm. Bright, George Graham Brown, James Scott, Rev. Geo. W. Clarke,
... and Addenda [The Transcription as Adopted by the Compiler Had Also for Uniformity's Sake Unavoidably to ... Wide a View of the Question That the Compiler Hesitated Placing Them under Any Special District, H & ...
1893 - Gale Group | NCCO AsiaWest
Xuejun Yang, Yang Chen, Eric Eide, John Regehr,
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation ... and spent three years using it to find compiler bugs. During this period we reported more than 325 previously unknown bugs to compiler developers. Every compiler we tested was found to crash and also ... valid input. In this paper we present our compiler-testing tool and the results of our bug- ... to advance the state of the art in compiler testing. Unlike previous tools, Csmith generates programs that ...
Tópico(s): Software Reliability and Analysis Research
2011 - Association for Computing Machinery | ACM SIGPLAN Notices
Springer Link
Stockqeler, Joachim Hayward, Unspecified, Compiler,
... Characters, French Imperialism. ff. 32. Joachim Hayward Stockqeler, Compiler: Plays by, Submitted: 1854-1858.
0000 - Gale Group | NCCO British Theatre
Xuejun Yang, Yang Chen, Eric Eide, John Regehr,
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation ... and spent three years using it to find compiler bugs. During this period we reported more than 325 previously unknown bugs to compiler developers. Every compiler we tested was found to crash and also ... valid input. In this paper we present our compiler-testing tool and the results of our bug- ... to advance the state of the art in compiler testing. Unlike previous tools, Csmith generates programs that ...
Tópico(s): Software Reliability and Analysis Research
2012 - Association for Computing Machinery | ACM SIGPLAN Notices