Xilinx Inc. today introduced the architecture for a new Extensible Processing Platform they claim will deliver unrivaled levels of system performance, flexibility and integration to developers of a wide variety of embedded systems. The ARM Cortex-A9 MPCore processor-based platform enables system architects and embedded software developers to apply a combination of serial and parallel processing to address the challenges they face in designing today's embedded systems, which must meet ever-growing demands to perform highly complex functions. The Xilinx Extensible Processing Platform offers embedded systems designers a processor-centric design and development approach for achieving the compute and processing horsepower required to drive tasks involving high-speed access to real-time inputs, high-performance processing and complex digital signal processing - or any combination thereof - needed to meet their application-specific requirements, including lower cost and power.

The design of a generator system requires many hours of detailed planning with the goal of creating an extremely reliable backup power source. Properly installed, the system will deliver the intended level of reliability. However, if incorrectly wired, the system can become a problem for both the owner and the manufacturer. While the generator installation can be handled by a range of people, from a trained technician to the typical homeowner, wiring mistakes can occur. Installation includes working with 120 VAC split phase, 240 V line voltage, along with low-voltage signals below 50 V. A small and easily made mistake, such as miswiring high voltage to low voltage, will destroy sensitive electronics quickly and may render the equipment inoperable. Thus, a resettable overcurrent and overvoltage solution capable of handling line voltage, electrostatic discharge (ESD), electrical fast transients (EFT), and current surge is required to protect low voltage interface circuits against this problem.

Samplify Systems Inc. (Santa Clara, Calif.) has announced an autofocus beamforming technology for ultrasound imaging. The technology uses a 32-channel ultrasound analog front-end receiver module in an ultra-small small-outline dual-in-line configuration based on the SAM1600 family of compressing ADCs.

Model based Optical proximity correction is usually used to compensate for the pattern distortion during the microlithography process. Currently, almost all the lithography effects, such as the proximity effects from the limited NA, the 3D mask effects due to the shrinking critical dimension, the photo resist effects, and some other well known physical process, can all be well considered into modeling with the OPC algorithm. However, the micro-lithography is not the final step of the pattern transformation procedure from the mask to the wafer. The etch process is also a very important stage. It is well known that till now, the etch process still can't be well explained by physics theory. In this paper, we will demonstrate our study on the model based etch bias retarget for OPC.

Since I wrote a bittorrent client in both Erlang and Haskell, etorrent and combinatorrent respectively, I decided to put up some bait. This might erupt in a language war and “My language is better than yours”, but I feel I am obligated to write something subjective. Here is to woes of programming in Haskell and Erlang.Neither Haskell, nor Erlang was a first language for me. I have programmed serious programs in C, Standard ML, Ocaml, Python, Java and Perl; tasted the cake of Go, Javascript, Scheme and Ruby; and has written substantial stuff in Coq and Twelf. I love static type systems, a bias that will rear its ugly head and breathe fire.I have written Haskell code seriously since 2005 and Erlang code seriously since 2007. I have programmed functionally since 1997 or so. My toilet reading currently is “Categories for the working mathematician” by Mac Lane. Ten years ago it was “ML for the working programmer” by Paulson.Enough about me.

The vision of a smarter grid is of course a lovely thing to behold: an electric power system that’s much more interactive, interoperable, reliable, and robust—“self-healing,” even. That’s why so much excitement attended the news this time last year that the U.S. stimulus bill would contain billions of dollars in new funding to support smart grid construction, and the news six months later than the National Institute for Standards and Technology was issuing draft standards and a roadmap for completing standardization of the smart grid (the Framework and Roadmap for Smart Grid Interoperability Standards, issued in final form in January). And it's the reason too why such high expectations ride on the avalanche of smart meter installation projects launched in the last year.

The computer models used to determine whether it was safe for airlines to fly through the ash resulting from the eruption of the Eyjafjallajökull volcano in southern Iceland were flawed, European Union officials now admit, says a story in the Financial Times of London.

