Monica Brockmeyer

39 papers A* 2A 2B 4C 4Misc 3Journal 5Unranked 17
YearRankTypeTitle / Venue / Authors
2015 Misc conf
Energy-Efficiency Comparison of Mobile Platforms and Applications: A Quantitative Approach.
HotMobile
Grace Metri, Weisong Shi, Monica Brockmeyer
2014 Misc conf
BatteryExtender: an adaptive user-guided tool for power management of mobile devices.
UbiComp
Grace Metri, Weisong Shi, Monica Brockmeyer, Abhishek Agrawal
2012 — conf
A simplistic way for power profiling of mobile devices.
ICEAC
Grace Metri, Abhishek Agrawal, Ramesh Peri, Monica Brockmeyer, Weisong Shi
2012 — conf
Experimental Analysis of Application Specific Energy Efficiency of Data Centers with Heterogeneous Servers.
IEEE CLOUD
Grace Metri, Soumyasudharsan Srinivasaraghavan, Weisong Shi, Monica Brockmeyer
2012 J jnl
Predictable service overlay networks: Predictability through adaptive monitoring and efficient overlay construction and management.
J. Parallel Distributed Comput.
Jawwad Shamsi, Monica Brockmeyer
2010 — conf
Evaluation of QoS-compliant overlays under denial of service attacks.
SpringSim
Jawwad Shamsi, Monica Brockmeyer
2010 J jnl
Eventually perfect predicate detection in crash-affected finite average response time systems.
Int. J. Parallel Emergent Distributed Syst.
Chunbo Chu, Monica Brockmeyer
2010 — ch.
Mobile Agents and Eventually Perfect Predicate Detection: An Intelligent General Approach to Monitoring Distributed Systems.
Agent and Multi-agent Technology for Internet and Enterprise Systems
Chunbo Chu, Monica Brockmeyer
2009 C conf
QoSMap: Achieving Quality and Resilience through Overlay Construction.
ICIW
Jawwad Shamsi, Monica Brockmeyer
2008 A conf
Efficient and dependable overlay networks.
IPDPS
Jawwad Shamsi, Monica Brockmeyer
2008 — conf
Investigation on Academic Research Software Development.
CSSE (2)
Dapeng Liu, Shaochun Xu, Monica Brockmeyer
2008 — conf
Predicate Detection Modality and Semantics in Three Partially Synchronous Models.
ACIS-ICIS
Chunbo Chu, Monica Brockmeyer
2007 A conf
Fast Failure Detection in a Process Group.
IPDPS
Xinjie Li, Monica Brockmeyer
2007 C conf
PSON: predictable service overlay networks.
QSHINE
Jawwad Shamsi, Monica Brockmeyer, Chunbo Chu
2007 J jnl
PSON: predictable service overlay networks.
SIGMETRICS Perform. Evaluation Rev.
Jawwad Shamsi, Monica Brockmeyer
2007 — conf
Real-time predicate detection in timed asynchronous systems.
PDCS
Chunbo Chu, Monica Brockmeyer
2007 — conf
SyncProbe: Providing Assurance of Message Latency through Predictive Monitoring of Internet Paths.
HASE
Jawwad Shamsi, Monica Brockmeyer
2006 — conf
PaxonDHT: Achieving Consensus in Distributed Hash Tables.
SAINT
Ben Temkow, Anne-Marie Bosneag, Xinjie Li, Monica Brockmeyer
2005 — conf
A Unified Formal Specification for a Multi-Consistency Replication System for DHTs.
ECBS
Anne-Marie Bosneag, Monica Brockmeyer
2005 A* conf
Brief announcement: controlled quorum selection in arbitrary topologies.
PODC
Xinjie Li, Monica Brockmeyer
2005 Misc conf
Fast Online Predicate Detection Using Symbolic Model Checking.
CATA
Chunbo Chu, Monica Brockmeyer
2005 C conf
GRACE: Enabling collaborations in wide-area distributed systems.
WETICE
Anne-Marie Bosneag, Monica Brockmeyer
2005 C conf
Server selection with arbitrary distribution.
CollaborateCom
Xinjie Li, Monica Brockmeyer
2005 B conf
TACON: tactical construction of overlay networks.
GLOBECOM
Jawwad Shamsi, Monica Brockmeyer, Liya Abebe
2005 — conf
Towards Partially Synchronous Overlays: Issues and Challenges.
AAA-IDEA
Jawwad Shamsi, Chunbo Chu, Monica Brockmeyer
2004 B conf
Adaptive congestion control for hotspot management in structured peer-to-peer systems.
CCGRID
Anne-Marie Bosneag, Yong Xi, Xinjie Li, Monica Brockmeyer
2004 A* conf
Brief announcement: the design of an internet-scale monitoring and assertion-checking infrastructure.
PODC
Monica Brockmeyer, Chunbo Chu
2004 — conf
Consistency-based routing in overlay networks.
Parallel and Distributed Computing and Networks
Anne-Marie Bosneag, Monica Brockmeyer
2004 B conf
Efficient data aggregation middleware for wireless sensor networks.
MASS
Mukul Kumar, Loren Schwiebert, Monica Brockmeyer
2002 — conf
A Formal Model for Eventual Consistency Semantics.
IASTED PDCS
Anne-Marie Bosneag, Monica Brockmeyer
2002 B conf
Not in my backyard: a simulation of the effects of agent mobility on environmental poisoning.
IEEE Congress on Evolutionary Computation
Jon J. Brewster, Robert G. Reynolds, Monica Brockmeyer
2001 J jnl
Simulation-Verification: Biting at the State Explosion Problem.
IEEE Trans. Software Eng.
Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian
2000 J jnl
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications.
IEEE Trans. Computers
Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Elly Winner
2000 — conf
Automatic abstractions of real-time specifications.
HASE
Monica Brockmeyer
1999 — —
Monitoring, testing, and abstractions of real -time specifications.
Monica Brockmeyer
1999 — conf
Using Modechart Modules for Testing Formal Specifications.
HASE
Monica Brockmeyer
1997 — conf
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications.
IEEE Real Time Technology and Applications Symposium
Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Bruce G. Labaw
1997 — conf
A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications.
HASE
Monica Brockmeyer, Farnam Jahanian, Elly Winner, Constance L. Heitmeyer, Bruce G. Labaw
1996 — conf
Performance aspects of dynamic re-allocation for partitioned data.
CASCON
Paul A. Jensen, Monica Brockmeyer, Nandit Soparkar