Works matching DE "RUN time systems (Computer science)"

Results: 191

An Android runtime security policy enforcement framework.

Published in:

Personal & Ubiquitous Computing, 2012, v. 16, n. 6, p. 631, doi. 10.1007/s00779-011-0437-6

By:

Banuri, Hammad;
Alam, Masoom;
Khan, Shahryar;
Manzoor, Jawad;
Ali, Bahar;
Khan, Yasar;
Yaseen, Mohsin;
Tahir, Mir;
Ali, Tamleek;
Alam, Quratulain;
Zhang, Xinwen

Publication type:

Article

Runtime verification of autopilot systems using a fragment of MTL-∫.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 4, p. 379, doi. 10.1007/s10009-017-0470-5

By:

de Matos Pedro, André;
Pinto, Jorge Sousa;
Pereira, David;
Pinho, Luís Miguel

Publication type:

Article

Monitoring modulo theories.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 2, p. 205, doi. 10.1007/s10009-015-0380-3

By:

Decker, Normann;
Leucker, Martin;
Thoma, Daniel

Publication type:

Article

Rule-based runtime verification revisited.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 2, p. 143, doi. 10.1007/s10009-014-0309-2

By:

Havelund, Klaus

Publication type:

Article

Runtime verification: the application perspective.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 2, p. 121, doi. 10.1007/s10009-014-0360-z

By:

Falcone, Yliès;
Zuck, Lenore

Publication type:

Article

Combining static analysis and state transition graphs for verification of event-condition-action systems in the RERS 2012 and 2013 challenges.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 493, doi. 10.1007/s10009-014-0338-x

By:

Schordan, Markus;
Prantl, Adrian

Publication type:

Article

An overview of the MOP runtime verification framework.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 3, p. 249, doi. 10.1007/s10009-011-0198-6

By:

Meredith, Patrick;
Jin, Dongyun;
Griffith, Dennis;
Chen, Feng;
Roşu, Grigore

Publication type:

Article

The Clara framework for hybrid typestate analysis.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 3, p. 307, doi. 10.1007/s10009-010-0183-5

By:

Bodden, Eric;
Hendren, Laurie

Publication type:

Article

What can you verify and enforce at runtime?

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 3, p. 349, doi. 10.1007/s10009-011-0196-8

By:

Falcone, Yliès;
Fernandez, Jean-Claude;
Mounier, Laurent

Publication type:

Article

Runtime verification of concurrency-specific correctness criteria.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 3, p. 291, doi. 10.1007/s10009-011-0210-1

By:

Qadeer, Shaz;
Tasiran, Serdar

Publication type:

Article

Introduction to the special section on runtime verification.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 3, p. 243, doi. 10.1007/s10009-011-0218-6

By:

Sokolsky, Oleg;
Havelund, Klaus;
Lee, Insup

Publication type:

Article

A core calculus for dynamic delta-oriented programming.

Published in:

Acta Informatica, 2018, v. 55, n. 4, p. 269, doi. 10.1007/s00236-017-0293-6

By:

Damiani, Ferruccio;
Padovani, Luca;
Schaefer, Ina;
Seidl, Christoph

Publication type:

Article

Receding horizon H∞ control of time-delay systems.

Published in:

Transactions of the Institute of Measurement & Control, 2015, v. 37, n. 5, p. 596, doi. 10.1177/0142331214538089

By:

Taşçıkaraoglu, Fatma Yıldız;
Ucun, Levent;
Küçükdemiral, Ibrahim B

Publication type:

Article

Interactive 3D Force-Directed Edge Bundling.

Published in:

Computer Graphics Forum, 2016, v. 35, n. 3, p. 51, doi. 10.1111/cgf.12881

By:

Zielasko, D.;
Weyers, B.;
Hentschel, B.;
Kuhlen, T. W.

Publication type:

Article

Visual Debugging Techniques for Reactive Data Visualization.

Published in:

Computer Graphics Forum, 2016, v. 35, n. 3, p. 271, doi. 10.1111/cgf.12903

