Okay, so you actually want to know how we do virtualization in the real world. This talk will explore some common pieces of software for virtualizing physical machines, and explain some of the benefits and drawbacks of the different options available.

For More Information, Contact:

With cryptocurrencies making mainstream news, you might be wondering how it all works. We'll be covering what cryptocurrencies are, how they work, and what has been keeping them in the headlines for the last few m

DEVOPS! Hippest of buzzwords, earner of thousands! Learn to harness the immense power of devops for yourself, by coming to the Spring 2018 Computer Club Workshop/Talk Series. We will tell you the tricks that will allow you to transcend the annoyances of administration and offenses of operations, and return to the elegant, pure simplicity of raw code!

For More Information, Contact:

FPGAs are revolutionizing the computing industry by allowing logic designers to reconfigure circuitry on the fly, allowing for rapid development of new hardware where an ASIC would be prohibitively costly or impractical. But how does it all work? Can software-like code be used to design hardware?

For More Information, Contact:

Safety-critical cyber-physical systems (CPSs), such as automotive, rail, and aviation systems, combine discrete cyber control with continuous physical dynamics.  Formal methods such as deductive proof in differential dynamic logic (dL) provide strong safety guarantees for CPSs.  Verification in dL has achieved safety results in automotive, rail, and aviation domains, however (a) as with other CPS verification techniques, scaling dL proofs beyond a few dozen variables has proven difficult, and (b) modeling and verification in dL have a steep learning curve for non-experts.

For More Information, Contact:

Friday, February 9, 2018 - by

Carnegie Mellon University alumnus and trustee Edward Frank, who led the development of four generations of Macintosh computers, has been elected to the National Academy of Engineering — one of the highest professional distinctions an engineer can receive.

For More Information, Contact:

The Undergraduate Research Symposium, or the Meeting of the Minds, is a university-wide celebration of undergraduate research. All Carnegie Mellon undergrads engaged in research and creative projects are welcomed.

Students Register here

For More Information, Contact:

Over the past three decades, sophisticated mathematical tools were instrumental in many advances in algorithms. From an algorithmic perspective, these new tools are often used in ways akin to combinatorial data structures: with clear boundaries between their internal workings and the outer loops of the overall algorithm.

For More Information, Contact:

For More Information, Contact:

Raw bit errors are common in NAND flash memory and will increase in the future. These errors reduce flash reliability and limit the lifetime of a flash memory device. This dissertation improves flash reliability with a multitude of low-cost architectural techniques. We show that NAND flash memory reliability can be improved at low cost and with low performance overhead by deploying various architectural techniques that are aware of higher-level application behavior and underlying flash device characteristics.

For More Information, Contact:

DNA read mapping is an important problem in Bioinformatics. With the introduction of next-generation sequencing (NGS) technologies, we are facing an exponential increase in the amount of genomic sequence data. The success of many medical and genetic applications critically depends on computational methods to process the enormous amount of sequence data quickly and accurately. However, due to the repetitive nature of human genome and limitations of the sequencing technology, current read mapping methods still fall short from achieving both high performance and high sensitivity.

For More Information, Contact:

Pages

Subscribe to Carnegie Mellon University - Computer Science Department RSS