Search Results - ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.8: Performance/D.4.8.2: Monitors

Metronome: Operating System Level Performance Management via Self-Adaptive Computing.

Authors: Sironi, Filippo Bartolini, Davide B. B. Campanoni, Simone et al.

Source: DAC: Annual ACM/IEEE Design Automation Conference; Jun2012, p856-865, 10p

Subject Terms: COMPUTER operating systems, ADAPTIVE computing systems, HEART rate monitors, MULTICORE processors, COMPUTER software

EEA-Aware For Large-Scale Scientific Applications On Heterogeneous Architectures

Authors: Garcia Henao, John Anderson, John Anderson Garcia Henao Hernandez, Esteban Navaux, Philippe, O.A. et al.

Contributors: Garcia Henao, John Anderson, John Anderson Garcia Henao Hernandez, Esteban Navaux, Philippe, O.A. et al.

Source: ACM Student Research Competition at Supercomputing. The International Conference for High Performance Computing, Networking, Storage and Analysis ; https://hal.science/hal-01739585 ; ACM Student Research Competition at Supercomputing. The International Conference for High Performance Computing, Networking, Storage and Analysis, Nov 2016, Salt Lake City, Utah, United States

Subject Terms: Exascale Computing, Energy Aware, Power Capping, Energy Efficiency, ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.4: Parallel Architectures, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.8: Performance/D.4.8.2: Monitors, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.8: Performance/D.4.8.1: Modeling and prediction, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Subject Geographic: Salt Lake City, Utah, United States

Availability: https://hal.science/hal-01739585
https://hal.science/hal-01739585v1/document
https://hal.science/hal-01739585v1/file/01_EEAaware-SC16-JAGH-poster.pdf

Experience with Processes and Monitors in Mesa.

Authors: Lampson, Butler W. Redell, David D.

Source: Communications of the ACM; Feb1980, Vol. 23 Issue 2, p105-117, 13p, 2 Diagrams

Subject Terms: OBJECT monitors (Computer software), COMPUTER operating systems

Performance analysis of selected hypervisors (Virtual Machine Monitors - VMMs).

Authors: Graniszewski, Waldemar Arciszewski, Adam

Source: International Journal of Electronics & Telecommunications; Sep2016, Vol. 62 Issue 3, p231-236, 6p

Subject Terms: PERFORMANCE evaluation, VIRTUAL machine systems, HYPERVISOR (Computer software), COMPUTER monitors, COMPUTER operating systems, OPEN source software

Dependability and Performance Assessment of Dynamic CONNECTed Systems

Authors: Bertolino, Antonia Calabrò, Antonello Di Giandomenico, Felicita et al.

Contributors: Bertolino, Antonia Calabrò, Antonello Di Giandomenico, Felicita et al.

Source: Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems. SFM 2011 ; https://inria.hal.science/hal-00647701 ; Marco Bernardo and Valérie Issarny. Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems. SFM 2011, LNCS 6659, Springer, 2011

Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

Relation: info:eu-repo/grantAgreement/EC/FP7/231167/EU/Emergent Connectors for Eternal Software Intensive Networked Systems/CONNECT; hal-00647701; https://inria.hal.science/hal-00647701; https://inria.hal.science/hal-00647701/document; https://inria.hal.science/hal-00647701/file/BertinoroSchool2011.pdf

Availability: https://inria.hal.science/hal-00647701
https://inria.hal.science/hal-00647701/document
https://inria.hal.science/hal-00647701/file/BertinoroSchool2011.pdf

Runtime verification and monitoring of embedded systems.

Authors: Watterson, C. Heffernan, D.

Source: IET Software (Institution of Engineering & Technology); Oct2007, Vol. 1 Issue 5, p172-179, 8p, 6 Diagrams

Subject Terms: COMPUTER software, COMPUTER software industry, ELECTRONIC systems, EMBEDDED computer systems, COMPUTER monitors

Monitoring Service Choreographies from Multiple Sources

Authors: Ben Hamida, Amira Bertolino, Antonia Calabrò, Antonello et al.

Contributors: Ben Hamida, Amira Bertolino, Antonia Calabrò, Antonello et al.

Source: SERENE 2012 - 4th International Workshop on Software Engineering for Resilient Systems ; https://hal.inria.fr/hal-00741684 ; SERENE 2012 - 4th International Workshop on Software Engineering for Resilient Systems, Paris Avgeriou, Sep 2012, Pisa, Italy. pp.134-149, ⟨10.1007/978-3-642-33176-3_10⟩

