I never get tired of seeing customer-driven innovation in action! When AWS customers told us that they needed an easy way to move petabytes of data in and out of AWS, we responded with the AWS Snowball. Later, when they told us that they wanted to do some local data processing and filtering (often at disconnected sites) before sending the devices and the data back to AWS, we launched the AWS Snowball Edge, which allowed them to use AWS Lambda functions for local processing. Earlier this year we added support for EC2 Compute Instances, with six instances sizes and the ability to preload up to 10 AMIs onto each device. Great progress, but we are not done yet!
There's a powerful new toy for DIY-ers who love to customize their gadgets--and it'll only set you back $30. The Raspberry Pi Foundation announced the Compute Module 3 (CM3) on Monday, a new board that will help manufacturers produce cost effective, high quality hardware. While the Pi products are directed at casual hobbyists and educators, the Compute Module series offer a more flexible form factor for industrial applications. The original Compute Module has been used in products such as NEC display screens, the Slice media player and Otto, a GIF camera. The Foundation's flagship product, the Raspberry Pi, is the size of a credit card.
If you've been waiting patiently for Intel's new Compute Sticks with Skylake chips, there's good news: Those thumb-sized PCs will start shipping on April 29. The three Compute Sticks, which have Intel's Core M3 and M5 chips, can turn a TV or display with an HDMI port into a PC. All you need to do is plug the Compute Stick into the HDMI port. These new Compute sticks were announced in January at CES. Starting at US 299, the Skylake-based Compute Sticks aren't priced as low as older models but pack the processing power of lightweight laptops. The benefits of Compute Sticks are still debated.
If you really think about it, "smart" devices today can also count as computers. They have processors, memory and other hardware similar to what you'd find in a PC. But the problem with embedding computing hardware in devices like TVs and refrigerators is that they'll quickly grow obsolete. Simply put: to get a faster TV, you have to buy a whole new TV. Intel is hoping to change that with Compute Card, a new platform for credit card-sized modular computers that can easily be swapped in and out of smart devices.
Reachability games are a useful formalism for the synthesis of reactive systems. Solving a reachability game involves (1) determining the winning player and (2) computing a winning strategy that determines the winning player's action in each state of the game. Recently, a new family of game solvers has been proposed, which rely on counterexample-guided search to compute winning sequences of actions represented as an abstract game tree. While these solvers have demonstrated promising performance in solving the winning determination problem, they currently do not support strategy extraction. We present the first strategy extraction algorithm for abstract game tree-based game solvers. Our algorithm performs SAT encoding of the game abstraction produced by the winner determination algorithm and uses interpolation to compute the strategy. Our experimental results show that our approach performs well on a number of software synthesis benchmarks.