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. wander-lustadventures reblogged this from laboratoryequipment
    3. falconelaris reblogged this from laboratoryequipment
    4. picaq reblogged this from laboratoryequipment
    5. hereigo54321 reblogged this from laboratoryequipment
    6. kitayama-shizuku reblogged this from laboratoryequipment
    7. xxhonestmexx reblogged this from laboratoryequipment
    8. dontyoucrytonightt reblogged this from laboratoryequipment
    9. thesweetcherrys reblogged this from laboratoryequipment
    10. marthapaesz reblogged this from laboratoryequipment
    11. sweatreasuure reblogged this from laboratoryequipment and added:
      Le pendule… Tic Tac, Tic Tac .
    12. myinfinitecuriosity reblogged this from cab1729
    13. cab1729 reblogged this from laboratoryequipment
    14. shake-n-bake-rickie-bobby reblogged this from laboratoryequipment
    15. wildhorses121 reblogged this from laboratoryequipment
    16. negativefantasy reblogged this from laboratoryequipment and added:
      Time flies
    17. bpurplle reblogged this from laboratoryequipment
    18. dalaiyama reblogged this from laboratoryequipment
    19. ssslumville reblogged this from laboratoryequipment
    20. moorphineinfused reblogged this from laboratoryequipment
    21. learningtobegin reblogged this from laboratoryequipment
    22. hypernova815 reblogged this from laboratoryequipment
    23. katiemariex reblogged this from laboratoryequipment
    24. the-reoccurringkind reblogged this from laboratoryequipment
    25. virginiacrain reblogged this from laboratoryequipment
    26. maredovas reblogged this from laboratoryequipment
    27. captionstuff reblogged this from laboratoryequipment
    28. ashbby91 reblogged this from laboratoryequipment