Bruno Oliveira and I are working on a functional pearl called The Monad Zipper (*). You know how dealing with monad transformers can be quite awkward -- especially when developing highly modular programs where every component comes with its own effects?Well, we bring relief in this situation by applying Huet's zipper to a type-level data structure: the monad stack.We're submitting to ICFP on April 2, and would greatly appreciate your feedback on the current draft. Please let us know what you think of the presented approach, the clarity and style of writing, examples of situations where you could have used the monad zipper, ...(*) not to be confused with the zipper monad

NAMO (Novel Articulated MObile platform)  is a humanoid robot built by The Institute of Field Robotics (FIBO) at King Mongkut’s University of Technology Thonburi in Thailand. FIBO is active in the RoboCup scene and have developed a wide range of robot types, including an experimental biped.  NAMO was unveiled on March 29th 2010, serving as FIBO’s mascot as part of the university’s 50 year anniversary celebrations.  NAMO will be used to welcome people to the university and may be deployed at museums.  Given its friendly appearance and functionality, it could be used to research human robot interaction and communication. NAMO is 130cm (4′3″) tall and has 16 degrees of freedom.  It moves on a stable three-wheeled omnidirectional base, and is equipped with a Blackfin camera for its vision system.  It is capable of simple gesture recognition, visually tracks humans or objects of interest automatically, and can speak a few phrases in a child-like voice (in Thai).

This white paper looks at a number of key techniques to optimize the systems engineering process and ensure project success. It examines the business benefits the techniques can provide and looks at IBM Rational solutions that are available to support the techniques.

GetRobo has pointed out a new website by Francisco Paz, which focuses on his experience building an open source personal robot called Qbo.  From the few images on the site Qbo looks remarkably well made and quite similar to NEC’s PaPeRo, meaning it might be used to experiment with image processing, speech recognition, speech synthesis, and (assuming it has wheels) obstacle detection and SLAM.  He also mentions in his blog some of the open source software that’s out in the wild such as OpenCV, Festival, and Sphinx, which would allow you to do some of that.

رمان‌هایمان را فرهاد جعفری می‌نویسد.رییس ِ فرهنگسرای هنر ِ ما علی معلم دامغانی است.خواننده ی ما بنیامین است.فیلم‌هایمان را مسعود ده‌نمکی می‌سازد.نقش‌های کمدی را با بازی بهنوش بختیاری می‌بینیم.یکی از فیلم های پر فروش ِ ما دو خواهر است.سریال ِ تلویزیونی ِ ما زن بابا نام دارد.فرهنگی ترین کانال ِ تلویزیونی کشور ِ ما اسمش شبکه چهار است.در کشور ما بخشهای خبری ِ هیجان انگیزی چون بیست و سی وجود دارد.محبوب ترین سریال در نزد ِ مردم ِ ما ویکتوریاست.ورزشکار ِ محبوب ِ ما نیکبخت واحدی است.تیم محبوب ِ پایتخت ِ ما طرفدارانی دارد که کله ی کفتر میکنند.سیاست های نیروی انتظامی ِ ما را رادان تعیین میکند.فرهنگ‌مان را غلامعلی هداد عادل طرح ریزی می‌کند.اخلاقیات را قرائتی به ما یاد میدهد.نماینده ی شورای شهر ما علی رضا دبیر است.شهرمان را محمد باقر غالیباف اداره می‌کند.نماینده ی ما در مجلس روح الله هسینیان است.نماینده ی ما در خبرگان مصباح یظدی است.مصلحت ِ کشور ما را حاشمی رفسصنجانی تعیین می‌کند.نگهبانی ِ شورا با جنطی است.بر جمهوری ِ ما اهمدی نژاد ریاست می‌کند.

