Search by title, author, keywords, etc.

2004

publication

Automatic Verification of Component-Based Real-Time CORBA Applications

Authored by Gabor Madl, Sherif Abdelwahed, and Gabor Karsai
publication

Model-Integrated Computing

Authored by Jonathan Sprinkle
publication

The Flooding Time Synchronization Protocol

Authored by Miklos Maroti, Branislav Kusy, Gyula Simon, and Akos Ledeczi
publication

Embedded Software Composition and Verification

Authored by Peter Volgyesi, Miklos Maroti, Sebestyen Dora, Esteban Osses, Akos Ledeczi, and Tamas Paka
publication

The Directed Flood Routing Framework

Authored by Miklos Maroti
publication

Acoustic Ranging in Resource Constrained Sensor Networks

Authored by Janos Sallai, Gyorgy Balogh, Miklos Maroti, and Akos Ledeczi
publication

Online Hybrid Control for Optimal Resource Management in Advanced Life Support Systems.

Authored by Sherif Abdelwahed, Jian Wu, and Gautam Biswas
publication

Online Hierarchical Fault-Adaptive Control for Advanced Life Support Systems

Authored by Sherif Abdelwahed, Jian Wu, Gautam Biswas, John Ramirez, and Eric Manders
publication

System Diagnosis using Hybrid Failure Propagation Graphs

Authored by Sherif Abdelwahed, Gautam Biswas, and Gabor Karsai
publication

Robust Multi-Hop Time Synchronization in Sensor Networks

Authored by Branislav Kusy, Miklos Maroti, Gyula Simon, and Akos Ledeczi
publication

An improved algorithm for hybrid diagnosis of complex systems

Authored by Sarita Gupta, Gautam Biswas, and John Ramirez
publication

Acoustic Ranging in Resource-Constrained Sensor Networks

Authored by Janos Sallai, Gyorgy Balogh, Miklos Maroti, Akos Ledeczi, and Branislav Kusy
publication

Accuracy Enhancements for TDOA Estimation on Highly Resource Constrained Mobile Platforms

Authored by Kumar Chhokra
publication

WASP: A Radio Geolocation System on Highly Resource Constrained Mobile Platforms

Authored by Kumar Chhokra, Ted Bapty, and Jason Scott
publication

Self optimization in computer systems via online control: application to power management

Authored by Nagarajan Kandasamy, Sherif Abdelwahed, and Sandeep Neema
publication

Online control for resource management in computing systems

Authored by Sherif Abdelwahed, Nagarajan Kandasamy, and Sandeep Neema
publication

Model Based Self Adaptive Behaviour Language Large Scale Real time Embedded Systems

Authored by Shwetta Shetty, Sandeep Neema, and Ted Bapty
publication

Embedded Control Systems Language for Distributed Processing

Authored by Sandeep Neema and Gabor Karsai
publication

Domain Independent Generative Modeling

Authored by Branislav Kusy, Akos Ledeczi, Miklos Maroti, and Peter Volgyesi
publication

Sensor network-based countersniper system

Authored by Gyula Simon, Miklos Maroti, Akos Ledeczi, Gyorgy Balogh, Branislav Kusy, Andras Nadas, Gabor Pap, Janos Sallai, and Ken Frampton
publication

The Flooding Time Synchronization Protocol

Authored by Miklos Maroti, Branislav Kusy, Gyula Simon, and Akos Ledeczi
publication

Towards Generation of High-performance Transformations

Authored by Attila Vizhanyo, Aditya Agrawal, and Feng Shi
publication

Platform Modeling and Model Transformations for Analysis

Authored by Tivadar Szemethy and Gabor Karsai
publication

A MOF-Based Metamodeling Environment

Authored by Matthew Emerson, Janos Sztipanovits, and Ted Bapty
publication

Implementing a MOF-Based Metamodeling Environment Using Graph Transformations

Authored by Matthew Emerson and Janos Sztipanovits
Download CSV