TBB Home CRD: High Performance Computing Research Department Software technologies — Metamodern Nobel Prize for Computational Chemistry October 9, 2013 Michael Levitt, Martin Karplus, and Arieh Warshel have been awarded the Nobel Prize in chemistry for their contributions to computational methods for molecular simulation. Read the full article → Software, trust, and proof August 22, 2013 A recently developed high-performance OS microkernel supports the capability security model and comes with a formal specification and machine-checked proof: it’s called seL4. Read the full article →
C++, Development Tools, Java, Open Source, Web... the world of s Center for Advanced Computing Research » exascale computing Professor Peter Kogge University of Notre Dame March 12, 2010 2PM 147 Noyes Abstract DARPA recently funded a 2 year study of the technical challenges of trying to go from today’s petascale computing to exascale – 1000X – in roughly half the time it took to get from terascale to petascale. This talk will summarize this study, with a particular focus on the most far-reaching of the challenges, namely energy. Bio Dr. Nick Bostrom's Home Page
The Airport Extreme, version n, dissected. Apple recently released their first "n-capable" base station. As usual, this base station is packaged in a beautiful case, whose form factor appears to have been chosen expressly to fit under a Apple-TV™ or Mac Mini™. Moreover, unlike previous base stations, it's design nods towards the need for cooling: The base station incorporates an intake strip around the edge at the bottom of the case, and the crease along the top is acts as an exhaust. Under the top cover, a thick heat sink acts as a case as well as a RFI shield. After prying off the white plastic top, I also see no reason why the base station cannot be mounted vertically on a wall - the heat sink has plenty of exposure and is only warm to the touch. The cooling warts aside, it is a worthy successor to the previous generation of Extreme stations. Another cool new feature is the ability to attach a printer and/or a hard drive to the base station. Despite the heat issues and the annoying software situation, there is a lot to like.
Supercomputing and Parallel Computing Research Groups Note: I've moved on to another job, and I can no longer afford the time to keep this site updated. I recommend IEEE's ParaScope as a good alternative. Academic research groups working in the field of supercomputing and parallel computing. An object-Based Concurrent Language. Adl Data parallel functional programming languages for distributed memory architectures. Adsmith Object-Based DSM Environment on PVM. Alewife Large-scale multiprocessor with shared memory and message passing. Active-Message Driven Computing. Active Messages. Parallel Architectures group. APE/Quadrics High performance simulations of lattice gauge theories and QCD. AppLeS Application Level Scheduling. Automap Task parallel coordination language for dynamic applications. Avalanche Multiprocessor with distributed shared memory and message passing. Aztec Iterative sparse linear solver for unstructured sparse matrics. Bulk Synchronous Parallel model research group. Canonical Classes for Concurrency Control. CarlOS Cashmere Chant Chaos Cid Cilk
untitled Concurrency models for the D programming language Practical use of shared qualifier? d coder <dlang.coder <at> gmail.com> 2011-03-08 01:19:42 GMT Greetings I lately came across usefulness of "shared" qualifier in section 13.12.1. After reading the section, I guess I need to use shared qualifier more frequently than to just make sure that global variables are not treated thread-local. I think I need to make all class objects that would be accessed by multiple threads shared as well. I tried to follow this on the application I am developing. Another issue is that the std container library does not seem to work with shared objects. Kindly let me know if I am missing something. I am kind of stuck right now. Regards - Puneet _______________________________________________ dmd-concurrency mailing list dmd-concurrency <at> puremagic.com
untitled Distributed and High-Performance Computing (DHPC) Group untitled Maurice Herlihy's Home Page Bio Maurice Herlihy has an A.B. in Mathematics from Harvard University, and a Ph.D. in Computer Science from M.I.T. He has served on the faculty of Carnegie Mellon University, on the staff of DEC Cambridge Research Lab, and is currently a professor in the Computer Science Department at Brown University. He is the recipient of the 2003 Dijkstra Prize in Distributed Computing, the 2004 Gödel Prize in theoretical computer science, the 2008 ISCA influential paper award, the 2012 Edsger W. Selected Talks CS176: Multiprocessor Synchronization 2011 course on Combinatorial Topology and Distributed Computing (YouTube) 2011 Fulbright Distinguished Chair lecture (YouTube) 2004 Gödel Prize lecture (slides) Books