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