scholarly journals Accelerator-level parallelism

2021 ◽  
Vol 64 (12) ◽  
pp. 36-38
Author(s):  
Mark D. Hill ◽  
Vijay Janapa Reddi
Keyword(s):  
Computer Scientists ◽  
Level Parallelism

Charging computer scientists to develop the science needed to best achieve the performance and cost goals of accelerator-level parallelism hardware and software.

The socialization of context: methodologies for hypertext

1998 ◽  
Vol 10 (1-3) ◽  
pp. 124-131
Author(s):  
Lynette Hunter
Keyword(s):  
Computer Scientists

This essay focusses on the central intellectual challenges of hypermedia especially the extent to which hypermedia is at authorative stage, its rhetoric as yet undeveloped, the forms of publication in their infancy, and above all focussed mainly on text. The challenge in accepting the implications of textuality seems to lie with the computer scientists. Can they take cognisance of discourse beyond the glass womb?

Formal Verification of Control System Software

2019 ◽  
Author(s):  
Pierre-Loïc Garoche
Keyword(s):  
Control System ◽  
Formal Verification ◽  
Formal Analysis ◽  
Critical Systems ◽  
System Software ◽  
Unified Approach ◽  
Verification Methods ◽  
Autonomous Cars ◽  
Computer Scientists ◽  
Verification Techniques

The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. This book provides control engineers and computer scientists with an introduction to the formal techniques for analyzing and verifying this important class of software. Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. The book provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. It presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software. As the autonomy of critical systems continues to increase—as evidenced by autonomous cars, drones, and satellites and landers—the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.

SAYCam: A large, longitudinal audiovisual dataset recorded from the infant’s perspective

2020 ◽  
Author(s):  
Jess Sullivan ◽  
Michelle Mei ◽  
Andrew Perfors ◽  
Erica H Wojcik ◽  
Michael C. Frank
Keyword(s):  
Child Perspective ◽  
Computer Scientists ◽  
Longitudinal Dataset

We introduce a new resource: the SAYCam corpus. Infants aged 6-32 months wore a head-mounted camera for approximately 2 hours per week, over the course of approximately two and a half years. The result is a large, naturalistic, longitudinal dataset of infant- and child-perspective videos. Over 200,000 words of naturalistic speech have already been transcribed. Similarly, the dataset is searchable using a number of criteria (e.g., age of participant, location, setting, objects present). The resulting dataset will be of broad use to psychologists, linguists, and computer scientists.

Unique views on obesity-related behaviors and environments: research using still and video images (Preprint)

2018 ◽  
Author(s):  
Jordan Carlson ◽  
J. Aaron Hipp ◽  
Jacqueline Kerr ◽  
Todd Horowitz ◽  
David Berrigan
Keyword(s):  
Physical Activity ◽  
Ethical Issues ◽  
Data Extraction ◽  
Dietary Assessment ◽  
Extraction Methods ◽  
Image Capture ◽  
Still Images ◽  
Key Informants ◽  
Technological Advances ◽  
Computer Scientists

BACKGROUND Image based data collection for obesity research is in its infancy. OBJECTIVE The present study aimed to document challenges to and benefits from such research by capturing examples of research involving the use of images to assess physical activity- or nutrition-related behaviors and/or environments. METHODS Researchers (i.e., key informants) using image capture in their research were identified through knowledge and networks of the authors of this paper and through literature search. Twenty-nine key informants completed a survey covering the type of research, source of images, and challenges and benefits experienced, developed specifically for this study. RESULTS Most respondents used still images in their research, with only 26.7% using video. Image sources were categorized as participant generated (N = 13; e.g., participants using smartphones for dietary assessment), researcher generated (N = 10; e.g., wearable cameras with automatic image capture), or curated from third parties (N = 7; e.g., Google Street View). Two of the major challenges that emerged included the need for automated processing of large datasets (58.8%) and participant recruitment/compliance (41.2%). Benefit-related themes included greater perspectives on obesity with increased data coverage (34.6%) and improved accuracy of behavior and environment assessment (34.6%). CONCLUSIONS Technological advances will support the increased use of images in the assessment of physical activity, nutrition behaviors, and environments. To advance this area of research, more effective collaborations are needed between health and computer scientists. In particular development of automated data extraction methods for diverse aspects of behavior, environment, and food characteristics are needed. Additionally, progress in standards for addressing ethical issues related to image capture for research purposes are critical. CLINICALTRIAL NA

Parallel Computing Using the Prefix Problem

