News tagged with control software

Google's SPDY will speed up downloads

(PhysOrg.com) -- As part of its effort to speed up the Web, Google is experimenting with SPDY, a new application layer protocol, that it hopes will speed up the conversation between browsers and Web servers and enable Web ...

dateNov 16, 2009 in Internet weblog
shares0 comments 7

Open-source microprocessor

In future, it will be easier and cheaper for developers at universities and SMEs to build wearable microelectronic devices and chips for the internet of things, thanks to the PULPino open-source processor, which has been ...

dateMar 30, 2016 in Engineering
shares135 comments 0

Can control theory make software better?

"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 ...

dateMar 19, 2013 in Computer Sciences
shares0 comments 8