|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 15 keywords
|
|
|
|
|
Results
Found 35 publication records. Showing 35 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Zhihao Jiang, Miroslav Pajic, Rahul Mangharam |
Cyber-Physical Modeling of Implantable Cardiac Medical Devices.  |
Proceedings of the IEEE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam |
Modeling and Verification of a Dual Chamber Implantable Pacemaker.  |
TACAS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam |
Closing the loop: a simple distributed method for control over wireless networks.  |
IPSN  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam |
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study.  |
IEEE Real-Time and Embedded Technology and Applications Symposium  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam |
The Wireless Control Network: A New Approach for Control Over Networks.  |
IEEE Trans. Automat. Contr.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Truong Nghiem, Madhur Behl, Rahul Mangharam, George J. Pappas |
Green scheduling of control systems for peak demand reduction.  |
CDC-ECE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam |
Topological conditions for wireless control networks.  |
CDC-ECE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Utsav Drolia, Zhenyan Wang, Srinivas Vemuri, Madhur Behl, Rahul Mangharam |
Demo abstract: AutoPlug - An automotive test-bed for ECU testing, validation and verification.  |
IPSN  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Zhihao Jiang, Miroslav Pajic, Rahul Mangharam |
Demo abstract: Closed-loop testing for implantable cardiac pacemakers.  |
IPSN  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Madhur Behl, Mansimar Aneja, Harsh Jain, Rahul Mangharam |
EnRoute: An energy router for energy-efficient buildings.  |
IPSN  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Miroslav Pajic, Shreyas Sundaram, Mansimar Aneja, Srinivas Vemuri, Rahul Mangharam, George J. Pappas |
Architecture for a fully distributed Wireless Control Network.  |
IPSN  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Paul Martin, William Etter, Rahul Mangharam |
Demo abstract: R.A.V.E.N. - Remote autonomous vehicle explorer network.  |
IPSN  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Rahul Mangharam, Aminreza Abrahimi Saba |
Anytime Algorithms for GPU Architectures.  |
RTSS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheng Li, Pei-Chi Huang, Aloysius K. Mok, Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam |
On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem.  |
RTSS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Pajic, Rahul Mangharam |
Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks.  |
EURASIP J. Wireless Comm. and Networking  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam |
A platform for implantable medical device validation: demo abstract.  |
Wireless Health  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam |
The Wireless Control Network: Synthesis and robustness.  |
CDC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shreyas Sundaram, Miroslav Pajic, Christoforos N. Hadjicostis, Rahul Mangharam, George J. Pappas |
The wireless control network: Monitoring for malicious behavior.  |
CDC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam |
Real-Time Heart Model for Implantable Cardiac Device Validation and Verification.  |
ECRTS  |
2010 |
DBLP DOI BibTeX RDF |
sotware validation, real-time systems, formal verification, safety-critical systems, cyber-physical systems, Medical Devices, pacemaker |
| 1 | Miroslav Pajic, Zhihao Jiang, Allison Connolly, Sanjay Dixit, Rahul Mangharam |
A platform for implantable medical device validation.  |
IPSN  |
2010 |
DBLP DOI BibTeX RDF |
real-time systems, validation, cyber-physical systems, medical devices |
| 1 | Miroslav Pajic, Rahul Mangharam |
Embedded Virtual Machines for Robust Wireless Control and Actuation.  |
IEEE Real-Time and Embedded Technology and Applications Symposium  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Mangharam, Miroslav Pajic |
Embedded Virtual Machines for Robust Wireless Control Systems.  |
ICDCS Workshops  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Pajic, Rahul Mangharam |
Anti-jamming for embedded wireless networks.  |
IPSN  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Mangharam, Miroslav Pajic, Shivakumar Sastry |
Demo abstract: Embedded Virtual Machines for wireless industrial automation.  |
IPSN  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofie Pollin, Rahul Mangharam, Bruno Bougard, Liesbet Van der Perre, Ingrid Moerman, Ragunathan Rajkumar, Francky Catthoor |
MEERA: Cross-Layer Methodology for Energy Efficient Resource Allocation in Wireless Networks.  |
IEEE Transactions on Wireless Communications  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Rowe, Rahul Mangharam, Raj Rajkumar |
RT-Link: A global time-synchronized link protocol for sensor networks.  |
Ad Hoc Networks  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofie Pollin, Rahul Mangharam, Bruno Bougard, Liesbet Van der Perre, Ingrid Moerman, Ragunathan Rajkumar, Francky Catthoor |
MEERA: cross-layer methodology for energy efficient resource allocation in wireless networks.  |
IEEE Transactions on Wireless Communications  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Mangharam, Anthony Rowe, Raj Rajkumar |
FireFly: a cross-layer platform for real-time embedded wireless networks.  |
Real-Time Systems  |
2007 |
DBLP DOI BibTeX RDF |
Voice streaming, Energy-efficient networks, Network deployments, Sensor networks, Resource allocation, Medium access control, Time synchronization, Real-time embedded systems |
| 1 | Ivan Wang Hei Ho, Kin K. Leung, John W. Polak, Rahul Mangharam |
Node Connectivity in Vehicular Ad Hoc Networks with Structured Mobility.  |
LCN  |
2007 |
DBLP DOI BibTeX RDF |
Node Connectivity, Mobility, Vehicular Ad Hoc Networks |
| 1 | Rahul Mangharam, Raj Rajkumar |
MAX: A Maximal Transmission Concurrency MAC for Wireless Networks with Regular Structure.  |
BROADNETS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Mangharam, Anthony Rowe, Raj Rajkumar, Ryohei Suzuki |
Voice over Sensor Networks.  |
RTSS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofie Pollin, Bruno Bougard, Rahul Mangharam, Francky Catthoor, Ingrid Moerman, Ragunathan Rajkumar, Liesbet Van der Perre |
Optimizing Transmission and Shutdown for Energy-Efficient Real-time Packet Scheduling in Clustered Ad Hoc Networks.  |
EURASIP J. Wireless Comm. and Networking  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Mangharam, Daniel S. Weller, Daniel D. Stancil, Ragunathan Rajkumar, Jayendra S. Parikh |
GrooveSim: a topography-accurate simulator for geographic routing in vehicular networks.  |
Vehicular Ad Hoc Networks  |
2005 |
DBLP DOI BibTeX RDF |
vehicular networking modeling and simulation, multi-hop wireless networks |
| 1 | Rahul Mangharam, Ragunathan Rajkumar, Sofie Pollin, Francky Catthoor, Bruno Bougard, Liesbet Van der Perre, Ingrid Moerman |
Optimal fixed and scalable energy management for wireless networks.  |
INFOCOM  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofie Pollin, Bruno Bougard, Rahul Mangharam, Liesbet Van der Perre, Francky Catthoor, Ragunathan Rajkumar, Ingrid Moerman |
Optimizing transmission and shutdown for energy-efficient packet scheduling in sensor networks.  |
EWSN  |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #35 of 35 (100 per page; Change: )
|
|