1994 ◽  
Author(s):  
S. Lakshmivarahan ◽  
Sudarshan K. Dhall
Keyword(s):  
Parallel Computing ◽  
Parallel Algorithms ◽  
Parallel Programming ◽  
Building Blocks ◽  
Efficient Solutions ◽  
Computer Scientists ◽  
Important Approach

The prefix operation on a set of data is one of the simplest and most useful building blocks in parallel algorithms. This introduction to those aspects of parallel programming and parallel algorithms that relate to the prefix problem emphasizes its use in a broad range of familiar and important problems. The book illustrates how the prefix operation approach to parallel computing leads to fast and efficient solutions to many different kinds of problems. Students, teachers, programmers, and computer scientists will want to read this clear exposition of an important approach.

A compiler framework for extracting superword level parallelism

2012 ◽  
Vol 47 (6) ◽  
pp. 347-358 ◽  
Author(s):  
Jun Liu ◽  
Yuanrui Zhang ◽  
Ohyoung Jang ◽  
Wei Ding ◽  
Mahmut Kandemir
Keyword(s):  
Compiler Framework ◽  
Level Parallelism

Managing exactness and vagueness in computer science work: Programming and self-repair in meetings

2021 ◽  
pp. 030631272110109
Author(s):  
Ole Pütz
Keyword(s):  
Computer Science ◽  
Human Agency ◽  
Computer Algorithms ◽  
External Stakeholders ◽  
Computer Scientists ◽  
Self Repair

The formulation of computer algorithms requires the elimination of vagueness. This elimination of vagueness requires exactness in programming, and this exactness can be traced to meeting talk, where it intersects with the indexicality of expressions. This article is concerned with sequences in which a team of computer scientists discuss the functionality of prototypes that are already implemented or possibly to be implemented. The analysis focuses on self-repair because this is a practice where participants can be seen to orient to meanings of different expressions as alternatives. By using self-repair, the computer scientists show a concern with exact descriptions when they talk about existing functionality of their prototypes but not when they talk about potential future functionality. Instead, when participants talk about potential future functionality and attend to meanings during self-repair, they use vague expressions to indicate possibilities. Furthermore, when the computer scientists talk to external stakeholders, they indicate through hedges whenever their descriptions approximate already implemented technical functionality but do not describe it exactly. The article considers whether the code of working prototypes can be said to fix meanings of expressions and how we may account for human agency and non-human resistances during development.

scholarly journals Microarchitectural Characterization on a Mobile Workload

2021 ◽  
Vol 11 (3) ◽  
pp. 1225
Author(s):  
Woohyong Lee ◽  
Jiyoung Lee ◽  
Bo Kyung Park ◽  
R. Young Chul Kim
Keyword(s):  
Performance Monitoring ◽  
Performance Metrics ◽  
Performance Comparison ◽  
Instruction Level Parallelism ◽  
Data Set ◽  
Performance Events ◽  
Hardware Performance Counters ◽  
On Chip ◽  
The Comparative Study ◽  
Level Parallelism

Geekbench is one of the most referenced cross-platform benchmarks in the mobile world. Most of its workloads are synthetic but some of them aim to simulate real-world behavior. In the mobile world, its microarchitectural behavior has been reported rarely since the hardware profiling features are limited to the public. As a popular mobile performance workload, it is hard to find Geekbench’s microarchitecture characteristics in mobile devices. In this paper, a thorough experimental study of Geekbench performance characterization is reported with detailed performance metrics. This study also identifies mobile system on chip (SoC) microarchitecture impacts, such as the cache subsystem, instruction-level parallelism, and branch performance. After the study, we could understand the bottleneck of workloads, especially in the cache sub-system. This means that the change of data set size directly impacts performance score significantly in some systems and will ruin the fairness of the CPU benchmark. In the experiment, Samsung’s Exynos9820-based platform was used as the tested device with Android Native Development Kit (NDK) built binaries. The Exynos9820 is a superscalar processor capable of dual issuing some instructions. To help performance analysis, we enable the capability to collect performance events with performance monitoring unit (PMU) registers. The PMU is a set of hardware performance counters which are built into microprocessors to store the counts of hardware-related activities. Throughout the experiment, functional and microarchitectural performance profiles were fully studied. This paper describes the details of the mobile performance studies above. In our experiment, the ARM DS5 tool was used for collecting runtime PMU profiles including OS-level performance data. After the comparative study is completed, users will understand more about the mobile architecture behavior, and this will help to evaluate which benchmark is preferable for fair performance comparison.

Sign in / Sign up

Export Citation Format

Share Document