Explore a selection of works produced by the Department of Computer Science at Michigan Technological University.

Follow

Submissions from 2014

Link

If you're angry, turn the music on: Music can mitigate anger effects on driving performance, Maryam FakhrHosseini, Steven Landry, Yin Yin Tan, Saru Bhattarai, and Myounghoon Jeon

Link

“Listen2dRoom”: Helping visually impaired people navigate indoor environments using an ultrasonic sensor-based orientation aid, Maryam FakhrHosseini, Andreas Riener, Rahul Bose, and Myounghoon Jeon

Link

FPAvisual: A tool for visualizing the effects of floating-point finite-precision arithmetic, Yi Gu, Nilufer Onder, Ching-Kuang Shene, and Chaoli Wang

Link

Evaluating the effect of faults in SystemC TLM models using UPPAAL, Reza Hajisheykhi, Ali Ebnenasir, and Sandeep S. Kulkarni

Link

Advanced vehicle Sonification applications, Myounghoon Jeon

Link

Constructing the immersive interactive Sonification platform (iISoP), Myounghoon Jeon, Michael T. Smith, James Walker, and Scott A. Kuhl

Link

Design and evaluation of Lyricons (Lyrics + Earcons) for semantic and aesthetic improvements of auditory cues, Myounghoon Jeon and Yuanjing Sun

PDF

Anger effects on driver situation awareness and driving performance, Myounghoon Jeon, Bruce N. Walker, and Thomas M. Gable

Link

Effects of specific emotions on subjective judgment, driving performance, and perceived workload, Myounghoon Jeon, Bruce N. Walker, and Jung-Bin Yim

Link

On the hardness of adding nonmasking fault tolerance, Alex Klinkhamer and Ali Ebnenasir

Link

Synthesizing self-stabilization through superposition and backtracking, Alex Klinkhamer and Ali Ebnenasir

Link

SHAvisual: A secure hash algorithm visualization tool, Jun Ma, Jun Tao, Melissa Karanen, Jean Mayo, Ching-Kuang Shene, and Chaoli Wang

Link

Autonomous power distribution system, Barzin Moridian, Daryl Bennett, Nina Mahmoudian, Wayne Weaver, and Rush D. Robinett III

Link

Prototype auditory displays for a fuel efficiency driver interface, Michael A. Nees, Thomas M. Gable, Myounghoon Jeon, and Bruce N. Walker

Link

Special issue on “The social car: socially-inspired mechanisms for future mobility services”, Andreas Riener, Myounghoon Jeon, Ignacio Alvarez, and Franco Zambonelli

Link

Special Issue: Subliminal/Unaware cues and perception of presence in virtual, telepresence, and automotive environments, Andreas Riener, Myounghoon Jeon, and Miriam Riener

Link

Auditory emoticons: Iterative design and acoustic characteristics of emotional auditory icons and Earcons, Jason Sterkenburg, Myounghoon Jeon, and Christopher Plummer

Link

A generalized fuzzy t-norm formulation of fuzzy modularity for community detection in social networks, Jianhai Su and Timothy C. Havens

Link

FlowString: Partial streamline matching using shape invariant similarity measure for exploratory flow visualization, Jun Tao, Chaoli Wang, and Ching-Kuang Shene

Link

How emotions influence trust in online transactions using new technology, Catherine Tislar, Jason Sterkenburg, Wei Zhang, and Myounghoon Jeon

Link

Copper country programmers: a novel curriculum for beginning programmers in middle and high school (abstract only), Leo C. Ureel II, John Earnest, and Charles Wallace

Works from 2013

Link

Impact of ignition energy phasing and spark gap on combustion in a homogenous direct injection gasoline SI engine near the EGR limit, Wei Chen, Daniel Madison, Paul Dice, Jeffrey Naber, Bo Chen, Scott Miers, Michael Czekala, Chris Glugla, Qiuping Qu, and Garlan Huberts