By:

Hoffswell, Jane;
Satyanarayan, Arvind;
Heer, Jeffrey

Publication type:

Article

Collective Crowd Formation Transform with Mutual Information-Based Runtime Feedback.

Published in:

Computer Graphics Forum, 2015, v. 34, n. 1, p. 60, doi. 10.1111/cgf.12459

By:

Xu, Mingliang;
Wu, Yunpeng;
Ye, Yangdong;
Farkas, Illes;
Jiang, Hao;
Deng, Zhigang

Publication type:

Article

Parameterization-Aware MIP-Mapping.

Published in:

Computer Graphics Forum, 2012, v. 31, n. 4, p. 1455, doi. 10.1111/j.1467-8659.2012.03141.x

By:

Manson, Josiah;
Schaefer, Scott

Publication type:

Article

Geometry Presorting for Implicit Object Space Partitioning.

Published in:

Computer Graphics Forum, 2012, v. 31, n. 4, p. 1445, doi. 10.1111/j.1467-8659.2012.03140.x

By:

Eisemann, M.;
Bauszat, P.;
Guthe, S.;
Magnor, M.

Publication type:

Article

CONTROL TOOLS FOR OPTIMIZING ABAP CODES.

Published in:

Acta Technica Corviniensis - Bulletin of Engineering, 2012, v. 5, n. 2, p. 107

By:

Osaci, Mihaela;
Berdie, Adela-Diana;
Cristea, Ana-Daniela

Publication type:

Article

Towards Software Architecture and Mechanisms for Improving Runtime Variability of Internetware System.

Published in:

International Journal of Software & Informatics, 2014, v. 13, n. 1, p. 67

By:

Jiwei Liu;
Xinjun Mao

Publication type:

Article

Editorial: Internetware of the Age.

Published in:

International Journal of Software & Informatics, 2014, v. 13, n. 1, p. 19

By:

Xiaoguang Mao;
Xianping Tao

Publication type:

Article

Stereo correspondence using efficient hierarchical belief propagation.

Published in:

Neural Computing & Applications, 2012, v. 21, n. 7, p. 1585, doi. 10.1007/s00521-012-0831-7

By:

Gupta, Raj;
Cho, Siu-Yeung

Publication type:

Article

Enabling dynamic file I/O path selection at runtime for parallel file system.

Published in:

Journal of Supercomputing, 2014, v. 68, n. 2, p. 996, doi. 10.1007/s11227-013-1077-6

By:

Li, Xiuqiao;
Xiao, Limin;
Qiu, Meikang;
Dong, Bin;
Ruan, Li

Publication type:

Article

Automatic runtime frequency-scaling system for energy savings in parallel applications.

Published in:

Journal of Supercomputing, 2014, v. 68, n. 2, p. 777, doi. 10.1007/s11227-013-1062-0

By:

Sundriyal, Vaibhav;
Sosonkina, Masha;
Zhang, Zhao

Publication type:

Article

Component survivability at runtime for mission-critical distributed systems.

Published in:

Journal of Supercomputing, 2013, v. 66, n. 3, p. 1390, doi. 10.1007/s11227-012-0818-2

By:

Park, Joon S.;
Chandramohan, Pratheep;
Suresh, Avinash T.;
Giordano, Joseph V.;
Kwiat, Kevin A.

Publication type:

Article

SIMULTANEOUS QUANTIFICATION OF NINE BIOACTIVE CONSTITUENTS IN DENGZHANXIXIN INJECTION BY UPLC-MS/MS.

Published in:

Instrumentation Science & Technology, 2012, v. 40, n. 4, p. 316, doi. 10.1080/10739149.2012.673195

By:

Zhou, Ling;
Ju, Wen-Zheng;
Li, Chang-Yin;
Xie, Li-Yan;
Xu, Jie;
Liu, Shi-Jia;
Tan, Heng-Shan

Publication type:

Article

Formalism for Static Aspects of Dynamic Metamodeling.

