# Computer Engineering Commons™

## All Articles in Computer Engineering

10978 full-text articles. Page 1 of 318.

Extensible Energy Planning Framework For Preemptive Tasks, 2017 University of Pennsylvania

#### Extensible Energy Planning Framework For Preemptive Tasks, Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, Insup Lee

##### Departmental Papers (CIS)

Cyber-physical systems (CSPs) are demanding energy-efficient design not only of hardware (HW), but also of software (SW). Dynamic Voltage and and Frequency Scaling (DVFS) and Dynamic Power Manage (DPM) are most popular techniques to improve the energy efficiency. However, contemporary complicated HW and SW designs requires more elaborate and sophisticated energy management and efficiency evaluation techniques. This paper is concerned about energy supply planning for real-time scheduling systems (units) of which tasks need to meet deadlines. This paper presents a modelbased compositional energy planning technique that computes a minimal ratio of processor frequency that preserves schedulability of independent and preemptive ...

2017 Dublin Institute of Technology

#### Propagating Degrees Of Truth On An Argumentation Framework: An Abstract Account Of Fuzzy Argumentation, Pierpaolo Dondio

##### Conference papers

This paper proposes a computational framework to reason with conflicting and gradual evidence. The framework is a synthesis of Dung’s seminal work in argumentation semantics with multi-valued logic. Abstract grounded semantics is used to identify the conditions under which a conclusion can be accepted, while multi-valued logic operators are used to quantify the degree of truth of such conditions. We propose a truth-compositional recursive computation based on the notion of irrelevant arguments, and we discuss examples using the major multi-valued logics: Godel’s, Zadeh’s and Łukasiewicz's logic.

Automatic Verification Of Finite Precision Implementations Of Linear Controllers, 2017 University of Pennsylvania

#### Automatic Verification Of Finite Precision Implementations Of Linear Controllers, Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee

##### Departmental Papers (CIS)

We consider the problem of verifying finite precision implementation of linear time-invariant controllers against mathematical specifications. A specification may have multiple correct implementations which are different from each other in controller state representation, but equivalent from a perspective of input-output behavior (e.g., due to optimization in a code generator). The implementations may use finite precision computations (e.g. floating-point arithmetic) which cause quantization (i.e., roundoff) errors. To address these challenges, we first extract a controller's mathematical model from the implementation via symbolic execution and floating-point error analysis, and then check approximate input-output equivalence between the extracted model ...

Vcat: Dynamic Cache Management Using Cat Virtualization, 2017 University of Pennsylvania

#### Vcat: Dynamic Cache Management Using Cat Virtualization, Meng Xu, Linh T.X. Phan, Hyon-Young Choi, Insup Lee

##### Departmental Papers (CIS)

This paper presents vCAT, a novel design for dynamic shared cache management on multicore virtualization platforms based on Intel’s Cache Allocation Technology (CAT). Our design achieves strong isolation at both task and VM levels through cache partition virtualization, which works in a similar way as memory virtualization, but has challenges that are unique to cache and CAT. To demonstrate the feasibility and benefits of our design, we provide a prototype implementation of vCAT, and we present an extensive set of microbenchmarks and performance evaluation results on the PARSEC benchmarks and synthetic workloads, for both static and dynamic allocations. The ...

Resilient Linear Classification: An Approach To Deal With Attacks On Training Data, 2017 University of Pennsylvania

#### Resilient Linear Classification: An Approach To Deal With Attacks On Training Data, Sangdon Park, James Weimer, Insup Lee

##### Departmental Papers (CIS)

Data-driven techniques are used in cyber-physical systems (CPS) for controlling autonomous vehicles, handling demand responses for energy management, and modeling human physiology for medical devices. These data-driven techniques extract models from training data, where their performance is often analyzed with respect to random errors in the training data. However, if the training data is maliciously altered by attackers, the effect of these attacks on the learning algorithms underpinning data-driven CPS have yet to be considered. In this paper, we analyze the resilience of classification algorithms to training data attacks. Specifically, a generic metric is proposed that is tailored to measure ...

How Mobile Payment Is Changing The World, 2017 Western Oregon University

#### How Mobile Payment Is Changing The World, Jin Huang

##### Student Theses, Papers and Projects (Computer Science)

People prefer to carry a smartphone which is more convenient than physical credit or debit cards in daily life, and mobile payment is the next step for the business world. This paper introduces several payment methods, such as mobile payment, NFC payment, QR-Code payment, and online banking. The paper researches how such payment methods change the trade and finance field, and their advantages and disadvantages. It describes the influences on the different market players. The study also investigates security, user experience, and business experience of mobile payment, to illustrate how the mobile payment replaces traditional payment methods. Finally, the best ...

2017 Western Oregon University