Subject Terms: Monitoring, Choreographies, Complex Event Processing, SOA, SLA, QoS, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS/C.4.5: Reliability, availability, and serviceability, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], manag, edu

Subject Geographic: Pisa, Italy

Relation: https://hal.inria.fr/hal-00741684

Availability: https://hal.inria.fr/hal-00741684

Software and Hardware Requirements and Trade-Offs in Operating Systems for Wearables: A Tool to Improve Devices' Performance.

Authors: J. P. Amorim, Vicente C. Silva, Mateus A. R. Oliveira, Ricardo

Source: Sensors (14248220); Apr2019, Vol. 19 Issue 8, p1904-1904, 1p

Subject Terms: WEARABLE technology, COMPUTER input-output equipment, COMPUTER software, COMPUTER operating systems, DATA mining

Towards a Model-Driven Infrastructure for Runtime Monitoring

Authors: Bertolino, Antonia Calabrò, Antonello Lonetti, Francesca et al.

Contributors: Bertolino, Antonia Calabrò, Antonello Lonetti, Francesca et al.

Source: 3rd International Workshop on Software Engineering for Resilient Systems
https://inria.hal.science/hal-00647363
3rd International Workshop on Software Engineering for Resilient Systems, Sep 2011, Geneva, Switzerland

Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Subject Geographic: Geneva, Switzerland

Relation: info:eu-repo/grantAgreement/EC/FP7/231167/EU/Emergent Connectors for Eternal Software Intensive Networked Systems/CONNECT; hal-00647363; https://inria.hal.science/hal-00647363; https://inria.hal.science/hal-00647363/document; https://inria.hal.science/hal-00647363/file/BertolinoSERENE2011.pdf

Availability: https://inria.hal.science/hal-00647363
https://inria.hal.science/hal-00647363/document
https://inria.hal.science/hal-00647363/file/BertolinoSERENE2011.pdf

A survey of challenges for runtime verification from advanced application domains (beyond software).

Authors: Sánchez, César Schneider, Gerardo Ahrendt, Wolfgang et al.

Source: Formal Methods in System Design; 2019, Vol. 54 Issue 3, p279-335, 57p

Subject Terms: TRACE analysis, TELECOMMUNICATION systems, SYSTEM analysis, COMPUTER software, COMPUTER monitors, SOFTWARE verification, COMPUTER science

Operating System Models in a Concurrent Pascal Environment: Complexity and Performance Considerations.

Authors: Pashtan, Ariel

Source: IEEE Transactions on Software Engineering; Jan85, Vol. 11 Issue 1, p136-141, 6p, 1 Color Photograph, 2 Diagrams, 4 Charts, 1 Graph

Subject Terms: COMPUTER operating systems, COMPUTER multitasking, CONCURRENT Pascal (Computer program language), SYNCHRONIZATION, COMPUTATIONAL complexity, COMPUTER programming

On the reliability of hardware event monitors in MPSoCs for critical domains

Authors: Barrera Herrera, Javier Enrique Kosmidis, Leonidas Tabani, Hamid et al.

Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Proceedings of the 35th Annual ACM Symposium on Applied Computing

Subject Terms: Software engineering, 02 engineering and technology, Ordinadors immersos, Sistemes d', Embedded computer systems, Performance monitoring counters, Enginyeria del programari, MPSoCs, Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Sistemes monoxip, Validation, Systems on a chip, 0202 electrical engineering, electronic engineering, information engineering, Informàtica::Arquitectura de computadors [Àrees temàtiques de la UPC]

File Description: application/pdf

Access URL: https://upcommons.upc.edu/bitstream/2117/185876/3/PMCs_UPC.pdf
https://hdl.handle.net/2117/185876
https://doi.org/10.1145/3341105.3373955

Bringing Virtualization to the x86 Architecture with the Original VMware Workstation.

Authors: BUGNION, EDOUARD DEVINE, SCOTT ROSENBLUM, MENDEL et al.

Source: ACM Transactions on Computer Systems; Nov2012, Vol. 30 Issue 4, p12:1-12:51, 51p

Subject Terms: COMPUTER architecture, VIRTUAL machine systems, COMPUTER input-output equipment, SOFTWARE compatibility, CENTRAL processing units, COMPUTER peripherals, COMPUTER operating systems, MICROCOMPUTER workstations (Computers)