Published in:

Periodica Polytechnica: Electrical Engineering & Computer Science, 2017, v. 61, n. 1, p. 34, doi. 10.3311/PPee.9547

By:

Urbán, Dániel;
Mezei, Gergely;
Theisz, Zoltán

Publication type:

Article

TAKING TURNS TO SAVE POWER.

Published in:

Intel Technology Journal, 2012, v. 16, n. 3, p. 72

By:

Shearer, Kim

Publication type:

Article

Proactive and Reactive Runtime Service Discovery: A Framework and Its Evaluation.

Published in:

IEEE Transactions on Software Engineering, 2013, v. 39, n. 7, p. 954, doi. 10.1109/TSE.2012.84

By:

Zisman, Andrea;
Spanoudakis, George;
Dooley, James;
Siveroni, Igor

Publication type:

Article

Evaluating Dynamic Software Update Safety Using Systematic Testing.

Published in:

IEEE Transactions on Software Engineering, 2012, v. 38, n. 6, p. 1340, doi. 10.1109/TSE.2011.101

By:

Hayden, Christopher M.;
Smith, Edward K.;
Hardisty, Eric A.;
Hicks, Michael;
Foster, Jeffrey S.

Publication type:

Article

Analyzing the Effect of Gain Time on Soft-Task Scheduling Policies in Real-Time Systems.

Published in:

IEEE Transactions on Software Engineering, 2012, v. 38, n. 6, p. 1305, doi. 10.1109/TSE.2011.95

By:

Búrdalo, Luis;
Terrasa, Andrés;
Espinosa, Agustín;
García-Fornes, Ana

Publication type:

Article

Integrating run-time changes into system and software process enactment.

Published in:

Journal of Software: Evolution & Process, 2016, v. 28, n. 9, p. 762, doi. 10.1002/smr.1783

By:

Tran, Hanh Nhi;
Hajmoosaei, Mojtaba;
Percebois, Christian;
Front, Agnes;
Roncancio, Claudia

Publication type:

Article

A runtime fault survival method for deployed software during production runs.

Published in:

Journal of Software: Evolution & Process, 2016, v. 28, n. 2, p. 97, doi. 10.1002/smr.1767

By:

Seo, Jooyoung;
Park, Jihyun;
Choi, Byoungju

Publication type:

Article

A performance evaluation framework for Web applications.

Published in:

Journal of Software: Evolution & Process, 2013, v. 25, n. 8, p. 871, doi. 10.1002/smr.1563

By:

Litoiu, Marin;
Barna, Cornel

Publication type:

Article

Incrementally predictive runtime verification.

Published in:

Journal of Logic & Computation, 2023, v. 33, n. 4, p. 796, doi. 10.1093/logcom/exad012

By:

Ferrando, Angelo;
Delzanno, Giorgio

Publication type:

Article

A SURVEY ON VARIOUS DETECTION TECHNIQUES ON RUN TIME MACHINES.

Published in:

International Journal of Advanced Research in Computer Science, 2017, v. 8, n. 9, p. 566, doi. 10.26483/ijarcs.v8i9.5181

By:

Lavanya N.;
Deepika N.

Publication type:

Article

Architectrue of Run-Time Platform Manager For Dynamic Data Management in MPSoC(MultiProcessor-System-On-Chip).

Published in:

International Journal of Advanced Research in Computer Science, 2011, v. 2, n. 6, p. 302

By:

Vyas, D. S.;
Jani, N. N.

Publication type:

Article

Run-time deployment and management of CoAP resources for the Internet of Things.

Published in:

International Journal of Distributed Sensor Networks, 2017, v. 13, n. 3, p. 1, doi. 10.1177/1550147717698969

By:

Martín, Cristian;
Díaz, Manuel;
Rubio, Bartolomé

Publication type:

Article

Dynamic Task Distribution Model for On-Chip Reconfigurable High Speed Computing System.

Published in:

International Journal of Reconfigurable Computing, 2015, p. 1, doi. 10.1155/2015/783237

By:

Vucha, Mahendra;
Rajawat, Arvind

Publication type:

Article

Operating System for Runtime Reconfigurable Multiprocessor Systems.

Published in:

International Journal of Reconfigurable Computing, 2011, p. 1, doi. 10.1155/2011/121353

By:

Gühringer, Diana;
Hübner, Michael;
Zeutebouo, Etienne Nguepi;
Becker, Jürgen

Publication type:

Article

Developing Self-Adaptive Service-Oriented Mobile Applications: A Framework Based on Dynamic Deployment.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2018, v. 28, n. 11/12, p. 1537, doi. 10.1142/S0218194018400168

By:

Passini, William Filisbino;
Affonso, Frank José

Publication type:

Article

An Adaptation of Context and Trust Aware Workflow Oriented Access Control for Remote Healthcare.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2018, v. 28, n. 6, p. 781, doi. 10.1142/S0218194018500225

By:

Bhattasali, Tapalina;
Chaki, Rituparna;
Chaki, Nabendu;
Saeed, Khalid

Publication type:

Article

Towards Dynamic Evolution of Runtime Variability Based on Computational Reflection.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2018, v. 28, n. 3, p. 259, doi. 10.1142/S0218194018500092

By:

Ji-Wei, Liu;
Xin-Jun, Mao

Publication type:

Article

A Concurrent Harmful Races Identification Algorithm using Hadoop and Multiple Cloud Servers.

Published in:

International Journal of Performability Engineering, 2018, v. 14, n. 10, p. 2332, doi. 10.23940/ijpe.18.10.p9.23322342

By:

Suxia Zhu;
Yanan Wu;
Guanglu Sun;
Jianda Sun

Publication type:

Article

Configurable Analog-Digital Conversion Using the Neural Engineering Framework.

Published in:

Frontiers in Neuroscience, 2014, v. 8, p. 1, doi. 10.3389/fnins.2014.00201

By:

Mayr, Christian;
Partzsch, Johannes;
Noack, Marko;
Schüffny, Rene

Publication type:

Article

A comparison of local search algorithms with population-based algorithms in hybrid flow shop scheduling problems with realistic characteristics.

Published in:

International Journal of Advanced Manufacturing Technology, 2016, v. 83, n. 5-8, p. 1135, doi. 10.1007/s00170-015-7650-9

By:

Bozorgirad, Mir;
Logendran, Rasaratnam

Publication type:

Article

A gradient-based morphological method to produce planar curve offsets.

Published in:

International Journal of Advanced Manufacturing Technology, 2015, v. 80, n. 1-4, p. 255, doi. 10.1007/s00170-015-6971-z

By:

Yaman, Ulas;
Dolen, Melik

Publication type:

Article

Minimizing makespan in a two-machine no-wait flow shop with batch processing machines.

Published in:

International Journal of Advanced Manufacturing Technology, 2012, v. 63, n. 1-4, p. 281, doi. 10.1007/s00170-012-3906-9

By:

Muthuswamy, Shanthi;
Vélez-Gallego, Mario;
Maya, Jairo;
Rojas-Santiago, Miguel

Publication type:

Article

Adaptive Runtime Monitoring of Service Level Agreement Violations in Cloud Computing.

Published in:

Computers, Materials & Continua, 2022, v. 71, n. 3, p. 4199, doi. 10.32604/cmc.2022.020852

By:

Khan, Sami Ullah;
Nazir, Babar;
Hanif, Muhammad;
Ali, Akhtar;
Alam, Sardar;
Habib, Usman

Publication type:

Article

Optimal Trajectory Planning for Glass-Handing Robot Based on Execution Time Acceleration and Jerk.

Published in:

Journal of Robotics, 2016, p. 1, doi. 10.1155/2016/9329131

By:

Duan, Honggang;
Zhang, Rongmin;
Yu, Fei;
Gao, Jun;
Chen, Yuan

Publication type:

Article