ABSTRACT

This talk provides an overview of the dataflow interchange format (DIF) project at the University of Maryland. DIF is a textual language for specifying mixed-­grain dataflow representations of signal processing applications.

A wide variety of signal processing domains is targeted by the DIF project, including applications for processing signals in the audio, speech, wireless communications, image, and video processing domains. A major theme in the DIF project is facilitating experimentation with interactions between different dataflow modeling techniques and associated transformations that exploit specific properties of these techniques. One way that DIF achieves this is by allowing designers to specify subgraphs of a design in terms of specific dataflow modeling techniques, such as synchronous, cyclo-­static, and parameterized dataflow, through corresponding keywords in the language. DIF also incorporates a new dataflow model of computation called enable-­invoke dataflow, which is geared towards high expressive power, functional simulation, rapid prototyping, quasi-­static scheduling, and efficient refinement into more specialized dataflow models.

SHUVRA S. BHATTACHARYYA

is a Professor in the Department of Electrical and Computer Engineering, University of Maryland at College Park. He holds a joint appointment in the University of Maryland Institute for Advanced Computer Studies (UMIACS). He is coauthor or coeditor of six books and the author or coauthor of more than 150 refereed technical articles. His research interests center around architectures, methodologies, software techniques, and tools for design of signal processing systems. He received the B.S. degree from the University of Wisconsin at Madison, and the M.S. and Ph.D. degrees from the University of California at Berkeley. He has held industrial positions as a Researcher at the Hitachi America Semiconductor Research Laboratory (San Jose, California), and Compiler Developer at Kuck & Associates (Champaign, Illinois). He has held a visiting research position at the US Army Research Laboratory (Rome, New York). He has served as Chair of the IEEE Signal rocessing Society Technical Committee on Design and Implementation of Signal Processing Systems. He is a Fellow of the IEEE.

Abstract: Recent large scale disasters have awaken governments at home and abroad to their needs for preparedness to support public safety and performance of cyber-systems assisting first responders (FR). First responders of various agencies are often on the frontline to assist in managing these events to protect lives and property. The effectiveness of their mission is highly dependent on capability of mobile wireless systems available at incident scenes, especially how their mobile infrastructure and devices can assist in real-time FR connectivity and location tracking, and protect against threads and vulnerabilities in an integrated manner.

The talk presents challenges to achieve such integration when taking into account resource limitations in mobile systems, mission-orientation of first responders, and possible threats and safety problems at incident scenes. We will amplify these challenges on two examples: (a) reliable relay placement for FR communication in high-rises, and (b) alert mechanisms if threats are detected. In case of the reliable relay placement, we will examine placement of relays to communicate reliably with base stations via polymorphic networks. In case of alert mechanisms we will discuss solutions such as Mobi-Herald and examine it against resource limitations and possible threats.

We will conclude the talk with a short overview of other research projects that are going on in the Mobile Networking and Operating System (MONET) group at the University of Illinois.

Here are some pictures from Klara’s visit and the slides of the talk.

