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

Annual IEEE Conference on computational Complexity

作者： V. Guruswami S. Khot Department of Computer Science and Engineering University of Washington Seattle WA USA College of Computing Georgia Institute of Technology Atlanta GA USA

We study the complexity of approximating Max NM-E3SAT, a variant of Max 3SAT when the instances are guaranteed to not have any mixed clauses, i.e., every clause has either all its literals unnegated or all of them negated. This is a natural special case of Max 3SAT introduced Guruswami (2004), where the question of whether this variant can be approximated within a factor better than 7/8 was also posed. We prove that it is NP-hard to approximate Max NM-E3SAT within a factor of 7/8 + /spl epsiv/ for arbitrary /spl epsiv/ > 0, and thus this variant is no easier to approximate than general Max 3SAT. The proof uses the technique of multilayered PCPs, introduced by Dinur et al. (2003), to avoid the technical requirement of folding of the proof tables. Circumventing this requirement means that the PCP verifier can use the bits it accesses without additional negations, and this leads to a hardness for Max 3SAT without any mixed clauses.

关键词： Computer science Educational institutions engineering profession

来源：评论

学校读者我要写书评

暂无评论

Feedback-based dynamic voltage and frequency scaling for memory-bound real-time applications

Feedback-based dynamic voltage and frequency scaling for mem...

引用

IEEE Symposium on Real-Time and Embedded technology and Applications

作者： C. Poellabauer L. Singleton K. Schwan Computer Science and Engineering University of Notre Dame Notre Dame IN USA College of Computing Georgia Institute of Technology Atlanta GA USA

Dynamic voltage and frequency scaling is increasingly being used to reduce the energy requirements of embedded and real-time applications by exploiting idle CPU resources, while still maintaining all application's real-time characteristics. Accurate predictions of task run-times are key to computing the frequencies and voltages that ensure that all tasks' real-time constraints are met. Past work has used feedback-based approaches, where applications' past CPU utilizations are used to predict future CPU requirements. Mispredictions in these approaches can lead to missed deadlines, suboptimal energy savings, or large overheads due to frequent changes to the chosen frequency or voltage. One shortcoming of previous approaches is that they ignore other 'indicators' of future CPU requirements, such as the frequency of I/O operations, memory accesses, or interrupts. This paper addresses the energy consumptions of memory-bound real-time applications via a feedback loop approach, based on measured task run-times and cache miss rates. Using cache miss rates as indicator for memory access rates introduces a more reliable predictor of future task run-times. Even in modern processor architectures, memory latencies can only be hidden partially, therefore, cache misses can be used to improve the run-time predictions by considering potential memory latencies. The results shown in this paper indicate improvements in both the number of deadlines met and the amount of energy saved.

关键词： Dynamic voltage scaling Frequency Runtime Energy consumption Processor scheduling Application software Delay Batteries Monitoring Computer science

来源：评论

学校读者我要写书评

暂无评论

Control, deception, and communication: Evaluating the deployment of a location-enhanced messaging service 05

Control, deception, and communication: Evaluating the deploy...

引用

7th International Conference on Ubiquitous computing, UbiComp 2005

作者： Iachello, Giovanni Smith, Ian Consolvo, Sunny Abowd, Gregory D. Hughes, Jeff Howard, James Potter, Fred Scott, James Sohn, Timothy Hightower, Jeffrey LaMarca, Anthony College of Computing GVU Center Georgia Institute of Technology Atlanta GA United States Intel Research Seattle WA United States Department of Computer Science and Engineering University of Washington Seattle WA United States Intel Research Cambridge United Kingdom Computer Science and Engineering University of California San Diego San Diego CA United States

ISBN: (纸本)3540287604

We report on a two-week deployment of a peer-to-peer, mobile, location-enhanced messaging service. This study is specifically aimed at investigating the need for and effectiveness of automatic location disclosure mechanisms, the emerging strategies to achieve plausible deniability, and at understanding how place and activity are used to communicate plans, intentions and provide awareness. We outline the research that motivated this study, briefly describe the application we designed, and provide details of the evaluation process. The results show a lack of value of automatic messaging functions, confirm the need for supporting plausible deniability in communications, and highlight the prominent use of activity instead of place to indicate one's location. Finally, we offer suggestions for the development of social mobile applications. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Mobile telecommunication systems

来源：评论

学校读者我要写书评

暂无评论

Software engineering 2004: ACM/IEEE-CS guidelines for undergraduate programs in software engineering

Software engineering 2004: ACM/IEEE-CS guidelines for underg...

引用

International Conference on Software engineering (ICSE)