#### Cloud Computing: Current And Future Impact On Organizations, Yiyun Zhu

##### Student Theses, Papers and Projects (Computer Science)

This project focuses on the business application of cloud computing, both at present and in the future. This investigation aims to assist business users of cloud computing services to improve the perception of cloud computing, to assess the value of their cloud computing service relationships, and to assist in selecting appropriate cloud computing services. This project bases its information on the existing cloud computing technology to clarify the technical aspects of current cloud services and companies. It presents the key elements of conception of cloud computing, its definitions, main service models, and implementation types. Ultimately, this paper analyzes the cons ...

Regulating Robo Advice Across The Financial Services Industry, 2017 University of Pennsylvania Law School

#### Regulating Robo Advice Across The Financial Services Industry, Tom Baker, Benedict G. C. Dellaert

##### Faculty Scholarship

Automated financial product advisors – “robo advisors” – are emerging across the financial services industry, helping consumers choose investments, banking products, and insurance policies. Robo advisors have the potential to lower the cost and increase the quality and transparency of financial advice for consumers. But they also pose significant new challenges for regulators who are accustomed to assessing human intermediaries. A well-designed robo advisor will be honest and competent, and it will recommend only suitable products. Because humans design and implement robo advisors, however, honesty, competence, and suitability cannot simply be assumed. Moreover, robo advisors pose new scale risks that are different ...

2017 Long Island University

#### Funny Games - A Definition For And Study Of Comic Videogames, Eric Guardara

##### Post & Beyond

In this project, I define the genre of Comic Games and discuss its categorical independence of other genres. Until now, this genre has not been clearly defined in the videogame medium. I have conducted research and compiled games that are generally accepted as being humorous. I then weeded out games that simply contain humor and categorized the remaining works that are at their core Comic Games. Comic Games are those whose primary and prolonged purpose are to evoke laughter from the user. This is different than humorous games that passively include humor. A Comic Game is one that is predominantly ...

Vistics, 2017 Long Island University

#### Vistics, Scott Tongue

##### Post & Beyond

Vistics is a 2.5D platformer game for virtual reality devices such as the Oculus Rift. One of the major software goals in the Vistics design is to reduce the effects of simulation sickness in virtual reality devices. On the technical side, Vistics needs to achieve a low enough rendering time that matches the refresh rate of the device of the Oculus Rift - 90 Hz (also known as 90 frames per seconds). Additionally, the camera in the game must be capable of updating in under 16ms. This means that when the user changes their head position in the real world ...

Autonomous Uav Navigation In An Indoor Environment For Warehouse Inventory Recording, 2017 University of Nebraska at Omaha

#### Autonomous Uav Navigation In An Indoor Environment For Warehouse Inventory Recording, Venkat Ramana Reddy Garlapati

##### Student Research and Creative Activity Fair

UAV’s are currently used extensively in outdoor environments for various applications, including wildfire monitoring, and agricultural surveying, their use in indoor applications have been fairly restricted, owing mainly to the difficulty to maneuver them in smaller indoor spaces and the inability to use GPS-based navigation system. Nevertheless, there are many indoor applications where UAVs could provide a safe, reliable and resilient means to perform operations that are dangerous for humans such as surveillance inside chemical plants, inventory scanning in cold storages etc., Autonomous UAV navigation in an indoor environment can be achieved by finding a collision-free flight path to ...

2017 University of Nebraska at Omaha

#### A Hierarchical Learning Model For Extracting Public Health Data From Social Media, Elham Rastegari

##### Student Research and Creative Activity Fair

In decision making processes, particularly when it comes to health-related decisions, each relevant piece of information is important. This is particularly important when it comes to health conditions for which there remains a high degree of non-determinism as far as diagnosis and treatment. Online social media, are places in which people feel free to share their opinions about numerous topics, including public health issues and how individuals have responded to different types of treatments associated with diseases. social media could represent a secondary source that can be used as a supplement to other data sources. This would allow individuals as ...

Session D-3: Robotics Programming Using Java, 2017 Illinois Mathematics and Science Academy

#### Session D-3: Robotics Programming Using Java, Pat Patankar

##### Professional Learning Day

I will discuss how to program NXT kit with various sensors using Java programming language.

Android Mobile Application For Hospital Executives, 2017 California State University - San Bernardino

#### Android Mobile Application For Hospital Executives, Vihitha Nalagatla

##### Electronic Theses, Projects, and Dissertations

Hospitals are the largest and most complex organizations where health care is provided. Safe and effective patient care services in hospitals depend on the efficient decisions made by hospital executives. The main task of hospital executives is to ensure the hospital can provide high quality patient care and services. “Android Mobile Application For Hospital Executives” is an Android application used for displaying hospital performance metrics on a daily basis. This application allows hospital executives to review and monitor hospital operational data with ease of access and in a portable manner. Thus, reducing the effort of the hospital executives to perform ...