Link

Modeling and analyzing timing faults in transaction level SystemC programs, Reza Hajisheykhi, Ali Ebnenasir, and Sandeep S. Kulkarni

Link

Detection of drivers’ incidental and integral affect using physiological measures, Samantha Jansen, Abbey Westphal, Myounghoon Jeon, and Andreas Riener

Link

Lyricons (Lyrics + Earcons): Designing a new auditory cue combining speech and sounds, Myounghoon Jeon

Link

The ecological AUI (Auditory User Interface) design and evaluation of user acceptance for various tasks on smartphones, Myounghoon Jeon and Lee Ju-Hwan

Link

Necessity of Vehicle to Rail Infrastructure Communication for Grade Crossing Warning & Safety, Myounghoon Jeon and Pasi T. Lautala

Link

Science or art? “Sonification in the age of biocybernetics reproduction”: A case study of the accessible aquarium project, Myounghoon Jeon, Bruce N. Walker, and Carrie M. Bruce

Link

Designing interactive sonification for live aquarium exhibits, Myounghoon Jeon, Riley J. Winton, Ashley Henry, Sanghun Oh, Carrie M. Bruce, and Bruce N. Walker

Link

Sadder but Wiser? Effects of negative emotions on risk perception, driving performance, and perceived workload, Myounghoon Jeon and Wei Zhang

Link

On the complexity of adding convergence, Alex Klinkhamer and Ali Ebnenasir

Link

Verifying livelock freedom on parameterized rings and chains, Alex Klinkhamer and Ali Ebnenasir

Link

Construction schedule simulation for improved project planning: Activity criticality index assessment, Pei Tang, Amlan Mukherjee, and Nilufer Onder

Link

Using an interactive schedule simulation platform to assess and improve contingency management strategies, Pei Tang, Amlan Mukherjee, and Nilufer Onder

Link

Towards eliminating memory virtualization overhead, Xiaolin Wang, Lingmei Weng, Zhenlin Wang, and Yingwei Luo

Works from 2012

Link

Facilitating the design of fault tolerance in transaction level SystemC programs, Ali Ebnenasir, Reza Hajisheykhi, and Sandeep S. Kulkarni

Link

A systematic approach to using music for mitigating affective effects on driving performance and safety, Myounghoon Jeon

Link

Cross-cultural differences in the use of in-vehicle technologies and vehicle area network services: Austria, USA, and South Korea, Myounghoon Jeon, Andreas Riener, Lee Ju-Hwan, Jonathan Schuett, and Bruce N. Walker

Link

The role of subliminal perception in vehicular interfaces, Andreas Riener and Myounghoon Jeon

Link

“The Social Car”: Workshop on socially-inspired C2X interaction, Andreas Riener, Myounghoon Jeon, Andrea Gaggioli, and Anind K. Dey

Link

Yes, Free Parking Lot App, No, Invisible Health Check App in My Car”: Young drivers’ needs analysis on vehicle area network services, Andreas Riener, Myounghoon Jeon, Andrea Gaggioli, and Anind K. Dey

Link

Methodical approaches to prove the effects of subliminal perception in ubiquitous computing environments, Andreas Riener, Miriam Riener, Myounghoon Jeon, and Pierre Chalfoun

Link

Discovering patterns for architecture simulation by using sequence mining, Pinar Senkul, Nilufer Onder, Soner Onder, Engin Maden, and Hui Meen Nyew

Link

Dynamic cache partitioning based on hot page migration, Xiaolin Wang, Xiang Wen, Yechen Li, Zhenlin Wang, Yingwei Luo, and Xiaoming Li

Works from 2011

PDF

Information theory in scientific visualization, Chaoli Wang and Han-Wei Shen

Works from 2010

Link

DMM: A dynamic memory mapping model for virtual machines, Hao Gang Chen, Xiao Lin Wang, Zhenlin Wang, Bin Bin Zhang, Ying Wei Luo, and Xiao Ming Li

