Research

cs580Lib Project

Focused on designing Maple objects that support research and instruction in formal languages and automata theory. [more]
By: Thomas Piatkowski, J. Donald Nelson

Data Projection and Visual Exploration

Large relational data are the primary sources of data in the real world. The analysis, exploration, and walk-through of large relational data have practical applications in many areas. [more]
By: Li Yang

Object-Oriented Development & Analysis

When the Unified Modeling Language models designed by developers from different fields become so complicated, it is really hard for developers to manually find any inconsistencies among these models. Our utmost research goal is to build some automatic tools which relieve software developers' pain in finding inconsistencies/errors in software models. [more]
By: Wuwei Shen

Opportunistic Networks (Class 2)

Oppnets leverage their capabilities by exploiting the wealth of pervasive devises that are within their reach, crossing hardware, software, and communication barriers to produce extra computing power. [more]
By: Leszek Lilien

Parallel Multivariate Integration

New techniques in the distributed computing of multivariate integrals require a user-friendly software interface. [more]
By: Elise de Doncker, Karlis Kaugars

Smart Wireless Sensor Networks

Cutting-edge research in designing, developing and implementing smart wireless sensor network systems for various pharmaceutical, military, environmental and commercial applications. [more]
By: Ajay Gupta

Software Verification

Software is increasingly becoming the vehicle of modern civilization, playing a crucial role in our society. Consequently, the problem of making software reliable has become one of today’s most important challenges. Studies estimate that bugs in software cost businesses worldwide about $175 billion annually. In addition, software failures can lead to loss of life in safety-critical systems such as airbag-deployment systems and aircraft collision-avoidance systems. Our research aims to develop practical tools and methodologies that can ensure reliability of software systems. [more]
By: Zijiang (James) Yang

TOP