Slashdot is powered by your submissions, so send in your scoop

 



Forgot your password?
typodupeerror

Submission + - World's fastest switch isn't really a switch (zeptonics.com)

snowdon writes: The race for low-latency in finance and HPC has taken a major turn. A bunch of engineers from Australia have "thrown away the air conditioning" in a traditional switch, to get a 10G fibre-to-fibre latency of less than 130ns! Way faster than more traditional offerings. This lady would tell you that it's equivalent to just 26m of optic fibre. Does that mean we just lose money faster?

Comment Re:So why the airfoil shape? (Score 4, Informative) 82

It would be awesome if we could have made it thinner -- the wing is there as the lowest-drag shape that we can put around the other components in the car -- suspension, steering, driver, etc. Its designed to be a lifting body because of the ground effect which would otherwise result in a negative lift. The cambered wing counters the negative lift generated by the ground effect.

Submission + - Aussie solar car smashes land speed record

snowdon writes: A record which has stood for 22 years, set by General Motors, has been broken by a university team. The land speed record for a solar powered car was 78km/h and now stands at 88km/h despite the cloudy conditions... If only Doc Brown had used the metric system!
Security

Submission + - World's first fully formally proven OS (theengineer.co.uk) 2

An anonymous reader writes: Operating systems usually have bugs — the `blue screen of death', the amiga Hand, etc., are known by almost everyone. NICTA's team of researchers has managed to produce an OS kernel that can NEVER crash, and is guaranteed to meet its specification. It is fully formally verified — as such it exceeds the Common Criteria's highest level of assurance.

The researchers used an executable specification written in Haskell, C code that mapped to the Haskell, and the Isabelle theorem prover to generate a machine-checked proof that the C code in the kernel matches the executable and the formal specification of the system.

Comment But less power means more energy! (Score 1) 190

We did some work recently where we showed that in a lot of cases, running the CPU at a lower performance point actually resulted in more energy usage -- scaling down the CPU frequency means everything takes longer to run, which means that you get less time to spend in low-power idle modes. There are also a lot of other complexities with frequency scaling... Particularly on a platform like the Android where there would be multiple scalable frequencies, etc.

There's a whole lot of other problems with the slower-is-better approach... But check out the paper we've just published.

As a measure of QoS, I think this is quite cool work, but the way they translate this into frequency scaling seems broken.

Koala: A Platform for OS-Level Power Management

Comment Re:What about the solar cells? (Score 4, Informative) 126

There are 1034 cut down Sunpower A300 cells in the array. (They're cut to take off the corners and allow us to get 5% more active area into our 12m^2 - we ended up with 11.5m^2 active area). They're encapsulated by Gochermann Solar Techonology in Germany (for reference: I can't speak highly enough of these things. Having built several of our arrays, including the vacuum-formed curved panels for Sunswift 2, I can assure everyone that this is easily the best experience I've ever had with solar cells. Everything just works the way its supposed to).

Slashdot Top Deals

Even bytes get lonely for a little bit.

Working...