Monica Brockmeyer

According to our database1, Monica Brockmeyer authored at least 39 papers between 1996 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Energy-Efficiency Comparison of Mobile Platforms and Applications: A Quantitative Approach.
Proceedings of the 16th International Workshop on Mobile Computing Systems and Applications, 2015

2014
BatteryExtender: an adaptive user-guided tool for power management of mobile devices.
Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2014

2012
Predictable service overlay networks: Predictability through adaptive monitoring and efficient overlay construction and management.
J. Parallel Distributed Comput., 2012

A simplistic way for power profiling of mobile devices.
Proceedings of the International Conference on Energy Aware Computing, 2012

Experimental Analysis of Application Specific Energy Efficiency of Data Centers with Heterogeneous Servers.
Proceedings of the 2012 IEEE Fifth International Conference on Cloud Computing, 2012

2010
Mobile Agents and Eventually Perfect Predicate Detection: An Intelligent General Approach to Monitoring Distributed Systems.
Proceedings of the Agent and Multi-agent Technology for Internet and Enterprise Systems, 2010

Eventually perfect predicate detection in crash-affected finite average response time systems.
Int. J. Parallel Emergent Distributed Syst., 2010

Evaluation of QoS-compliant overlays under denial of service attacks.
Proceedings of the 2010 Spring Simulation Multiconference, 2010

2009
QoSMap: Achieving Quality and Resilience through Overlay Construction.
Proceedings of the Fourth International Conference on Internet and Web Applications and Services, 2009

2008
Efficient and dependable overlay networks.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Investigation on Academic Research Software Development.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Predicate Detection Modality and Semantics in Three Partially Synchronous Models.
Proceedings of the 7th IEEE/ACIS International Conference on Computer and Information Science, 2008

2007
PSON: predictable service overlay networks.
SIGMETRICS Perform. Evaluation Rev., 2007

PSON: predictable service overlay networks.
Proceedings of the 4th International ICST Conference on Heterogeneous Networking for Quality, 2007

Fast Failure Detection in a Process Group.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

SyncProbe: Providing Assurance of Message Latency through Predictive Monitoring of Internet Paths.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Real-time predicate detection in timed asynchronous systems.
Proceedings of the ISCA 20th International Conference on Parallel and Distributed Computing Systems, 2007

2006
PaxonDHT: Achieving Consensus in Distributed Hash Tables.
Proceedings of the 2006 International Symposium on Applications and the Internet (SAINT 2006), 2006

2005
GRACE: Enabling collaborations in wide-area distributed systems.
Proceedings of the 14th IEEE International Workshops on Enabling Technologies (WETICE 2005), 2005

Brief announcement: controlled quorum selection in arbitrary topologies.
Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, 2005

TACON: tactical construction of overlay networks.
Proceedings of the Global Telecommunications Conference, 2005. GLOBECOM '05, St. Louis, Missouri, USA, 28 November, 2005

A Unified Formal Specification for a Multi-Consistency Replication System for DHTs.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

Server selection with arbitrary distribution.
Proceedings of the 1st International Conference on Collaborative Computing: Networking, 2005

Fast Online Predicate Detection Using Symbolic Model Checking.
Proceedings of the 20th International Conference on Computers and Their Applications, 2005

Towards Partially Synchronous Overlays: Issues and Challenges.
Proceedings of the First International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications, 2005

2004
Brief announcement: the design of an internet-scale monitoring and assertion-checking infrastructure.
Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

Consistency-based routing in overlay networks.
Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2004

Efficient data aggregation middleware for wireless sensor networks.
Proceedings of the 2004 IEEE International Conference on Mobile Ad-hoc and Sensor Systems, 2004

Adaptive congestion control for hotspot management in structured peer-to-peer systems.
Proceedings of the 4th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid 2004), 2004

2002
A Formal Model for Eventual Consistency Semantics.
Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002

Not in my backyard: a simulation of the effects of agent mobility on environmental poisoning.
Proceedings of the 2002 Congress on Evolutionary Computation, 2002

2001
Simulation-Verification: Biting at the State Explosion Problem.
IEEE Trans. Software Eng., 2001

2000
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications.
IEEE Trans. Computers, 2000

Automatic abstractions of real-time specifications.
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

1999
Monitoring, testing, and abstractions of real -time specifications.
PhD thesis, 1999

Using Modechart Modules for Testing Formal Specifications.
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

1997
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications.
Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, 1997

A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications.
Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

1996
Performance aspects of dynamic re-allocation for partitioned data.
Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative Research, 1996


  Loading...