Link

Unrestricted code motion: A program representation and transformation algorithms based on future values, Shuhan Ding and Soner Onder

Link

Developing construction management events in situational simulations, Carrie S. Dossick, Amlan Mukherjee, Eddy M. Rojas, and Corey Tebo

Link

A study of hierarchical correlation clustering for scientific volume data, Yi Gu and Chaoli Wang

Link

Abstract state machines and the inquiry process, James K. Huggins and Charles Wallace

Link

Strategy optimization and generation for construction project management using an interactive simulation, Pei Tang, Amlan Mukherjee, and Nilufer Onder

Link

Studying dynamic decision-making in construction management using adaptive interactive simulations, Pei Tang, Amlan Mukherjee, and Nilufer Onder

Link

A multipurpose simulation platform for decision-making in construction management, Corey Tebo, Amlan Mukherjee, and Nilufer Onder

Link

Making and acting: Ethnographic development of a case study approach, Thomas Vosecky, Marika Seigel, and Charles Wallace

Link

Dynamic memory paravirtualization transparent to guest OS, Xiao Lin Wang, Yi Feng Sun, Ying Wei Luo, Zhenlin Wang, Yu Li, Bin Bin Zhang, Hao Gang Chen, and Xiao Ming Li

Link

Fast booting many similar virtual machines, Xiaolin Wang, Zhenlin Wang, Shuang Liang, Zhengyi Zhang, Yingwei Luo, and Xiaoming Li

Link

Detection of a weak conjunction of unstable predicates in dynamic systems, Xinli Wang, Jean Mayo, and Guy Hembroff

Link

Evaluating and optimizing I/O virtualization in kernel-based virtual machine (KVM), Binbin Zhang, Xiaolin Wang, Rongfeng Lai, Liang Yang, Zhenlin Wang, Yingwei Luo, and Xiaoming Li

Works from 2009

Link

Traversing and querying constraint driven temporal networks to estimate construction contingencies, G. Ryan Anderson, Amlan Mukherjee, and Nilufer Onder

Link

Speaking of Software: Case Studies in Software Communication, Ann Brady, Marika Seigel, Thomas Vosecky, and Charles Wallace

Link

Research methods associated with situational simulations in construction, Amlan Mukherjee, Nilufer Onder, and Eddy M. Rojas

Link

Modeling the difficulty for centering rectangles in one and two dimensions, Robert Pastel

Link

Detection of conjunctive stable predicates in dynamic systems, Xinli Wang, Jean Mayo, Guy Hembroff, and Chunming Gao

Link

Using agent-based modeling to study construction labor productivity as an emergent property of individual and crew interactions, Matt Watkins, Amlan Mukherjee, Nilufer Onder, and Kris G. Mattila

Works from 2008

Link

MuON: Epidemic based mutual anonymity in unstructured P2P networks, Neelesh Bansod, Ashish Malgi, Byung K. Choi, and Jean Mayo

Link

FTSyn: A framework for automatic synthesis of fault-tolerance, Ali Ebnenasir, Sandeep S. Kulkarni, and Anish Arora

Link

ADL++: object-oriented specification of complicated instruction sets and microarchitectures, Soner Onder

Link

Using situational simulations to collect and analyze dynamic construction management decision-making data, Matt Watkins, Amlan Mukherjee, and Nilufer Onder

Works from 2007

Link

Expecting the unexpected: Representing, reasoning about, and assessing construction project contingencies, G. Ryan Anderson, Nilufer Onder, and Amlan Mukherjee

Link

A pattern-based approach for modeling and analyzing error recovery, Ali Ebnenasir and Betty H.C. Cheng

Link

RFID cards: A new deal for elderly accessibility, Robert Pastel, Charles Wallace, and Jesse Heines

Works from 2006

Link

