Moore's Law will continue to increase the number of transistors on die for a couple of decades, as silicon technology moves from 65nm today to 45nm, 32 nm and 22nm in the future. Since power and thermal constraint...
详细信息
ISBN:
(纸本)1595936025
Moore's Law will continue to increase the number of transistors on die for a couple of decades, as silicon technology moves from 65nm today to 45nm, 32 nm and 22nm in the future. Since power and thermal constraints increase with frequency, multi-core or many-core microprocessors will be the way of the future. In the near future, hardware platforms will have sixteen or more cores on die to achieve more than one Tera Instructions Per second (TIPs) computation power. These cores will communicate each other through an on-die interconnect fabric with more than one TB/s on-die bandwidth and less than 30 cycles latency. Off-die D-cache will employ 3D stacked memory technology to tremendously increase off-die cache/memory bandwidth and reduce the latency. Fast copper flex cables will link CPU-DRAM on socket and optical silicon photonics will provide up to one Tb/s I/O bandwidth between boxes. The hardware system with TIPs of compute power operating on terabytes of data make this a ?tera-scale? platform. What are the software implications with the hardware changes from uniprocessor to tera-scale platform with many cores as "the way of the future?" It will be a great challenge for programming environments to help programmers develop concurrent code for most client software. A good concurrent programming environment should extend existing programming languages that typical programmers are familiar with, and bring benefits for concurrent programming. There are many research topics. Examples topics include flexible parallel programming models based on needs from applications, better synchronization mechanisms such as Transactional Memory to replace simple ?Thread + Lock? structure, nested data parallel language primitives with new protocols, fine-grained synchronization mechanisms with hardware support, maybe fine-grained message passing, advanced compiler optimizations for the threaded code, and software tools in the concurrent programming environment. A more interesting proble
Requirements Engineering is one of the most important phases in any product development life cycle since it is the basis for the complete software or product design and realization. Therefore in a worst case scenario ...
详细信息
Requirements Engineering is one of the most important phases in any product development life cycle since it is the basis for the complete software or product design and realization. Therefore in a worst case scenario any error within a requirement can result in a project loss. Computer support for requirement engineers is still premature as most RE applications can not cope with more sophisticated techniques like semantics, natural language processing etc. In this paper we will present the ongoing research work in semantic requirement engineering which will try to close the gap between computer understandable semantics, namely ontologies, and the natural language input of a human.
We present a concurrent operational Petri net semantics for the join-calculus, a process calculus for specifying concurrent and distributed systems. There often is a gap between system specifications and the actual im...
详细信息
This article consists of a collection of slides from the author's conference presentation on transactional memory (TM). Some of the specific topics discussed include: an introduction to TM;TM implementation techni...
The growing number and increased coupling of functionality in embedded control systems, e.g. in the automotive domain, leads to complex networks of interacting features and a wide range of variants. Hence, today's...
详细信息
With the introduction of the new Modelica major version 3, innovations mainly consist of further model restrictions for increased model quality. In addition, developers often want to ensure the compliance to further r...
详细信息
With the introduction of the new Modelica major version 3, innovations mainly consist of further model restrictions for increased model quality. In addition, developers often want to ensure the compliance to further requirements early in the development cycle. Mostly emerging as domain specific conventions that often crosscut model structures, according checking mechanisms are required that are detached from the core language. In this paper, a declarative language is presented for specifying and evaluating quantified rules for static model properties. Based on aspectoriented programming, the language allows for concise and expressive model inspections and a variable and typing concept facilitate subsequent model manipulations. A nascent implementation framework is proposed, based on the logic meta programming paradigm, thus leading to efficient and scalable aspect processing applicable as model query engine for an AOP Modelica Compiler.
Software Product Lines (SPLs) are a promising approach for efficiently engineering similar variants and/or evolving versions of software products. SPLs propagate systematic reuse of design artifacts between variants b...
详细信息
In this talk we present how Higher-Order Process Engineering (HOPE) and Active Continuous Quality Control (ACQC) can be combined to drastically reduce the manual effort of risk-based regression testing. That is, integ...
详细信息
Sharing writing responsibilities for a set of manuals between two distinct company sites poses unique challenges. In our experience, the situation requires: clear communication using electronic technology;mutually und...
详细信息
ISBN:
(纸本)0780314662
Sharing writing responsibilities for a set of manuals between two distinct company sites poses unique challenges. In our experience, the situation requires: clear communication using electronic technology;mutually understood, accepted, and followed agreements;and dedication to teamwork. These result in timely completed manuals as well as in camaraderie and synergy among members of the team.
This article consists of a collection of slides from the author's conference presentation on software transactional memory (STM). Some of the specific topics discussed include: how to translate a language construc...
暂无评论