Worldsens: development and prototyping tools for application specific wireless sensors networks

Authors: Fraboulet, Antoine Chelius, Guillaume Fleury, Eric et al.

Contributors: Fraboulet, Antoine Chelius, Guillaume Fleury, Eric et al.

Source: 6th ACM/IEEE international conference on Information Processing in Sensor Networks (IPSN 2007)
https://inria.hal.science/inria-00384835
6th ACM/IEEE international conference on Information Processing in Sensor Networks (IPSN 2007), ACM/IEEE, Apr 2007, Cambridge, United States. pp.176-185, ⟨10.1145/1236360.1236385⟩

Subject Terms: ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.2: Network Protocols, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.1: Debugging aids, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments/D.2.6.1: Integrated environments, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]

Subject Geographic: Cambridge, United States

Availability: https://inria.hal.science/inria-00384835
https://inria.hal.science/inria-00384835v1/document
https://inria.hal.science/inria-00384835v1/file/ipsn-07.pdf
https://doi.org/10.1145/1236360.1236385

Run-Time Enforcement of Nonsafety Policies.

Authors: LIGATTI, JAY BAUER, LUJO WALKER, DAVID

Source: ACM Transactions on Information & System Security (TISSEC); 2009, Vol. 12, p19-19:41, 41p, 1 Diagram

Subject Terms: COMPUTER software, DATA protection, COMPUTER monitors, ELECTRONIC data processing, COMPUTER network security, INFORMATION resources management, COMPUTER terminals, INFORMATION display systems

GARUDA: Designing Energy-Efficient Hardware Monitors From High-Level Policies for Secure Information Flow.

Authors: Sefton, Seaghan Siddiqui, Taiman Amour, Nathaniel St. et al.

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems; Nov2018, Vol. 37 Issue 11, p2509-2518, 10p

Subject Terms: COMPUTER input-output equipment design & construction, RUN time systems (Computer science), COMPILERS (Computer programs), VERILOG (Computer hardware description language), DATA flow computing, MULTICORE processors, EMBEDDED computer systems, INFORMATION storage & retrieval systems

A Survey on Hypervisor-Based Monitoring: Approaches, Applications, and Evolutions.

Authors: BAUMAN, ERICK AYOADE, GBADEBO ZHIQIANG LIN

Source: ACM Computing Surveys; Sep2015, Vol. 48 Issue 1, p1-33, 33p, 1 Diagram, 6 Charts, 1 Graph

Subject Terms: COMPUTER monitors, VIRTUAL machine systems, HYPERVISOR (Computer software), COMPUTER software, INTROSPECTION, MALWARE

Monitors: An Operating System Structuring Concept.

Authors: Hoare, C. A. R. Weissman, C.

Source: Communications of the ACM; Oct74, Vol. 17 Issue 10, p549-557, 9p

Subject Terms: COMPUTER operating systems, SYNCHRONIZATION, TIME measurements, SYSTEMS software, PRODUCTION scheduling, OPERATIONS research

Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests

Authors: Cabrera Castillos, Kalou Dadeau, Frédéric Julliand, Jacques et al.

Contributors: Cabrera Castillos, Kalou Dadeau, Frédéric Julliand, Jacques et al.

Source: Lecture Notes in Computer Science ; 23th International Conference on Testing Software and Systems (ICTSS) ; https://inria.hal.science/hal-00640312 ; 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.32-47, ⟨10.1007/978-3-642-24580-0_4⟩

Subject Terms: Model-Based Testing, UML/OCL, temporal property, Coverage, model animation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.8: Testing tools (e.g., data generators, coverage testing), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Subject Geographic: Paris, France

Availability: https://inria.hal.science/hal-00640312
https://inria.hal.science/hal-00640312v1/document
https://inria.hal.science/hal-00640312v1/file/978-3-642-24580-0_4_Chapter.pdf
https://doi.org/10.1007/978-3-642-24580-0_4

Methodological Problems With Online Concussion Testing.

Authors: Holden, Jameson Francisco, Eric Tommerdahl, Anna et al.

Source: Frontiers in Human Neuroscience; 10/1/2020, Vol. 14, pN.PAG-N.PAG, 13p

Subject Terms: BRAIN concussion, COMPUTER operating systems, COMPUTER monitors, MICE (Computers), VISUAL perception, TREATMENT delay (Medicine)