检索结果-内蒙古大学图书馆

4th International Congress on Spoken Language Processing

作者： Pfister, B Computer Engineering and Networks Lab (TIK) Zurich Switzerland

ISBN: (纸本)0780335554

The aim of this work was to develop a procedure that allows prosodic modifications of speech signals without impairing the quality. The developed procedure is based on the Fourier analysis/synthesis technique with several improvements on the analysis side, such as the analysis of signals with rapidly changing F-0 and the analysis of weak spectral components. Also for the modification of the short-time spectrum and for the reconstruction of the speech signal some new methods have been introduced. The most important one, in terms of speech quality, is the way of phase compensation that limits the absolute time shift to half the pitch period. The developed procedure is used in our high-quality text-to-speech synthesis system that is based on concatenation of prosodically modified diphones.

关键词： Speech synthesis

来源：评论

学校读者我要写书评

暂无评论

RESOURCE CONSTRAINED SCHEDULING OF UNIFORM ALGORITHMS

引用

JOURNAL OF VLSI SIGNAL PROCESSING 1995年第3期10卷 295-310页

作者： THIELE, L Computer Engineering and Communication Networks Lab. (TIK) Swiss Federal Institute of Technology Zuerich (ETHZ) Zuerich Switzerland

A method for optimizing the schedule and allocation of uniform algorithms onto processor arrays is derived. The main results described in the following paper are: (1) single (integer) linear programs are given for the optimal schedule of regular algorithms with and without resource constraints, (2) the class of algorithms is extended by allowing certain non-convex index domains, (3) efficient branch and bound techniques are used such that problems of relevant size can be solved. Moreover, additional constraints such as cache memory, bus bandwidths and access conflicts can be considered also. The results are applied to an example of relevant size.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Expected system energy consumption minimization in leakage-aware DVS systems

Expected system energy consumption minimization in leakage-a...

引用

International Symposium on Low Power Electronics and Design (ISLPED)

作者： Jian-Jia Chen Lothar Thiele Computer Engineering and Networks Lab. (TIK) Swiss Federal Institute of Technology Zurich (ETH Zurich) Switzerland Computer Engineering and Networks Lab. (TIK) (ETH Zurich) Switzerland

The pursuit of energy efficiency is becoming more and more important in hardware and software designs. This research explores energy-efficient scheduling for a periodic real-time task with uncertain execution time in dynamic voltage scaling (DVS) systems with non-negligible leakage/static power consumption. Distinct from the assumption of non-reducible static power consumption in the literature, this paper considers the possibility to reduce it by turning a processor to a dormant mode. We propose an algorithm to derive an optimal frequency assignment to minimize the expected energy consumption without procrastination, while another extended algorithm is developed to apply procrastination scheduling for further energy reduction. Experimental results show that the proposed algorithms can effectively minimize the expected energy consumption.

关键词： Energy consumption Voltage control Energy efficiency Processor scheduling Scheduling algorithm Hardware Software design Dynamic scheduling Real time systems Dynamic voltage scaling

来源：评论

学校读者我要写书评

暂无评论

REGULAR STATE MACHINES

引用

Parallel Algorithms and Applications 2000年第3-4期15卷 265-300页

作者： Lothar Thiele - thiele@tik.ee.ethz.ch[a] Jrgen Teich - teich@date.upb.de Supported in part under grant DFG TE163/5-1[b] Karsten Strehl - strehl@tik.ee.ethz.ch[a] [a] Computer Engineering and Networks Lab TIK Swiss Federal Institute of Technology ETH Zurich Switzerland [b] Computer Engineering Lab DA TE University of Paderborn Paderborn Germany

In this paper, we introduce a model called regular state machines (RSMs) that characterizes a class of state transition systems with regular transition behavior. It turns out that many process graph models such as synchronous dataflow graphs and Petri nets have a state transition system that may be described and analyzed in the RSM *** particular, the proposed approach unifies methods known for the above-mentioned subclasses and yields new results concerning boundedness, deadlocks, scheduling, and formal verification.

关键词： State transition system Model of computation Infinite state Scheduling Formal verification Petri net F.l.l. Models of Computation D.2.2. Design Tools and Techniques

来源：评论

学校读者我要写书评

暂无评论

Interval diagram techniques for symbolic model checking of Petri nets

Interval diagram techniques for symbolic model checking of P...

引用

Design, Automation and Test in Europe Conference and Exhibition

作者： K. Strehl L. Thiele Computer Engineering and Networks Lab (TIK) Swiss Federal Institute of Technology Zurich Switzerland

Symbolic model checking tries to reduce the state explosion problem by implicit construction of the state space. The major limiting factor is the size of the symbolic representation mostly stored in huge binary decision diagrams. A new approach to symbolic model checking of Petri nets and related models of computation is presented, outperforming the conventional one and avoiding some of its drawbacks. Our approach is based on a novel, efficient form of representation for multi-valued functions called interval decision diagram (IDD) and the corresponding image computation technique using interval mapping diagrams (IMDs). IDDs and IMDs are introduced, their properties are described, and the feasibility of the new approach is shown with some experimental results.

关键词： Petri nets Boolean functions Data structures Computational modeling Formal verification Binary decision diagrams computer networks Space technology World Wide Web Explosions

来源：评论

学校读者我要写书评

暂无评论

Designing the distributed architecture DIPS for cooperative software engineering

Designing the distributed architecture DIPS for cooperative ...