作者： J.M. Atlee T.C. Lethbridge A. Sobel J.B. Thompson R.J. LeBlanc School of Computer Science University of Waterloo Canada College of Computing Georgia Institute of Technology USA School of Information Technology and Engineering University of Ottawa Canada School of Engineering and Applied Science Miami University USA School of Computing and Technology University of Sunderland UK

This paper is an overview of Software engineering 2004, the software engineering volume of the computing curricula 2001 project. We briefly describe the contents of the volume, the process used in developing the volum... 详细信息

关键词： Software engineering Guidelines Educational programs Computer science education Educational products Feedback Standards development Computer science Educational institutions Information technology

来源：评论

学校读者我要写书评

暂无评论

A session-GMM generative model using test utterance Gaussian mixture modeling for speaker verification

A session-GMM generative model using test utterance Gaussian...

引用

International Conference on Acoustics, Speech, and Signal Processing (ICASSP)

作者： H. Aronowitz D. Burshtein A. Amir Department of Computer Science Bar-llan University Israel School of Electrical Engineering Tel-Aviv University Israel College of Computing Georgia Institute of Technology USA

Test utterance parameterization (TUP) using Gaussian mixture models (GMMs) has recently been shown to be beneficial for speaker indexing due to its computational efficiency and identical accuracy compared to classic GMM-based recognizers. We show that TUP can also lead to more accurate speaker recognition. On the NIST-2004 evaluation corpus, recognition error rate was reduced by 8% compared to the classic GMM-based algorithm. Furthermore, we introduce a novel generative statistical model for generation of test utterances by speakers. This model is incorporated naturally into the TUP framework and improves speaker recognition accuracy. On the NIST-2004 evaluation corpus, recognition error rate was reduced by 15% compared to the classic GMM-based algorithm.

关键词： Testing Speaker recognition Indexing Error analysis Computer science computational efficiency Parametric statistics Training data Mood Fatigue

来源：评论

学校读者我要写书评

暂无评论

An Intrusion-Tolerant and Self-Recoverable Network Service System Using A Security Enhanced Chip Multiprocessor

An Intrusion-Tolerant and Self-Recoverable Network Service S...

引用

International Conference on Autonomic computing (ICAC)

作者： Weidong Shi H.-H.S. Lee Guofei Gu L. Falk T.N. Mudge M. Ghosh School of Electrical and Computer Engineering College of Computing Georgia Institute of Technology Atlanta GA USA Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI USA

This paper proposes a novel system design using a chip multiprocessor (CMP) to provide intrusion tolerance and self-recovery for server applications. Our platform provides three major advantages over previously proposed approaches, 1) security insulation from remote exploits and attacks; 2) close coupling between processor cores in a CMP to ensure immediate logging, fine-grained inspection and fast recovery; 3) concurrent and fine-grained inspection, logging and recovery techniques that are off of the critical path. We have designed a multi-point defense and recovery system to defeat remote exploits. We used a checkpoint based approach to recover server applications under attack. It takes a snapshot of the application's context and memory state before it handles the next request. If the request turns out to be malicious, the system can discard the malicious request and rollback the application's state to a known good one through checkpointing. We have also designed an rapid recovery system for kernel space rootkit attacks. Our intrusion survivable and self-recovery design provides reliable production services that System Administrators are seeking

关键词： Protection Virtual machining Virtual manufacturing Inspection Buffer overflow Costs Humans Computer security Design engineering Educational institutions

来源：评论

学校读者我要写书评

暂无评论

Challenges of molecular nanotechnology for space exploration

Challenges of molecular nanotechnology for space exploration

引用

Space 2005

作者： McKendree, Thomas L. Freitas Jr., Robert A. Globus, Al Levit, M. Creon Sherrill, C. David Li, Mo Merkle, Ralph C. Raytheon Network Centric Systems Fullerton CA 92646-3310 United States Institute of Molecular Manufacturing 555 Bryant Street Palo Alto CA 94301 United States Computer Sciences Corporation Evolvable Systems Group Moffett Field MS 269-3 CA 94035 United States NASA Ames Research Center Advanced Supercomputing Division Moffett Field MS T27-A CA 94035-1000 United States Georgia Institute of Technology Chemistry and Biochemistry 770 State Street Atlanta GA 30332-0400 United States Georgia Institute of Technology Materials Science and Engineering 771 Ferst Drive NW Atlanta GA 30332-0245 United States Georgia Institute of Technology College of Computing 801 Atlantic Dr Atlanta GA 30332-0280 United States

ISBN: (纸本)1563477386