Tiny semiconductor dots could lead to a new type of circuit based on magnetism rather than current flow. At least that’s the hope of researchers who’ve made the dots and are hoping to build them into a workable device. ”We want to make it into a so-called nonvolatile transistor,” says Kang Wang, head of the Device Research Laboratory at the University of California, Los Angeles. Such a ”spintronic” transistor would retain its logic state in the absence of current and require less power to switch a bit, reducing the electrical power required by a computer chip by as much as 99 percent. Wang’s research, supported in part by Intel, was published in March in the online version of Nature Materials. Where electronic transistors rely on the presence or absence of current to register the ones and zeros of digital logic, spintronic transistors depend on ”spin,” a quantum characteristic of the electron. Picture the electron as a rotating globe. When the north pole is pointing upward, that’s spin up; when pointing the other way, it’s spin down. When the spins of most electrons are aligned, the material is magnetic. When their spins are random, the material isn’t. An applied current can align or randomize the spins, allowing for spin-based switches.

The moving parts of micromechanical machines tend to seize up under the forces of sticking and friction that engineers call stiction. The problem yields to solid lubricants, notably graphite (sheets of carbon atoms called graphene stacked in layers), although for a long time no one understood exactly why this happens. Now nanotechnology researchers, led by Professor Robert Carpick at the University of Pennsylvania and Professor James Hone at Columbia University, in New York City, have shown that how effective the lubrication is depends on the number of layers of graphene in the graphite. In particular, more layers means better lubrication. Because the same relationship between layers and lubrication occurs in thin sheets of molybdenum disulfide, niobium diselenide, and boron nitride—materials of widely differing properties—the workers conclude that this behavior is a fundamental aspect of friction. They expect that the discovery will lead to better lubrication of tiny moving parts. The researchers published details of their experiments in a recent issue of Science.

The VMKit project is an implementation of a JVM and CLI virtual machine (.Net is an implementation of the CLI). It translates Java bytecode and MSIL in the LLVM IR and uses the LLVM framework for optimizations and compilation. For garbage collection, it uses MMTk. You can get and build the source today.

Today sees the launch of Visual Studio 2010, at five launch events around the world, as announced by Bob Muglia, Jason Zander and S. Somasegar, and presented live today in Las Vegas.   Visual Studio 2010 includes the official version 2.0 of the F# language. As is our custom on the F# team, we also release a matching MSI and ZIP of F# 2.0 (for use with Visual Studio 2008 and as a standalone compiler on a range of platforms)   Today represents the culmination of 7 years of work on the language at Microsoft Research, and, more recently, the Microsoft Developer Division. I am immensely proud of what we’ve achieved. F# brings a productive functional and object-oriented programming language to .NET, extending the platform to new audiences in technical, algorithmic, data-rich, parallel and explorative domains, and its inclusion in Visual Studio 2010 represents a huge milestone for the language.   To help understand what we’re doing with F#, I’ve listed some of the common questions people have about the language below.  We thank everyone who has been involved in the production of F#, especially the many users who have given us feedback on the language!

In this talk Microsoft Technical Fellow and C# Chief Architect Anders Hejlsberg gives an overview of the new features in C# 4.0, including dynamic typing, co- and contra-variance, named and optional parameters, and improved COM interoperability. Anders will also discuss some of the ideas that are envisioned for future versions of C#. This session is presented by Anders Hejlsberg during Microsoft DevDays 2010 in The Hague in The Netherlands.

Margus Veanes, a Researcher from the RiSE group at Microsoft Research, gives an overview of Rex, a tool that generates matching string from .NET regular expressions. Rex turns regular expressions into symbolic automatons, then gives them to a constraint solver to find matching strings.

As I noted last week, US Federal Bureau of Investigation (FBI) Director Robert Mueller told the US House Appropriations Committee’s Subcommittee on Commerce, Justice, Science, and Related Agencies that the follow-on to the notoriously failed $170 million Virtual Case File program called Sentinel would once again slip its schedule and cost targets. The latest cost estimate is in excess of $481 million with a total program slip now of some two years and counting.    Director Mueller told the House Committee that the FBI decided to suspend work on Sentinel in early March to correct some "minor" technical issues and make some design changes. These issues included, according to the New York Times, "slow response times, awkward display pages and screen print that was too small."