Laboratory Equipment

RSS | Random | Archive

About Me

An excellent international resource for the laboratory equipment industry.

Blogs I follow:

Theme by: Miguel
  1. Control Theory can Improve Software“Formal verification” is a set of methods for mathematically proving that a computer program does what it’s supposed to do. It’s universal in hardware design and in the development of critical control software that can’t tolerate bugs; it’s common in academic research; and it’s beginning to make inroads in commercial software.In the latest issue of the journal IEEE Transactions on Automatic Control, researchers from MIT’s Laboratory for Information and Decision Systems (LIDS) and a colleague at Georgia Tech show how to apply principles from control theory — which analyzes dynamical systems ranging from robots to power grids — to formal verification. The result could help computer scientists expand their repertoire of formal-verification techniques, and it could be particularly useful in the area of approximate computation, in which designers of computer systems trade a little bit of computational accuracy for large gains in speed or power efficiency.Read more: http://www.laboratoryequipment.com/news/2013/03/control-theory-can-improve-software

    Control Theory can Improve Software

    “Formal verification” is a set of methods for mathematically proving that a computer program does what it’s supposed to do. It’s universal in hardware design and in the development of critical control software that can’t tolerate bugs; it’s common in academic research; and it’s beginning to make inroads in commercial software.

    In the latest issue of the journal IEEE Transactions on Automatic Control, researchers from MIT’s Laboratory for Information and Decision Systems (LIDS) and a colleague at Georgia Tech show how to apply principles from control theory — which analyzes dynamical systems ranging from robots to power grids — to formal verification. The result could help computer scientists expand their repertoire of formal-verification techniques, and it could be particularly useful in the area of approximate computation, in which designers of computer systems trade a little bit of computational accuracy for large gains in speed or power efficiency.

    Read more: http://www.laboratoryequipment.com/news/2013/03/control-theory-can-improve-software

  2. 64 Notes
    1. chuy1904 reblogged this from laboratoryequipment
    2. lights-will-guide-u-home reblogged this from laboratoryequipment
    3. falconelaris reblogged this from laboratoryequipment
    4. picaq reblogged this from laboratoryequipment
    5. hereigo54321 reblogged this from laboratoryequipment
    6. lordofthedoors reblogged this from laboratoryequipment
    7. cherriies-cake reblogged this from laboratoryequipment
    8. xxhonestmexx reblogged this from laboratoryequipment
    9. dontyoucrytonightt reblogged this from laboratoryequipment
    10. thesweetcherrys reblogged this from laboratoryequipment
    11. marthapaesz reblogged this from laboratoryequipment
    12. sweatreasuure reblogged this from laboratoryequipment and added:
      Le pendule… Tic Tac, Tic Tac .
    13. myinfinitecuriosity reblogged this from cab1729
    14. cab1729 reblogged this from laboratoryequipment
    15. shake-n-bake-rickie-bobby reblogged this from laboratoryequipment
    16. wildhorses121 reblogged this from laboratoryequipment
    17. negativefantasy reblogged this from laboratoryequipment and added:
      Time flies
    18. bpurplle reblogged this from laboratoryequipment
    19. dalaiyama reblogged this from laboratoryequipment
    20. ssslumville reblogged this from laboratoryequipment
    21. moorphineinfused reblogged this from laboratoryequipment
    22. learningtobegin reblogged this from laboratoryequipment
    23. hypernova815 reblogged this from laboratoryequipment
    24. katiemariex reblogged this from laboratoryequipment
    25. the-reoccurringkind reblogged this from laboratoryequipment
    26. virginiacrain reblogged this from laboratoryequipment
    27. maredovas reblogged this from laboratoryequipment