Molecular nanotechnology is the future capability to design and build systems to atomic precisions. This paper motivates the desire of molecular nanotechnology for space exploration with a review of potential benefits, and reviews relevant progress to date for molecular nanotechnology. It provides a framework of challenges that need to be resolved before molecular nanotechnology can be applied to space systems, with discussion on addressing those challenges. The primary focus is in the area of developing tools for automated design of molecular components, using molecular connector components as an example, and in developing tools for generating reaction pathways to fabricate molecular components that can integrate with tools for developing molecular components. The secondary focus is issues for the molecular fabrication system, including integration with the design of end product space systems. © 2005 by McKendree et al. Published by the American institute of Aeronautics and Astronautics, Inc.

关键词： Space research

来源：评论

学校读者我要写书评

暂无评论

Work in progress - Problems and progress in software engineering curriculum materials

Work in progress - Problems and progress in software enginee...

引用

34th Annual Frontiers in Education: Expanding Educational Opportunities Through Partnerships and Distance Learning - Conference Proceedings, FIE

作者： Hislop, Gregory W. Hilburn, Thomas B. Lutz, Michael J. Michael McCracken, W. Sebern, Mark J. College of Information Science and Technology Drexel University Department of Computing Embry-Riddle Aeronautical University Department of Software Engineering Rochester Institute of Technology College of Computing Georgia Institute of Technology Department of Electrical Engineering and Computer Science Milwaukee School of Engineering

SWENET, The Network Community for Software engineering Education, is an NSF funded project to develop curriculum modules of value to faculty members desiring to incorporate software engineering concepts in new or existing courses. By design, the modules are self-contained instructional units ranging from a single lecture to approximately one week of course material. In this way, instructors can adopt, adapt, and arrange modules as appropriate to their courses. This presentation will provide an update on the status of the project including a report of current progress and problems encountered. The session will also address the future of the course materials collection and solicit input on ways to provide ongoing support to the community of software engineering researchers. © 2004 IEEE.

关键词： engineering education

来源：评论

学校读者我要写书评

暂无评论

Recent progress in the scheduling algorithms in optical-burst-switched networks [Invited]

引用

Journal of Optical Networking 2004年第4期3卷 229-241页

作者： Li, Jikai Qiao, Chunming Chen, Yang Department of Computer Science and Engineering 201 Bell Hall State University of New York at Buffalo Buffalo NY 14260 United States College of Computing Georgia Institute of Technology Atlanta GA 30332 United States

Optical burst switching (OBS) is a promising paradigm for the future Internet infrastructure. Owing to the lack of an optical buffer, burst loss in OBS networks is a major concern. The problem of how to schedule as many bursts as possible to minimize the burst loss has been under intense research in the past several years. We classify the approaches to burst scheduling and review the recent research. © 2004 Optical Society of America.

关键词： Optical burst switching

来源：评论

学校读者我要写书评

暂无评论

SyD: A middleware testbed for collaborative applications over small heterogeneous devices and data stores

SyD: A middleware testbed for collaborative applications ove...

引用

5th International Middleware Conference, Middleware 2004

作者： Prasad, Sushil K. Madisetti, Vijay Navathe, Shamkant B. Sunderraman, Raj Dogdu, Erdogan Bourgeois, Anu Weeks, Michael Liu, Bing Balasooriya, Janaka Hariharan, Arthi Xie, Wanxia Madiraju, Praveen Malladi, Srilaxmi Sivakumar, Raghupathy Zelikovsky, Alex Zhang, Yanqing Pan, Yi Belkasim, Saied Computer Science Department Georgia State University United States School of Electrical and Computer Engineering Georgia Institute of Technology United States College of Computing Georgia Institute of Technology United States

ISBN: (纸本)3540234284

Developing a collaborative application running on a collection of heterogeneous, possibly mobile, devices, each potentially hosting data stores, using existing middleware technologies such as JXTA, BREW, *** and J2ME requires too many ad-hoc techniques as well as cumbersome and time-consuming programming. Our System on Mobile Devices (SyD) middleware, on the other hand, has a modular architecture that makes such application development very systematic and streamlined. The architecture supports transactions over mobile data stores, with a range of remote group invocation options and embedded interdependencies among such data store objects. The architecture further provides a persistent uniform object view, group transaction with Quality of Service (QoS) specifications, and XML vocabulary for interdevice communication. This paper presents the basic SyD concepts and introduces the architecture and the design of the SyD middleware and its components. We also provide guidelines for SyD application development and deployment process. We include the basic performance figures of SyD components and a few SyD applications on Personal Digital Assistant (PDA) platforms. We believe that SyD is the first comprehensive working prototype of its kind, with a small code footprint of 112 KB with 76 KB being device-resident, and has a good potential for incorporating many ideas for performance extensions, scalability, QoS, workflows and security. © IFIP International Federation for Information Processing 2004.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：