Suchergebnisse - 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.

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

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

Schlagwörter: COMPUTER operating systems, ADAPTIVE computing systems, HEART rate monitors, MULTICORE processors, COMPUTER software

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

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

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

Quelle: 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

Schlagwörter: 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]

Geographisches Schlagwort: Salt Lake City, Utah, United States

Verfügbarkeit: 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.

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

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

Schlagwörter: OBJECT monitors (Computer software), COMPUTER operating systems

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

Autoren: Graniszewski, Waldemar Arciszewski, Adam

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

Schlagwörter: PERFORMANCE evaluation, VIRTUAL machine systems, HYPERVISOR (Computer software), COMPUTER monitors, COMPUTER operating systems, OPEN source software

Dependability and Performance Assessment of Dynamic CONNECTed Systems

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

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

Quelle: 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

Schlagwörter: 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

Verfügbarkeit: 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.

Autoren: Watterson, C. Heffernan, D.

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

Schlagwörter: COMPUTER software, COMPUTER software industry, ELECTRONIC systems, EMBEDDED computer systems, COMPUTER monitors

Monitoring Service Choreographies from Multiple Sources

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

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

Quelle: 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⟩

Schlagwörter: 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

Geographisches Schlagwort: Pisa, Italy

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

Verfügbarkeit: https://hal.inria.fr/hal-00741684

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

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

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

Schlagwörter: WEARABLE technology, COMPUTER input-output equipment, COMPUTER software, COMPUTER operating systems, DATA mining

Towards a Model-Driven Infrastructure for Runtime Monitoring

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

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

Quelle: 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

Schlagwörter: 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]

Geographisches Schlagwort: 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

Verfügbarkeit: 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).

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

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

Schlagwörter: 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.

Autoren: Pashtan, Ariel

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

Schlagwörter: 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

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

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

Schlagwörter: 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]

Dateibeschreibung: application/pdf

Zugangs-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.

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

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

Schlagwörter: 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

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

Weitere Verfasser: Fraboulet, Antoine Chelius, Guillaume Fleury, Eric et al.

Quelle: 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⟩

Schlagwörter: 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]

Geographisches Schlagwort: Cambridge, United States

Verfügbarkeit: 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.

Autoren: LIGATTI, JAY BAUER, LUJO WALKER, DAVID

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

Schlagwörter: 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.

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

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

Schlagwörter: 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.

Autoren: BAUMAN, ERICK AYOADE, GBADEBO ZHIQIANG LIN

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

Schlagwörter: COMPUTER monitors, VIRTUAL machine systems, HYPERVISOR (Computer software), COMPUTER software, INTROSPECTION, MALWARE

Monitors: An Operating System Structuring Concept.

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

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

Schlagwörter: COMPUTER operating systems, SYNCHRONIZATION, TIME measurements, SYSTEMS software, PRODUCTION scheduling, OPERATIONS research

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

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

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

Quelle: 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⟩

Schlagwörter: 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]

Geographisches Schlagwort: Paris, France

Verfügbarkeit: 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.

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

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

Schlagwörter: BRAIN concussion, COMPUTER operating systems, COMPUTER monitors, MICE (Computers), VISUAL perception, TREATMENT delay (Medicine)