Stable predicate detection in dynamic systems, Donald Darling, Jean Mayo, and Xinli Wang

Link

Path-based reuse distance analysis, Changpeng Fang, Steve Carr, Soner Onder, and Zhenlin Wang

Link

Simulations of vortex evolution and phase slip in oscillatory potential flow of the superfluid component of < sup> 4 He through an aperture, J. A. Flaten, C. T. Borden, C. A. Lindensmith, and W. Zimmermann

Link

Can abstract state machines be useful in language theory?, Yuri Gurevich and Charles Wallace

Link

Sink tree-based bandwidth allocation for scalable QoS flow set-up, James Lembke and Byung K. Choi

Link

Computational optimization of split injections and EGR in a diesel engine using an adaptive gradient-based algorithm, Seshasai Srinivasan, Franz X. Tanner, Jan MacEk, and Milos Polacek

Link

Gradient-based optimization of a multi-orifice asynchronous injection system in a diesel engine using an adaptive cost function, Franz X. Tanner and Seshasai Srinivasan

Works from 2005

Link

MuON: epidemic based mutual anonymity, Neelesh Bansod, Ashish Malgi, Byung K. Choi, and Jean Mayo

Link

Fast branch misprediction recovery in out-of-order superscalar processors, Peng Zhou, Soner Onder, and Steven Carr

Works from 2004

Link

Specification of intel IA-32 using an architecture description language, Jeff Bastian and Soner Onder

Link

Reuse-distance-based miss-rate prediction on a per instruction basis, Changpeng Fang, Steven Carr, Soner Onder, and Zhenlin Wang

Works from 2003

Link

A unified formal specification and analysis of the new Java memory models, Varsha Awhad and Charles Wallace

Link

ThreadMentor: a pedagogical tool for multithreaded programming, Steven Carr, Jean Mayo, and Ching-Kuang Shene

Link

An experimental evaluation of scalar replacement on scientific benchmarks, Steve Carr and Philip Sweany

Link

Teaching ASMs, teaching with ASMs: Opportunities in undergraduate education, James Huggins, Jean Mayo, and Charles Wallace

Link

Cost effective memory dependence prediction using speculation levels and color sets, Soner Onder

Works from 2002

Link

Channels, visualization, and topology editor, Steven Carr, Ping Chen, Timothy R. Jozwowski, Jean Mayo, and Ching-Kuang Shene

Link

A communication library to support concurrent programming courses, Steven Carr, Changpeng Fang, Timothy R. Jozwowski, Jean Mayo, and Ching-Kuang Shene

Link

Power-adaptive microarchitecture and compiler design for mobile computing, Rajiv Gupta, Santosh Pande, and Soner Onder

Link

Dynamic memory disambiguation in the presence of out-of-order store issuing, Soner Onder and R. Gupta

Caching and predicting branch sequences for improved fetch effectiveness, Soner Onder, Jun Xu, and R. Gupta

Link

Optimizing static power dissipation by functional units in superscalar processors, Siddharth Rele, Santosh Pande, Soner Onder, and Rajiv Gupta

Works from 2001

Link

Improving software pipelining by hiding memory latency with combined loads and prefetches, Michael Bedy, Steve Carr, Soner Onder, and Philip Sweany

Link

Instruction wake-up in wide issue superscalars, Soner Onder and Rajiv Gupta

Link

Load and store reuse using register file contents, Soner Onder and Rajiv Gupta

Link

Positive Numerical Integration Methods for Chemical Kinetic Systems, Adrian Sandu

Link

An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol, Charles Wallace, Guy Tremblay, and Jose N. Amaral

Works from 2000

Link

Adjoint Implementation of Rosenbrock Methods Applied to Variational Data Assimilation Problems, Dacian Daescu, Gregory R. Carmichael, and Adrian Sandu

Link

Caching and predicting branch sequences for improved fetch effectiveness, Soner Onder, Jun Xu, and R. Gupta