2017 California State University, San Bernardino

#### Automatic Generation Of Web Applications And Management System, Yu Zhou

##### Electronic Theses, Projects, and Dissertations

One of the major difficulties in web application design is the tediousness of constructing new web pages from scratch. For traditional web application projects, the web application designers usually design and implement web application projects step by step, in detail. My project is called “automatic generation of web applications and management system.” This web application generator can generate the generic and customized web applications based on software engineering theories. The flow driven methodology will be used to drive the project by Business Process Model Notation (BPMN). Modules of the project are: database, web server, HTML page, functionality, financial analysis model ...

Technical Report: Control Using The Smooth Robustness Of Temporal Logic, 2017 University of Pennsylvania

#### Technical Report: Control Using The Smooth Robustness Of Temporal Logic, Yash Vardhan Pant, Houssam Abbas, Rahul Mangharam

##### Real-Time and Embedded Systems Lab (mLAB)

Cyber-Physical Systems must withstand a wide range of errors, from bugs in their software to attacks on their physical sensors. Given a formal specification of their desired behavior in Metric Temporal Logic (MTL), the robust semantics of the specification provides a notion of system robustness that can be calculated directly on the output behavior of the system, without explicit reference to the various sources or models of the errors. The robustness of the MTL specification has been used both to verify the system offline (via robustness minimization) and to control the system online (to maximize its robustness over some horizon ...

Using Supervised Learning To Compensate For High Latency In Planetary Exploration, 2017 North Dakota State University--Fargo

#### Using Supervised Learning To Compensate For High Latency In Planetary Exploration, Andrew Jones, Jeremy Straub

##### Jeremy Straub

Planetary exploration utilizes orbital, aerial, surface and potentially sub-surface vehicles at remote locations. At present, many of these vehicles must be teleoperated or commanded from Earth, requiring data to be transmitted over significant distances (taking several minutes or longer). This problem gets progressively more pronounced as vehicles are operated further and further from the Earth. While missions to send humans to deep space and increased autonomy both prospectively present partial solutions to this challenge, human controllers may wish to operate the vehicle with an experience more akin to in-situ exploration.

Typically, using remotely operated vehicles for exploring planets entails dealing ...

Regulating By Robot: Administrative Decision Making In The Machine-Learning Era, 2017 University of Pennsylvania Law School

#### Regulating By Robot: Administrative Decision Making In The Machine-Learning Era, Cary Coglianese, David Lehr

##### Faculty Scholarship

Machine-learning algorithms are transforming large segments of the economy, underlying everything from product marketing by online retailers to personalized search engines, and from advanced medical imaging to the software in self-driving cars. As machine learning’s use has expanded across all facets of society, anxiety has emerged about the intrusion of algorithmic machines into facets of life previously dependent on human judgment. Alarm bells sounding over the diffusion of artificial intelligence throughout the private sector only portend greater anxiety about digital robots replacing humans in the governmental sphere. A few administrative agencies have already begun to adopt this technology, while ...

Relaxed Decidability And The Robust Semantics Of Metric Temporal Logic, 2017 University of Pennsylvania

#### Relaxed Decidability And The Robust Semantics Of Metric Temporal Logic, Houssam Abbas, Matthew O'Kelly, Rahul Mangharam

##### Real-Time and Embedded Systems Lab (mLAB)

Relaxed notions of decidability widen the scope of automatic verification of hybrid systems. In quasi-decidability and $\delta$-decidability, the fundamental compromise is that if we are willing to accept a slight error in the algorithm's answer, or a slight restriction on the class of problems we verify, then it is possible to obtain practically useful answers. This paper explores the connections between relaxed decidability and the robust semantics of Metric Temporal Logic formulas. It establishes a formal equivalence between the robustness degree of MTL specifications, and the imprecision parameter $\delta$ used in $\delta$-decidability when it is used to ...

Women In It: Be The Change, 2017 University of Nebraska-Lincoln

#### Women In It: Be The Change, Marcia L. Dority Baker

##### Publications from Information Technology Services

The influence of established women in IT — specifically Florence Hudson and Melissa Woo — encouraged a librarian to apply for a position in Information Technology Services at the University of Nebraska–Lincoln.

A hands-on approach to planning the IT Leadership conference developed a strong collaborative network that also helped grow attendance.

Paying attention to the pros and cons of the 2016 conference guided the planners in modifying their approach to the upcoming October 2017 conference and its focus on diversity and inclusion.

A main goal for future IT Leadership conferences focusing on women and diversity in IT is providing attendees with ...