In recent years, the discipline of computing has matured to the point of having distinct sub elements, each of which is developing curriculum recommendations, accreditation criteria, conferences, professional societie...
详细信息
ISBN:
(纸本)9781595932594
In recent years, the discipline of computing has matured to the point of having distinct sub elements, each of which is developing curriculum recommendations, accreditation criteria, conferences, professional societies and publications. Specific curriculum recommendations exist for five distinct areas: (computing Curricula 2001: Computer Science (CS- 2001) [4] and IS 2002 Model Curriculum and Guidelines for Undergraduate Degree Programs in Information Systems (IS-2002) [1]), (computing Curricula 2004: Software Engineering [2] and computing Curricula: Computer Engineering [5]) and one that will likely be finished early in 2006 (computing Curricula: Information Technology [6]). More broadly, recent work in the UK to identify the variety of computing related programs currently offered in British universities identified 2,400 distinct program names [3]! This proposal is for an update of a project to keep the family of computing related disciplines together. This project is partially funded by the National Science Foundation (NSF grant 0338546, Special Project: All in the Family: A unified representation of the computing and information related disciplines), and is being run by a joint task force from several professional societies, with acm taking the lead. The goals of the project are to provide a union of all that is computing, and various ways of organizing and visualiz-ing the breadth and depth of the combined computing and information related disciplines. This project began in late 2003, and got started in earnest in early 2004. The project has produced a reasonably comprehensive list of topic areas that make up the combined disciplines and a representation of the associations between those topic areas. The work was presented in a preliminary form at SIGCSE 2005 and was the subject of an ITiCSE 2005 Working Group. The SIGCSE session and the working group generated a good deal of comment and interest. The work has progressed substantially since then and the presenta
Visualization and interactivity are valuable active learning techniques that can improve mastery of difficult concepts. In this paper we describe jFAST, an easy-to-use graphical software tool for teachers and students...
详细信息
ISBN:
(纸本)9781595932594
Visualization and interactivity are valuable active learning techniques that can improve mastery of difficult concepts. In this paper we describe jFAST, an easy-to-use graphical software tool for teachers and students, with an emphasis on introductory level finite state machine topics. The jFAST software enables visual design, exploration and simulation of a variety of finite state machines, with a primary goal of enhancing teaching effectiveness in this subject, particularly for less advanced computer science students. The architecture and functionality of jFAST are explained, and results of preliminary evaluation are provided. Copyright 2006 acm.
With the growing complexity of web applications, identifying web interfaces that can be used for testing such applications has become increasingly challenging. Many techniques that work effectively when applied to sim...
详细信息
ISBN:
(纸本)9781595938114
With the growing complexity of web applications, identifying web interfaces that can be used for testing such applications has become increasingly challenging. Many techniques that work effectively when applied to simple web applications are insufficient when used on modern, dynamic web applications, and may ultimately result in inadequate testing of the applications' functionality. To address this issue, we present a technique for automatically discovering web application interfaces based on a novel static analysis algorithm. We also report the results of an empirical evaluation in which we compare our technique against a traditional approach. The results of the comparison show that our technique can (1) discover a higher number of interfaces and (2) help generate test inputs that achieve higher coverage. Copyright 2007 acm.
Plagiarism of material from the Internet is a widespread and growing problem. Computer science students, and those in other science and engineering courses, can sometimes get away with a "cut and paste" appr...
详细信息
ISBN:
(纸本)9781595932594
Plagiarism of material from the Internet is a widespread and growing problem. Computer science students, and those in other science and engineering courses, can sometimes get away with a "cut and paste" approach to assembling a paper in part because the expected style of technical writing is less expositional than in liberal arts courses. Detection of cut and paste plagiarism is time-consuming when done by hand, and can be greatly aided by automated software tools. This paper reports on the design of a software tool called SNITCH that implements a fast and accurate plagiarism detection algorithm using the Google Web API. Issues related to plagiarism detection software are discussed and empirical results of a performance and accuracy study are presented. Copyright 2006 acm.
Discrete mathematics and graph theory, including combinatorics, combinatorial optimization and networks. Preface Acknowledgments Region-Fault Tolerant Geometric Spanners, M. A. Abam, M. de Berg, M. Farshi, and J. Gudm...
ISBN:
(纸本)9780898716245
Discrete mathematics and graph theory, including combinatorics, combinatorial optimization and networks. Preface Acknowledgments Region-Fault Tolerant Geometric Spanners, M. A. Abam, M. de Berg, M. Farshi, and J. Gudmundsson A PTAS for TSP with Neighborhoods among Fat Regions in the Plane, Joseph S. B. Mitchell Optimal Dynamic Vertical Ray Shooting in Rectilinear Planar Subdivisions, Yoav Giyora and Haim Kaplan Squarepants in a Tree: Sum of Subtree Clustering and Hyperbolic Pants Decomposition, David Eppstein A Near Linear Time Constant Factor Approximation for Euclidean Bichromatic Matching (Cost), Piotr Indyk Compacting Cuts: A New Linear Formulation for Minimum Cut, Robert D. Carr, Goran Konjevod, Greg Little, Venkatesh Natarajan, and Ojas Parekh Linear Programming Relaxations of Maxcut, Wenceslas Fernandez de la Vega and Claire Kenyon-Mathieu Near-Optimal Algorithms for Maximum Constraint Satisfaction Problems, Moses Charikar, Konstantin Makarychev, and Yury Makarychev Improved Bounds for the Symmetric Rendezvous Value on the Line, Qiaoming Han, Donglei Du, Juan Vera, and Luis F. Zuluaga Efficient Solutions to Relaxations of Combinatorial Problems with Submodular Penalties via the Lovsz Extension and Non-smooth Convex Optimization, Fabin A. Chudak and Kiyohito Nagano Multiple Source Shortest Paths in a Genus g Graph, Sergio Cabello and Erin W. Chambers Obnoxious Centers in Graphs, Sergio Cabello and Gnter Rote Maximum Matching in Graphs with an Excluded Minor, Raphael Yuster and Uri Zwick Faster Dynamic Matchings and Vertex Connectivity, Piotr Sankowski Efficient Algorithms for computing All Low s-t Edge Connectivities and Related Problems, Ramesh Hariharan, Telikepalli Kavitha, and Debmalya Panigrahi Analytic Combinatorics A Calculus of Discrete Structures, Philippe Flajolet Equilibria in Online Games,Roee Engelberg and Joseph (Seffi) Naor The Approximation Complexity of Win-Lose Games, Xi Chen, Shang-Hua Teng, and Paul Valiant Convergence to Approximat
Soft real-time applications lack a formal methodology for their design optimization. Well-established techniques from hard real-time systems cannot be directly applied to soft real-time applications, without losing ke...
详细信息
ISBN:
(纸本)9781595938114
Soft real-time applications lack a formal methodology for their design optimization. Well-established techniques from hard real-time systems cannot be directly applied to soft real-time applications, without losing key benefits of the soft real-time paradigm. We introduce a statistical analysis framework that is well-suited for discovering opportunities for optimization of soft real-time applications. We demonstrate how programmers can use the analysis provided by our framework to perform aggressive soft real-time design optimizations on their applications. The paper introduces the Context Execution Tree (CET) representation for capturing the statistical properties of function calls in the context of their execution in the program. The CET is constructed from an offline-profile of the application. Statistical measures are coupled with techniques that extract runtime distinguishable call-chains. This combination of techniques is applied to the CET to find statistically significant patterns of activity that i) expose slack in the execution of the application with respect to its soft real-time requirements, and ii) can be predicted with low overhead and high reliability during the normal execution of the application.
The grid computing technology is evolving from the emergence to the stable and production status. In the computational science field the grid computing approach for storage and computing element resource sharing is a ...
详细信息
ISBN:
(纸本)1595937188
The grid computing technology is evolving from the emergence to the stable and production status. In the computational science field the grid computing approach for storage and computing element resource sharing is a common way thanks to middleware as the Globus Toolkit and grid environments as the Condor project. In many domain applications, as environmental science, bioinformatics and interactive multimedia delivery, the shared resource is composed by tagged data and contents instead of hardware components. We provide a grid aware component leveraging on our Resource Broker Service implementing a wrap over the world-wide spread OpenDAP scientific data access protocol, ensuring effective and efficient grid based content distribution, and contributing to the "grand challenge" concerning the development of grid-aware software infrastructure for data intensive environmental applications.
The proceedings contain 128 papers. The topics discussed include: the open network laboratory;thinking, speaking, and writing for freshmen;bridging writing to learn and writing in the discipline in computer science ed...
详细信息
ISBN:
(纸本)9781595932594
The proceedings contain 128 papers. The topics discussed include: the open network laboratory;thinking, speaking, and writing for freshmen;bridging writing to learn and writing in the discipline in computer science education;outcomes-based computing accreditation criteria;teaching a web security course to practice information assurance;developing collaborative skills early in the CS curriculum in a laboratory environment;an active learning approach to teaching the data structures course;virtual classroom pedagogy;an evaluation method of project based learning on software development experiment;XP practices applied to grading;an interdisciplinary undergraduate science informatics degree in a liberal arts context;a comprehensive representation of the computing and information disciplines;learning strategies and undergraduate research;and a model for summer undergraduate research experiences in emerging technologies.
This paper presents a framework to design a shared memory multiprocessor on a programmable platform. We propose a complete flow, composed by a programming model and a template architecture. Our framework permits to wr...
详细信息
ISBN:
(纸本)9781595936059
This paper presents a framework to design a shared memory multiprocessor on a programmable platform. We propose a complete flow, composed by a programming model and a template architecture. Our framework permits to write a parallel application by using a shared memory model. It deals with the consistency of shared data, with no need of hardware coherence protocol, but uses a software model to properly synchronize the local copies with the shared memory image. This idea can be applied both to a scratchpad-based architecture or a cache-based one. The architecture is synthesizable with standard IPs, such as the softcores and interconnect elements, which may be found in any commercial FPGA toolset.
The proceedings contain 25 papers. The topics discussed include: hybrid image-/model-based gaze-contingent rendering;psychophysics for perception of (In)determinate art;psychophysical investigation of facial expressio...
详细信息
ISBN:
(纸本)159593670X
The proceedings contain 25 papers. The topics discussed include: hybrid image-/model-based gaze-contingent rendering;psychophysics for perception of (In)determinate art;psychophysical investigation of facial expressions using computer animated faces;a statistical approach for image difficulty estimation in X-ray screening using image measurements;redesign of classic information visualization techniques in an artistic computing perspective;simulation and optimization of display visibility;cognitive evaluation of uncertainty visualization methods for decision making;incorporating visual attention into mesh simplification techniques;action-based slant perception in real and virtual environments;redundancy reduction in 3D facial motion capture data for animation;perceptual uniformity of contrast scaling in complex images;3D facial expression analysis and deformation;and spatial properties of light fields in natural scenes.
暂无评论