The application of formal methods in the detection of incon- sistencies and design aws within models has been intensely studied in recent years. Since consistency checking is in prin- ciple undecidable due to the infi...
详细信息
ISBN:
(纸本)9781450309141
The application of formal methods in the detection of incon- sistencies and design aws within models has been intensely studied in recent years. Since consistency checking is in prin- ciple undecidable due to the infinite number of possible sys- tem states, problem bounds have to be defined making the analysis tractable. However, defining these problem bounds requires detailed design knowledge and, thus, impedes an automatic verification ow. In this paper, we present first ideas and results of how to automatically determine valid problem bounds for con- sistency checking algorithms. For this purpose, we make use of automatic proof engines for linear integer arithmetic. We describe the approach by means of class diagrams given in the Unified Modeling Language (UML) extended by con- straints given in the Object Constraint Language (OCL). Copyright 2011 ACM.
In the present we investigate the advantages of the phase lag analysis for the derivation of phase-fitted techniques on several numerical schemes. Relying on the main characteristics of the phase lag we evaluate the p...
In the present we investigate the advantages of the phase lag analysis for the derivation of phase-fitted techniques on several numerical schemes. Relying on the main characteristics of the phase lag we evaluate the parameters needed firstly for Runge-Kutta methods and secondly for high order variational integration methods, so that the phase lag and its derivatives are zero. The proposed methods are tested for the solution of initial value problems on ordinary differential equations of second order, like the Hénon-Heiles model.
Cloud computing is a new computing model. The resource monitoring tools are immature compared to traditional distributed computing and grid computing. In order to better monitor the virtual resource in cloud computing...
详细信息
Cloud computing is a new computing model. The resource monitoring tools are immature compared to traditional distributed computing and grid computing. In order to better monitor the virtual resource in cloud computing, a periodically and event-driven push （PEP） monitoring model is proposed. Taking advantage of the push and event-driven mechanism, the model can provide comparatively adequate information about usage and status of the resources. It can simplify the communication between Master and Work Nodes without missing the important issues happened during the push interval. Besides, we develop ＂mon＂ to make up for the deficiency of Libvirt in monitoring of virtual CPU and memory.
Current trends and studies on future architectures show, that the complexity of parallel computer systems is increasing steadily. Hence, the industry requires skilled employees, who have in addition to the theoretical...
详细信息
Current trends and studies on future architectures show, that the complexity of parallel computer systems is increasing steadily. Hence, the industry requires skilled employees, who have in addition to the theoretical fundamentals, practical experiences in the design and administration of such systems. However, investigations have shown, that practical approaches are still missing in current curricula, especially in these areas. For this reason, the chair of computerarchitecture at the faculty of computerscience at the Technische Universiẗat Dresden, developed and introduced the course “Linux Cluster in Theory and Practice” (LCTP). The main objectives of this course are to provide background knowledge about the design and administration of large-scale parallel computer systems and the practical implementation on the available hardware. In addition, students learn how to solve problems in a structured approach and as part of a team. This paper analyzes the current variety of courses in the area of parallel computing systems, describes the structure and implementation of LCTP and provides first conclusions and an outlook on possible further developments.
The challenge for on-chip networks is to provide low latency communication in a very low power budget. To reduce the latency and keep the simplicity of a mesh network, torus network is proposed. As torus networks have...
详细信息
If the route computation operation in an adaptive router returns more than one output channels, the selection strategy chooses one from them based on the congestion metric used. The effectiveness of a selection strate...
详细信息
To achieve a higher data transmission rate, carrier aggregation (CA) technology has been included in the LTE Advanced standard. Allocating resources with CA is a crucial and challenging task due to the different types...
详细信息
ISBN:
(纸本)9781467358309
To achieve a higher data transmission rate, carrier aggregation (CA) technology has been included in the LTE Advanced standard. Allocating resources with CA is a crucial and challenging task due to the different types of user equipment (UE) that have different bandwidth capacities and operate under the same base station (BS). We have formulated the downlink resource allocation problem joining both carrier component (CC) allocation and resource block (RB) allocation to achieve proportional fairness in the long term. We also develop a maximum system utility (MSU) algorithm. Each time this algorithm tries to allocate the best CC to an narrow-band UE in which the number of CCs it is assigned does not exceed the number of CCs supported, maximizing the total utility until it can no longer grow. Importantly, NB UEs which can support more than one CCs are considered in this paper. Simulation results show that the proposed algorithm can significantly improve total throughput compared with the existing algorithm both with and without fairness consideration.
Web feeds are a popular way to access updates for content in the World Wide Web. Unfortunately, the technology behind web feeds is based on polling. Thus, clients ask the feed server regularly for updates. There are t...
详细信息
作者：
John MaedaSteven HellerTim HooverHas been a design partner at Kleiner Perkins Caufield & Byers since January 2014
helping entrepreneurs and portfolio companies to build design into their company cultures. He served as the president of Rhode Island School of Design for six years through 2013 and also served as an associate director of research at the MIT Media Lab. Maeda has been a practicing designer since 1990 and his work is in the permanent collections of the Museum of Modern Art San Francisco Museum of Modern Art and the Cartier Foundation. He serves on the boards of several corporations including Sonos and Wieden + Kennedy and is chair of eBay's Design Advisory Board. His four published books include The Laws of Simplicity and Redesigning Leadership. Maeda is the recipient of a variety of international awards for his creative work including induction into the Art Director's Club Hall of Fame. In 2001 he received the White House National Design Award in 2002
he received the Mainichi Design Prize in Japan and in 2005
he was awarded the Raymond Loewy Foundation Prize in Germany. Maeda earned a BS and an MS from MIT in computer science and electrical engineering. He received a PhD in design science from the University of Tsukuba Institute of Art and Design in Japan as well as an MBA from Arizona State University. Co‐chair and co‐founder of the MFA Designer as Author and Entrepreneur program at the School of Visual Arts
in New York. He was the art director of The New York Times Book Review and now writes the VISUALS column for the NYTBR. He also writes “The Daily Heller” at *** a weekly online design column for Atlantic magazine. He is author co‐author and editor of more than 165 books on the history and practice of graphic design illustration and satiric art. His forthcoming books include 100 Classic Graphic Design Magazines (Laurence King Publishers) and Raw Data: The Process Behind Information Graphics (Thames + Hudson). Heller was the 2011 recipient of the Smithsonian National Design Award for Design Mind. He has also writ
John Maeda is a past president of Rhode Island School of Design and an internationally known designer. He's now involved in helping entrepreneurs build design into their company cultures. Writer and educator Steve...
John Maeda is a past president of Rhode Island School of Design and an internationally known designer. He's now involved in helping entrepreneurs build design into their company cultures. Writer and educator Steven Heller pairs up with Tim Hoover, head of product and design at Canary, to talk about designer CEOs, start‐ups, and cutting out the middleman.
Web feeds allow users to retrieve new content from pages on the World Wide Web. Feeds are offered by a multitude of web pages, ranging from conventional news sites to pages with user generated content such as wikis, f...
详细信息
暂无评论