Short Bio: Klara Nahrstedt is a full professor at the University of Illinois at Urbana-Champaign, Computer Science Department. Her research interests are directed toward multimedia systems, quality of service (QoS) management in mobile networks, QoS routing, QoS-aware resource management, Quality of Protection (QoP) in multimedia systems, and real-time security in mission-critical systems. She is the coauthor of widely used multimedia books `Multimedia: Computing, Communications and Applications’ published by Prentice Hall, and ‘Multimedia Systems’ published by Springer Verlag. She is the recipient of the IEEE Communication Society Leonard Abraham Award for Research Achievements, Ralph and Catherine Fisher Professor, IEEE Fellow, University Scholar, Humboldt Fellow, and the Chair of SIG Multimedia. She was the general chair of ACM Multimedia 2006, general chair of ACM NOSSDAV 2007 and the general chair of IEEE Percom 2009. Klara Nahrstedt received her BA in mathematics from Humboldt University, Berlin, in 1984, and M.Sc. degree in numerical analysis from the same university in 1985. In 1995 she received her PhD from the University of Pennsylvania in the Department of Computer and Information Science. She is the member of ACM and IEEE Fellow.

Abstract: 
Recent large scale disasters have awaken governments at home and abroad to their needs for preparedness to support public safety and performance of cyber-systems assisting first responders (FR). First responders of various agencies are often on the frontline to assist in managing these events to protect lives and property. The effectiveness of their mission is highly dependent on capability of mobile wireless systems available at incident scenes, especially how their mobile infrastructure and devices can assist in real-time FR connectivity and location tracking, and protect against threads and vulnerabilities in an integrated manner. 
The talk presents challenges to achieve such integration when taking into account resource limitations in mobile systems, mission-orientation of first responders, and possible threats and safety problems at incident scenes. We will amplify these challenges on two examples: (a) reliable relay placement for FR communication in high-rises, and (b) alert mechanisms if threats are detected. In case of the reliable relay placement, we will examine placement of relays to communicate reliably with base stations via polymorphic networks. In case of alert mechanisms we will discuss solutions such as Mobi-Herald and examine it against resource limitations and possible threats.
We will conclude the talk with a short overview of other research projects that are going on in the Mobile Networking and Operating System (MONET) group at the University of Illinois.

Short Bio:
Klara Nahrstedt is a full professor  at  the  University  of Illinois at Urbana-Champaign,  Computer Science Department. Her research interests are directed   toward  multimedia  systems, quality of service (QoS) management in mobile networks, QoS routing, QoS-aware resource management, Quality of Protection (QoP) in multimedia systems, and real-time security in mission-critical systems. She is the coauthor of widely used multimedia books `Multimedia: Computing, Communications and Applications‘  published by Prentice Hall, and ‘Multimedia Systems’ published by Springer Verlag. She is the recipient of the IEEE Communication Society Leonard Abraham Award for Research Achievements, Ralph and Catherine Fisher Professor, IEEE Fellow, University Scholar, Humboldt Fellow, and the Chair of SIG Multimedia. She was the general chair of ACM Multimedia 2006, general chair of ACM NOSSDAV 2007 and the general chair of IEEE Percom 2009. Klara Nahrstedt received her BA in mathematics from Humboldt University,  Berlin, in 1984, and M.Sc. degree in numerical analysis from the same university in 1985. In 1995 she received her PhD from the University of Pennsylvania in the Department of Computer and Information Science. She is the member of ACM and IEEE Fellow.

Stichworte zum Vortrag:

• IT-Unternehmensarchitektur – Begriffe, Ebenen, Prozesse, Werkzeuge
• Einordnung und Rolle der IT-Unternehmensarchitektur bei Novartis
• Anwendungsbeispiele und Erfahrungen

Supercomputing has drawn significant attention from the research and industry communities. The reasons are multidimensional, including the advance of computer technology, the merging of large-scale applications, and needs of national defense. However, designing high performance, high efficiency and high security supercomputers has been proven to be a hard task.

In this talk, Prof. Zhang introduces the TH-1A supercomputer, which was developed by the College of Computer Science of NUDT (National University of Defense Technology). The peak speed of TH-1A is 4700 TFLOPS, the LINPACK test result is 2566 TFLOPS, and it was ranked No. 1 on the TOP 500 list released in November 2010. The architecture which integrates GPUs and CPUs for high-performance parallel comp

uting is exploited for the first time in the world. The whole system consists of two major components: hardware system and software system. For the hardware system, the TH-1A team developed 3 large-scale integrated circuit designs, 4 kinds of nodes, 2 networks, and 15 different PCB boards. Accordingly, the operating system, the compiling system, the parallel programming environment, and the scientific virtualization system were developed for the software system. The TH-1A supercomputer has been used in many applications, including oil exploration, high-end equipment development, bio-medical research, 3D animation, cloud computing, and so on.

Am 19. Mai 2011 um 17:00 Uhr hielt Prof. Bruno Buchberger von der Johannes Kepler Universität Linz eine TEWI-Kolloquium zum Thema “Lazy Thinking” an der Alpen-Adria-Universität Klagenfurt. Hier noch mal die Kurzfassung zum Vortrag und einige Eindrück aus dem gut gefülltem E.2.42.

Die Methode des “Lazy Thinking” dient zur systematischen Synthese von Algorithmen aus Problemspezifikationen. Die Methode kann sowohl als heuristisch / pädagogisches Werkzeug für den Prozess der Synthese korrekter Algorithmen dienen als auch zur vollständig automatischen Generierung von Algorithmen, wenn für Teilschritte der Methode automatische Beweiser für die entsprechenden Objekttheorien zur Verfügung stehen. Im Vortrag wird die Methode zunächst an einem einfachen Beispiel erläutert und dann gezeigt, dass auch sehr schwierige Algorithmen, wie der Groebner-Basen-Algorithmuszur Behandlung nicht-linearer Systeme, mit der Methode völlig automatisch generiert werden kann. Die Methode ist in dem vom Vortragenden konzipierten Theorema-System implementiert.

Die Folien zum Vortrag wurden uns zur Verfügung gestellt und sind hier abrufbar. Wir konnten auch einige Wortmeldungen einfangen…

norge dating site