引用

Annual Hawaii International Conference on System Sciences (HICSS)

作者： D. Scherer T. Murer A. Wurtz Computer Engineering and Networks Lab TIK Swiss Federal Institute of Technology Zurich Switzerland

Cooperative software engineering typically involves many actors and resources that cooperate in a complex distributed and heterogeneous world. In the DIPS (Distributed Integrated Process Services) project, a 3D model is used for the definition, enactment and tracing of software development processes, which expresses both the structure and evolution of such processes. This paper discusses how an optimal architecture was evaluated to implement the process model in a process support framework. Process-specific and general requirements are identified, and expected usage patterns of a DIPS-based environment are analyzed. A set of potential architecture variants is proposed, and implications of the requirements and usage patterns on the variants are discussed qualitatively. An evaluation of the architecture alternatives leads to the design of a hybrid DIPS architecture based on distributed heterogeneous objects. The prototype DIPS implementation is briefly outlined.

关键词： computer architecture Electronics packaging Software engineering Programming Design engineering Prototypes Software maintenance computer networks Distributed computing Electronic mail

来源：评论

学校读者我要写书评

暂无评论

Rapid prototyping of dataflow programs on hardware/software architectures

Rapid prototyping of dataflow programs on hardware/software ...

引用

Annual Hawaii International Conference on System Sciences (HICSS)

作者： M. Eisenring J. Teich L. Thiele Computer Engineering and Communication Networks Lab (TIK) Swiss Federal Institute of Technology Zurich Switzerland

In this paper, the problem of automatically mapping large-grain dataflow programs onto heterogeneous hardware/software architectures is treated. Starting with a given hardware/software partition, interfaces are inserted into the specification to account for communication, in particular across hardware/software boundaries. Depending on the target architecture, the interfaces are refined according to given communication constraints (bus protocols, memory mapping, interrupts, DMA, etc.). A framework is described that uses an object-oriented approach to transform a given dataflow graph and to generate code for the actors as well as for the interfaces. The object-orientation enables an easy migration (retargeting) of typical communication primitives to other target architectures.

关键词： Hardware computer architecture Control system synthesis Object oriented modeling Buffer storage computer networks Data engineering Communication networks Protocols Automatic control

来源：评论

学校读者我要写书评

暂无评论

Host behaviour based early detection of worm outbreaks in Internet backbones

Host behaviour based early detection of worm outbreaks in In...

引用

IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE)

作者： T. Diibendorfer B. Plattner Comput. Eng. & Networks Lab. (TIK) Swiss Fed. Inst. of Technol. Zurich Switzerland Computer Engineering and Networks Laboratory (TIK) Swiss Federal Institute of Technology Zurich Switzerland Computer Engineering and Networks Laboratory(TIK) Swiss Federal Institute of Technology Zurich

We propose a novel near real-time method for early detection of worm outbreaks in high-speed Internet backbones. Our method attributes several behavioural properties to individual hosts like ratio of outgoing to incoming traffic, responsiveness and number of connections. These properties are used to group hosts into distinct behaviour classes. We use flow-level (Cisco Net Flow) information exported by the border routers of a Swiss Internet backbone provider (AS559/SWITCH). By tracking the cardinality of each class over time and alarming on fast increases and other significant changes, we can early and reliably detect worm outbreaks. We successfully validated our method with archived flow-level traces of recent major Internet e-mail based worms such as MyDoomA and Sobig.F, and fast spreading network worms like Witty and Blaster. Our method is generic in the sense that it does not require any previous knowledge about the exploits and scanning method used by the worms. It can give a set of suspicious hosts in near real-time that have recently and drastically changed their network behaviour and hence are highly likely to be infected.

关键词： Internet Spine computer worms IP networks Intrusion detection Telecommunication traffic Delay Switches Electronic mail Monitoring

来源：评论

学校读者我要写书评

暂无评论

Domain-specific interface generation from dataflow specifications 98

Domain-specific interface generation from dataflow specifica...

引用

Proceedings of the 6th international workshop on Hardware/software codesign

作者： Michael Eisenring Jürgen Teich Computer Engineering and Communication Networks Lab (TIK) Swiss Federal Institute of Tecthnology (ETH) CH-8092 Zurich Switzerland

来源：评论

学校读者我要写书评

暂无评论

LiveShift: Peer-to-Peer Live Streaming with Distributed Time-Shifting

LiveShift: Peer-to-Peer Live Streaming with Distributed Time...

引用

International Conference on Peer-to-Peer Computing

作者： Fabio Victora Hecht Thomas Bocek Cristian Morariu David Hausheer Burkhard Stiller University of Zurich Institute of Informatics (IFI) Zurich Switzerland ETH Zurich Computer Engineering and Networks Lab (TIK) Zurich Switzerland

The increasing assortment of devices with IP connectivity contributes to the high popularity of video sharing over the Internet. High traffic generated by such applications at the source can be better distributed using a peer-to-peer overlay, since every user forwards information to other users. Current implementations target either live or on demand video streaming. LiveShift is an application that combines both approaches. While video is transmitted through the peer-to-peer network in a live fashion, all peers participate in a distributed storage. This adds ability to replay time-shifted streams from other peers in a distributed and scalable manner. For the demonstration, a decentralized network is used, with peers running on EMANICSlab nodes and notebook computers.

关键词： Streaming media Peer to peer computing Watches Media computers Graphical user interfaces Buffer storage

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：