yr 〜
yr

Search results 12

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever / Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.). (Lecture notes in computer science ; 5930 ; Festschrift)

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever / Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.). (Lecture notes in computer science ; 5930 ; Festschrift)
Paper図書
Springerc2010.<M154-B107>
National Diet Library
  • Subject HeadingParallel programming (Computer science) Computer programs -- Correctness. Computer science.

Artificial unintelligence : how computers misunderstand the world : pbk

Artificial unintelligence : how computers misunderstand the world : pbk
Paper図書
Meredith BroussardThe MIT Press2019
Other Libraries in Japan
  • Subject HeadingElectronic data processing -- Social aspects Computer programs -- Correctness Errors
  • Subject Heading (ID)Electronic data processing -- Social aspects Computer programs -- Correctness Errors

Artificial unintelligence : how computers misunderstand the world : hbk

Artificial unintelligence : how computers misunderstand the world : hbk
Paper図書
Meredith BroussardThe MIT Pressc2018
Other Libraries in Japan
  • Subject HeadingElectronic data processing -- Social aspects Computer programs -- Correctness Errors
  • Subject Heading (ID)Electronic data processing -- Social aspects Computer programs -- Correctness Errors

22nd annual IEEE symposium on logic in computer science : proceedings : Wroclaw, Poland : 10-14 July 2007. : LICS 2007 conference : Jul 2007, Wroclaw, Poland.

22nd annual IEEE symposium on logic in computer science : proceedings : Wroclaw, Poland : 10-14 July 2007. : LICS 2007 conference : Jul 2007, Wroclaw, Poland.
Paper図書
IEEE Computer Societyc2007.<M17-08-1709>
National Diet Library
  • Subject Heading...-- Congresses. Computer programs -- Correctness -- Congresses. Logic, Symboli...

Automated defect prevention : best practices in software management : cloth

Automated defect prevention : best practices in software management : cloth
Paper図書
Dorota Huizinga, Adam KolawaWiley-Intersciencec2007
Other Libraries in Japan
  • Subject Heading...ata processing Computer programs -- Correctness
  • Subject Heading (ID)...ata processing Computer programs -- Correctness

Accuracy and reliability in scientific computing pbk.

Accuracy and reliability in scientific computing pbk.
Paper図書
edited by Bo EinarssonSociety for Industrial and Applied Mathematicsc2005
Other Libraries in Japan
  • Subject Heading...-- Mathematics Computer programs -- Correctness -- Scientific applications So...
  • Subject Heading (ID)...-- Mathematics Computer programs -- Correctness -- Scientific applications So...

The Correctness problem in computer science

The Correctness problem in computer science
Paper図書
edited by R.S. Boyer and J. Strother MooreAcademic Press1981
Other Libraries in Japan
  • Subject HeadingComputer programs -- Correctness
  • Subject Heading (ID)Computer programs -- Correctness

On reductions and livelocks in asynchronous parallel computation

On reductions and livelocks in asynchronous parallel computation
Paper図書
by Yat-Sang KwongUMI Research Pressc1982
Other Libraries in Japan
  • Subject HeadingParallel processing (Electronic computers) Computer programs -- Correctness
  • Subject Heading (ID)Parallel processing (Electronic computers) Computer programs -- Correctness

Information systems, correctness and reusability : selected papers from the IS-CORE Workshop, Amsterdam, 26-30 September 1994

Information systems, correctness and reusability : selected papers from the IS-CORE Workshop, Amsterdam, 26-30 September 1994
Paper図書
editors, R.J. Wieringa & R.B. FeenstraWorld Scientificc1995
Other Libraries in Japan
  • Subject Heading... -- Congresses Computer programs -- Correctness -- Congresses Object-oriented...
  • Subject Heading (ID)... -- Congresses Computer programs -- Correctness -- Congresses Object-oriented...

Mathematical theory of program correctness

Mathematical theory of program correctness
Paper図書
Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery ZuckerPrentice-Hall Internationalc1980
Other Libraries in Japan
  • Subject HeadingComputer programs -- Correctness Logic, Symbolic and mathemati...
  • Subject Heading (ID)Computer programs -- Correctness Logic, Symbolic and mathemati...

A parallel software infrastructure for dynamic block-irregular scientific calculations

A parallel software infrastructure for dynamic block-irregular scientific calculations
Paper図書
by Scott R. KohnUMIc1995
Other Libraries in Japan
  • Subject Heading...ata processing Computer programs -- Correctness -- Scientific applications So...
  • Subject Heading (ID)...ata processing Computer programs -- Correctness -- Scientific applications So...

On reductions and livelocks in asynchronous parallel computation

On reductions and livelocks in asynchronous parallel computation
Paper図書
by Yat-Sang KwongUniversity Microfilms International1978
Other Libraries in Japan
  • Subject HeadingParallel processing (Electronic computers) Computer programs -- Correctness
  • Subject Heading (ID)Parallel processing (Electronic computers) Computer programs -- Correctness

Reached to the end of result.