Two Computing Quotes

"The idea that you can know everything in the design stage is a fallacy that I think started with the mathematicians, who were the world's first programmers."
George V. Neville-Neil, Kode Vicious, ACM Communications, 51(7), July 2007, p.25

"If you have programs that interact with the physical environment, time becomes very important. For these systems, verification is more complicated."
Joseph Sifakis, Talking Model-Checking Technology, ACM Communications, 51(7), July 2007, p.111


Popular posts from this blog

An Ant's Life at SIGGRAPH 2009!

Time in Computers and Neural Networks