|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 111 occurrences of 93 keywords
|
|
|
|
|
Results
Found 1102 publication records. Showing 962 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 154 | Jalal Kawash, Lisa Higham |
Memory consistency and process coordination for SPARC v8 multiprocessors (brief announcement).  |
PODC  |
2000 |
DBLP DOI BibTeX RDF |
SPARC |
| 60 | Scott Owens, Susmit Sarkar, Peter Sewell |
A Better x86 Memory Model: x86-TSO. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
| 60 | Meng-Hui Lim, Sanggon Lee, Sang-Jae Moon |
Cryptanalysis of Tso et al.'s ID-Based Tripartite Authenticated Key Agreement Protocol. |
ICISS |
2007 |
DBLP DOI BibTeX RDF |
|
| 58 | Guangtao Xue, Yi Jiang, Jinyuan You, Minglu Li 0001 |
A topology-aware hierarchical structured overlay network based on locality sensitive hashing scheme. |
UPGRADE-CN |
2007 |
DBLP DOI BibTeX RDF |
peer-to-peer, hierarchical structure, locality sensitive hash, topology awareness |
| 58 | Sudheendra Hangal, Durgam Vahia, Chaiyasit Manovit, Juin-Yeu Joseph Lu, Sridhar Narayanan |
TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model. |
ISCA |
2004 |
DBLP DOI BibTeX RDF |
Multiprocessor verification, Total Store Order, Sequential Consistency, Memory consistency models |
| 58 | Lisa Higham, Jalal Kawash |
Memory Consistency and Process Coordination for SPARC Multiprocessors. |
HiPC |
2000 |
DBLP DOI BibTeX RDF |
|
| 58 | H. Rebecca Callison |
A Time-Sensitive Object Model for Real-Time Systems. |
ACM Trans. Softw. Eng. Methodol. |
1995 |
DBLP DOI BibTeX RDF |
programming techniques, real-time processing models, fault tolerance, concurrency, timing constraints, object models |
| 43 | Chao Wang 0069, Yi Lv, Peng Wu 0002 |
TSO-to-TSO linearizability is undecidable. |
Acta Informatica |
2018 |
DBLP DOI BibTeX RDF |
|
| 43 | Chao Wang 0069, Yi Lv, Peng Wu 0002 |
TSO-to-TSO Linearizability Is Undecidable. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
| 43 | Marco Elver, Vijay Nagarajan |
TSO-CC: Consistency directed cache coherence for TSO. |
HPCA |
2014 |
DBLP DOI BibTeX RDF |
|
| 43 | Michael Teuffel |
TSO - Time Sharing Option im Betriebssystem z/OS MVS: das ausführliche Lehr- und Handbuch für den erfolgreichen TSO-Benutzer (7. Aufl.). |
|
2002 |
RDF |
|
| 40 | W. L. Xu, S. K. Tso, Y. Tso |
Reuse of existing design information in the development of new electronic PTC devices via a neural network approach. |
IEEE Trans. Ind. Electron. |
2000 |
DBLP DOI BibTeX RDF |
|
| 38 | Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi |
On the verification problem for weak memory models. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
lossy channel systems, program verification, infinite state systems, relaxed memory models |
| 38 | Min Xu, Mark D. Hill, Rastislav Bodík |
A regulated transitive reduction (RTR) for longer memory race recording. |
ASPLOS |
2006 |
DBLP DOI BibTeX RDF |
race recording, multithreading, determinism |
| 38 | Boon-Ping Gan, Malcolm Yoke Hean Low, Junhu Wei, Xiaoguang Wang 0002, Stephen John Turner, Wentong Cai 0001 |
Distributed simulation and manufacturing: synchronization and management of shared state in HLA-based distributed simulation. |
WSC |
2003 |
DBLP DOI BibTeX RDF |
|
| 37 | Lisa Higham, Jalal Kawash |
Critical Sections and Producer/Consumer Queues in Weak Memory Systems. |
ISPAN |
1997 |
DBLP DOI BibTeX RDF |
critical section problem, producer/consumer problem, non-sequential systems, TSO, distributed shared memory, PSO, memory consistency models |
| 21 | Kipo Yoon, Joohyuk Leem, Soo-Hyoung Lee, Jung-Wook Park |
Cooperative Control of TSO and DSO: Management of Line Congestion and Frequency Response. |
IEEE Access |
2024 |
DBLP DOI BibTeX RDF |
|
| 21 | Ruoheng Wang, Siqi Bu, C. Y. Chung 0001 |
Real-Time Joint Regulations of Frequency and Voltage for TSO-DSO Coordination: A Deep Reinforcement Learning-Based Approach. |
IEEE Trans. Smart Grid |
2024 |
DBLP DOI BibTeX RDF |
|
| 21 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Shashwat Garg |
Verification under TSO with an infinite Data Domain. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
| 21 | Da Zhang, Kun Zheng, Fuqi Liu, Beili Li |
Fault Diagnosis of Hydraulic Components Based on Multi-Sensor Information Fusion Using Improved TSO-CNN-BiLSTM. |
Sensors |
2024 |
DBLP DOI BibTeX RDF |
|
| 21 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Shashwat Garg |
Verification under TSO with an infinite Data Domain. |
TACAS (3) |
2024 |
DBLP DOI BibTeX RDF |
|
| 21 | Rouzbeh Haghighi, Seyed Hamed Jalalzad, Mohammad Reza Salehizadeh, Hassan Haes Alhelou, Pierluigi Siano |
Cloud Energy Storage Investment by Collaboration of Microgrids for Profit and Reliability Enhancement Considering a TSO-DSO Yearly Reward. |
IEEE Access |
2023 |
DBLP DOI BibTeX RDF |
|
| 21 | Néstor Rodríguez-Pérez, Javier Matanza Domingo, Gregorio López López, José Pablo Chaves Ávila, Ferdinando Bosco, Vincenzo Croce, Kalle Kukk, Mathias Uslar, Carlos Madina, Maider Santos-Mugica |
ICT Architectures for TSO-DSO Coordination and Data Exchange: A European Perspective. |
IEEE Trans. Smart Grid |
2023 |
DBLP DOI BibTeX RDF |
|
| 21 | Tao Jiang 0036, Chenghao Wu, Rufeng Zhang, Xue Li, Houhe Chen, Guoqing Li |
Flexibility Clearing in Joint Energy and Flexibility Markets Considering TSO-DSO Coordination. |
IEEE Trans. Smart Grid |
2023 |
DBLP DOI BibTeX RDF |
|
| 21 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Godbole, Yacoub G. Hendi, Shankaranarayanan Krishna, Stephan Spengler |
Parameterized Verification under TSO with Data Types. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 21 | Stephan Spengler, Sanchari Sil |
TSO Games - On the decidability of safety games under the total store order semantics (extended version with appendix). |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 21 | Stephan Spengler, Sanchari Sil |
TSO Games - On the decidability of safety games under the total store order semantics. |
GandALF |
2023 |
DBLP DOI BibTeX RDF |
|
| 21 | Shuai Zheng, Lingjie Qiu, Fengxin Lan |
TSO-GCN: A Graph Convolutional Network approach for real-time and generalizable truss structural optimization. |
Appl. Soft Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 21 | Giji Kiruba Dasebenezer, Benita Joselin |
TSO clustered protocol to extend lifetime of IoT based mobile wireless sensor networks. |
Int. Arab J. Inf. Technol. |
2023 |
DBLP DOI BibTeX RDF |
|
| 21 | Hongyu Fan, Zhihang Sun, Fei He 0001 |
Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models. |
ACM Trans. Program. Lang. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
| 21 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Amit Godbole, Yacoub G. Hendi, Shankara Narayanan Krishna, Stephan Spengler |
Parameterized Verification under TSO with Data Types. |
TACAS (1) |
2023 |
DBLP DOI BibTeX RDF |
|
| 21 | Zhengbin Qin, Hui Xu, Lang Huang 0007, Yang Jin |
Intrusion Classification Detection Model for SDN based on Optimized TSO and DT. |
IDAACS |
2023 |
DBLP DOI BibTeX RDF |
|
| 21 | Martin Beck, Koustubha Bhat, Lazar Stricevic, Geng Chen, Diogo Behrens, Ming Fu, Viktor Vafeiadis, Haibo Chen 0001, Hermann Härtig |
AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM. |
ASPLOS (2) |
2023 |
DBLP DOI BibTeX RDF |
|
| 21 | Lars Stark, Marcel Sarstedt, Lutz Hofmann |
Determination of Interdependent Feasible Operation Regions at Multiple TSO-DSO Interconnections. |
ISGT EUROPE |
2023 |
DBLP DOI BibTeX RDF |
|
| 21 | Hannu Laaksonen, Hosna Khajeh, Nikos D. Hatziargyriou |
Novel DER and OLTC Management Scheme for Coordinated TSO-DSO Flexibility Services Provision. |
ISGT EUROPE |
2023 |
DBLP DOI BibTeX RDF |
|
| 21 | Corentin Jacquier, Rémy Rigo-Mariani, Vincent Debusschere, Jean-Nicolas Louis, Silvana Mima |
Distributed Flexibility Estimation for TSO-DSO Interactions. |
ISGT EUROPE |
2023 |
DBLP DOI BibTeX RDF |
|
| 21 | Yongxu Yan, Wentao Wang, Zhihui Fu, Jun Tian |
The Construction of DNA Coding Sets by an Intelligent Optimization Algorithm: TMOL-TSO. |
ICONIP (9) |
2023 |
DBLP DOI BibTeX RDF |
|
| 21 | Anibal Sanjab, Hélène Le Cadre, Yuting Mou |
TSO-DSOs Stable Cost Allocation for the Joint Procurement of Flexibility: A Cooperative Game Approach. |
IEEE Trans. Smart Grid |
2022 |
DBLP DOI BibTeX RDF |
|
| 21 | Mohsen Kalantar-Neyestanaki, Rachid Cherkaoui |
Risk-Aware Active Power Flexibility Allocation From TSO-DSO Interconnections: Switzerland's Transmission Network. |
IEEE Syst. J. |
2022 |
DBLP DOI BibTeX RDF |
|
| 21 | Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav 0001, Azalea Raad, John Wickerson |
View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version). |
CoRR |
2022 |
DBLP BibTeX RDF |
|
| 21 | Luis Lopez, Alvaro Gonzalez-Castellanos, David Pozo |
Construction of Multi-period TSO-DSO Flexibility Regions. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 21 | Zhenqi Wang, Sebastian Wende-von Berg, Martin Braun 0002 |
Robust N-1 secure HV Grid Flexibility Estimation for TSO-DSO coordinated Congestion Management with Deep Reinforcement Learning. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 21 | Alice Patig, Ognjen Stanojev, Petros Aristidou, Aristides E. Kiprakis, Gabriela Hug |
Fast Mapping of Flexibility Regions at TSO-DSO Interfaces under Uncertainty. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 21 | Nicolas Pauen, Ville Kukkonen, Ali Kücükavci, Mads Holten Rasmussen, Mikki Seidenschnur, Dominik Schlütter, Christian Anker Hviid, Christoph van Treeck |
A Roadmap Toward a Unified Ontology for Building Service Systems in the AECO Industry: TSO and FSO. |
LDAC@ESWC |
2022 |
DBLP BibTeX RDF |
|
| 21 | Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav 0001, Azalea Raad, John Wickerson |
View-Based Owicki-Gries Reasoning for Persistent x86-TSO. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 21 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan |
Verifying Reachability for TSO Programs with Dynamic Thread Creation. |
NETYS |
2022 |
DBLP DOI BibTeX RDF |
|
| 21 | Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu 0001 |
Decidability of Liveness for Concurrent Objects on the TSO Memory Model. |
SETTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 21 | Mubashar Amjad, Gareth A. Taylor, Chun Sing Lai, Zhengwen Huang, Maozhen Li 0001 |
Scalability and Reliability Analysis of a Novel Cloud Platform for TSO-DSO Information and Data Exchange. |
ISGT-Europe |
2022 |
DBLP DOI BibTeX RDF |
|
| 21 | Alice Patig, Ognjen Stanojev, Petros Aristidou, Aristides E. Kiprakis, Gabriela Hug |
Fast Mapping of Flexibility Regions at TSO-DSO Interfaces under Uncertainty. |
ISGT-Europe |
2022 |
DBLP DOI BibTeX RDF |
|
| 21 | Artem Khyzha, Ori Lahav 0001 |
Taming x86-TSO persistency. |
Proc. ACM Program. Lang. |
2021 |
DBLP DOI BibTeX RDF |
|
| 21 | Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, Viktor Toman |
The reads-from equivalence for the TSO and PSO memory models. |
Proc. ACM Program. Lang. |
2021 |
DBLP DOI BibTeX RDF |
|
| 21 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan |
Deciding reachability under persistent x86-TSO. |
Proc. ACM Program. Lang. |
2021 |
DBLP DOI BibTeX RDF |
|
| 21 | Sergio Potenciano Menci, Clemens Korner, Barbara Herndler, Tara Esterl, Christoph Gutschi, Ursula Krisper |
TSO-DSO interaction in 2030/2040: scalability of the traffic light system concept in the project InteGrid. |
Elektrotech. Informationstechnik |
2021 |
DBLP DOI BibTeX RDF |
|
| 21 | Huayong Li |
Digital humanities and new ways of teaching. Anna Wing-bo Tso (ed.). |
Digit. Scholarsh. Humanit. |
2021 |
DBLP DOI BibTeX RDF |
|
| 21 | Luis Lopez, Alvaro Gonzalez-Castellanos, David Pozo, Mardavij Roozbehani, Munther A. Dahleh |
QuickFlex: a Fast Algorithm for Flexible Region Construction for the TSO-DSO Coordination. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 21 | Dipankar Sarkar 0002, Mukur Gupta |
TSO: Curriculum Generation using continuous optimization. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 21 | Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu 0001 |
Decidability of Liveness on the TSO Memory Model. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 21 | Mikhail A. Bragin, Yury Dvorkin |
TSO-DSO Operational Planning Coordination through Surrogate Lagrangian Relaxation. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 21 | Anibal Sanjab, Hélène Le Cadre, Yuting Mou |
TSO-DSOs Stable Cost Allocation for the Joint Procurement of Flexibility: A Cooperative Game Approach. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 21 | Zhé Hóu, David Sanán, Alwen Tiu, Yang Liu 0003, Koh Chuen Hoa, Jin Song Dong |
An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model. |
J. Autom. Reason. |
2021 |
DBLP DOI BibTeX RDF |
|
| 21 | Georgios C. Kryonidis |
Hourly generation and consumption data for estimating the flexibility at TSO-DSO interface. |
|
2021 |
DOI RDF |
|
| 21 | João Pedro Vasques Vieira da Silva |
An optimization framework to estimate the active and reactive power flexibility in the TSO-DSO interface |
|
2021 |
RDF |
|
| 21 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Rojin Rezvan |
Parameterized verification under TSO is PSPACE-complete. |
Proc. ACM Program. Lang. |
2020 |
DBLP DOI BibTeX RDF |
|
| 21 | Mohamed Faouzi Atig |
What is decidable under the TSO memory model? |
ACM SIGLOG News |
2020 |
DBLP DOI BibTeX RDF |
|
| 21 | Stefan Stankovic, Lennart Söder |
Probabilistic Reactive Power Capability Charts at DSO/TSO Interface. |
IEEE Trans. Smart Grid |
2020 |
DBLP DOI BibTeX RDF |
|
| 21 | Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, Viktor Toman |
The Reads-From Equivalence for the TSO and PSO Memory Models. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 21 | Artem Khyzha, Ori Lahav 0001 |
Taming x86-TSO Persistency (Extended Version). |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 21 | Sylvain Conchon, David Declerck, Fatiha Zaïdi |
Parameterized Model Checking on the TSO Weak Memory Model. |
J. Autom. Reason. |
2020 |
DBLP DOI BibTeX RDF |
|
| 21 | Holm Hinners, Daniel Mayorga Gonzalez, Johanna M. A. Myrzik, Christian Rehtanz |
Multivariable control of active distribution networks for TSO-DSO-coordinated operation in wide-area power systems. |
Autom. |
2019 |
DBLP DOI BibTeX RDF |
|
| 21 | Ali Mohammadi 0003, Mahdi Mehrtash, Amin Kargarian |
Diagonal Quadratic Approximation for Decentralized Collaborative TSO+DSO Optimal Power Flow. |
IEEE Trans. Smart Grid |
2019 |
DBLP DOI BibTeX RDF |
|
| 21 | Zhe Hou, David Sanán, Alwen Tiu, Yang Liu 0003, Jin Song Dong |
A formalisation of the SPARC TSO memory model for multi-core machine code. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 21 | Shariq Riaz, Pierluigi Mancarella |
On Feasibility and Flexibility Operating Regions of Virtual Power Plants and TSO/DSO interfaces. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 21 | Ryan Kavanagh, Stephen Brookes |
A Denotational Semantics for SPARC TSO. |
Log. Methods Comput. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
| 21 | Kirsten Winter, Graeme Smith 0001, John Derrick |
Modelling concurrent objects running on the TSO and ARMv8 memory models. |
Sci. Comput. Program. |
2019 |
DBLP DOI BibTeX RDF |
|
| 21 | Mohammed Al-Saadi, Rui Pestana, Ricardo Pastor, Gonçalo Glória, Aleksandr Egorov, Francisco Reis, Tiago Simão |
Survey Analysis on Existing Tools and Services for Grid and Market Stakeholders and Requirements to Improve TSO/DSO Coordination. |
ISSE |
2019 |
DBLP DOI BibTeX RDF |
|
| 21 | Jibran Ali, Federico Silvestro |
Conventional Power Plants to TSO Frequency Containment Reserves - A Competitive Analysis for Virtual Power Plant's Role. |
RTSI |
2019 |
DBLP DOI BibTeX RDF |
|
| 21 | Katja Sirviö, Mike Mekkanen, Kimmo Kauhaniemi, Hannu Laaksonen, Ari Salo, Felipe Castro, Shoaib Ansari, Davood Babazadeh |
Controller Development for Reactive Power Flow Management Between DSO and TSO Networks. |
ISGT Europe |
2019 |
DBLP DOI BibTeX RDF |
|
| 21 | Michal Tomaszewski, Stefan Stankovic, Ingmar Leisse, Lennart Söder |
Minimization of Reactive Power Exchange at the DSO/TSO interface: Öland case. |
ISGT Europe |
2019 |
DBLP DOI BibTeX RDF |
|
| 21 | Azalea Raad, Viktor Vafeiadis |
Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model. |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
| 21 | Ryan Kavanagh, Stephen Brookes |
A Denotational Semantics for SPARC TSO. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 21 | João Silva, Jean Sumaili Akilimali, Ricardo J. Bessa, Luís Seca, Manuel A. Matos, Vladimiro Miranda |
The challenges of estimating the impact of distributed energy resources flexibility on the TSO/DSO boundary node operating points. |
Comput. Oper. Res. |
2018 |
DBLP DOI BibTeX RDF |
|
| 21 | Ahmed Bouajjani, Constantin Enea, Suha Orhun Mutluergil, Serdar Tasiran |
Reasoning About TSO Programs Using Reduction and Abstraction. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 21 | Ahmed Bouajjani, Constantin Enea, Suha Orhun Mutluergil, Serdar Tasiran |
Reasoning About TSO Programs Using Reduction and Abstraction. |
CAV (2) |
2018 |
DBLP DOI BibTeX RDF |
|
| 21 | Vladimír Still, Jiri Barnat |
Model Checking of C++ Programs Under the x86-TSO Memory Model. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
| 21 | Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Rajarshi Roy 0002 |
On Verifying TSO Robustness for Event-Driven Asynchronous Programs. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 21 | Muhui Yang, Yihua Huang |
OVS-DPDK with TSO feature running under docker. |
ICOIN |
2018 |
DBLP DOI BibTeX RDF |
|
| 21 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo |
Replacing Store Buffers by Load Buffers in TSO. |
VECoS |
2018 |
DBLP DOI BibTeX RDF |
|
| 21 | Eric Lambert, Hugo Morais, Francisco Reis, Rui Alves, Gareth Taylor, Andrej Souvent, Nermin Suljanovic |
Practices and Architectures for TSO-DSO Data Exchange: European Landscape. |
ISGT Europe |
2018 |
DBLP DOI BibTeX RDF |
|
| 21 | Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson 0001, Carl Leonardsson, Konstantinos Sagonas |
Stateless model checking for TSO and PSO. |
Acta Informatica |
2017 |
DBLP DOI BibTeX RDF |
|
| 21 | Adrien Saint-Pierre, Pierluigi Mancarella |
Active Distribution System Management: A Dual-Horizon Scheduling Framework for DSO/TSO Interface Under Uncertainty. |
IEEE Trans. Smart Grid |
2017 |
DBLP DOI BibTeX RDF |
|
| 21 | Ryan Kavanagh, Stephen Brookes |
A Denotational Semantics for SPARC TSO. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 21 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo |
The Benefits of Duality in Verifying Concurrent Programs under TSO. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 21 | John Derrick, Graeme Smith 0001, Lindsay Groves, Brijesh Dongol |
A Proof Method for Linearizability on TSO Architectures. |
Provably Correct Systems |
2017 |
DBLP DOI BibTeX RDF |
|
| 21 | Sylvain Conchon, David Declerck, Fatiha Zaïdi |
Compiling Parameterized X86-TSO Concurrent Programs to Cubicle- W. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
| 21 | Hossein Hooshyar, Luigi Vanfretti |
A SGAM-based architecture for synchrophasor applications facilitating TSO/DSO interactions. |
ISGT |
2017 |
DBLP DOI BibTeX RDF |
|
| 21 | Jibran Ali, Stefano Massucco, Giacomo Petretto |
Reactive power provision to TSO/DSO by aggregators and conventional generators. |
SmartGridComm |
2017 |
DBLP DOI BibTeX RDF |
|
| 21 | Alberto Ros 0001, Trevor E. Carlson, Mehdi Alipour, Stefanos Kaxiras |
Non-Speculative Load-Load Reordering in TSO. |
ISCA |
2017 |
DBLP DOI BibTeX RDF |
|
| 21 | Francesco Conte, Fabio D'Agostino, Stefano Massucco, Giovanni Palombo, Federico Silvestro, Claudio Bossi, M. Cabiati |
Dynamic equivalent modelling of active distribution networks for TSO-DSO interactions. |
ISGT Europe |
2017 |
DBLP DOI BibTeX RDF |
|
| 21 | Frey Alberto Florez Alzate |
Characterization, modelling and implementation of TSO: security process and its application in the operational planning of sustainable electric power systems. |
|
2017 |
RDF |
|
| 21 | Chinmay Narayan, Subodh Sharma 0001, S. Arun-Kumar 0004 |
Efficient Verification of Concurrent Programs Over TSO Memory Model. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 962 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license