Filters








1,301 Hits in 8.3 sec

On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications [chapter]

Christian Brenner, Joel Greenyer, Wilhelm Schäfer
2015 Lecture Notes in Computer Science  
This paper presents a novel approach for the automatic synthesis of a distributed implementation from a global specification.  ...  In our approach, MSDs-a scenario-based specification language-can be used to intuitively, but formally define the requirements.  ...  [7] describe an approach for controller synthesis from LSCs based on the creation of a product automaton; a distributed implementation is then formed by fully-synchronized copies of a centralized controller  ... 
doi:10.1007/978-3-662-46675-9_4 fatcat:cesmffqz4nbpbb2rzosp3aj3vq

A network agent for diagnosis and analysis of real-time Ethernet networks

Hans Peter Löb, Rainer Buchty, Wolfgang Karl
2006 Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems - CASES '06  
Within the field of automation technology the use of Industrial Ethernet is rising.  ...  An auxiliary processing unit as well as a modular software environment allow customization for a variety of tasks. The agent is realized as a dual processor SoC design on a Xilinx Virtex-II Pro FPGA.  ...  Precisely triggered recordings and on-the-fly analysis are especially key to efficiently using the scarce overall memory resources.  ... 
doi:10.1145/1176760.1176770 dblp:conf/cases/LobBK06 fatcat:el5kz3lu3nhvpkcjtj242ogfhq

Optimal Control Problems in Drone Operations for Disaster Search and Rescue

Fernando Lobo Pereira
2021 Procedia Computer Science  
-, on the other hand, are obtained by embedding the procedure to solve the optimal control problem in a receding horizon framework of the model predictive control type.  ...  -, on the other hand, are obtained by embedding the procedure to solve the optimal control problem in a receding horizon framework of the model predictive control type.  ...  Acknowledgements The authors acknowledge the partial support of FCT R&D Unit SYSTEC -POCI-01-0145-FEDER-006933 funded by ERDF -COMPETE2020 -FCT/MEC -PT2020 (extension to 2018), Project STRIDE -NORTE-01  ... 
doi:10.1016/j.procs.2021.04.127 fatcat:ajjz55eyandujmhabobef7374e

Programming MPSoC platforms: Road works ahead!

R. Leupers, A. Vajda, M. Bekooij, Soonhoi Ha, R. Domer, A. Nohl
2009 2009 Design, Automation & Test in Europe Conference & Exhibition  
On the other hand, at least for coming years, the freedom for disruptive programming technologies is limited by the huge amount of certified sequential code that demands for a more pragmatic, gradual tool  ...  Even more important from a SW developer´s viewpoint, at the same time the classical sequential von Neumann programming model needs to be overcome.  ...  specifically in a multi-application scenario.  ... 
doi:10.1109/date.2009.5090917 fatcat:dz4ubgggofc3dnfqlnyknucgsa

Effects of Physiology-Based Interaction on Collaborative Performance

Sebastián Mealla, Sergi Jordà, Aleksander Väljamäe
2010 Zenodo  
However, most of these systems are focused on single-user modes, and its application in collaborative scenarios is still scarce.  ...  declared less difficulty and greater ease to solve the tasks. (2) They also shown higher levels of confidence during the performance. (3) The distribution of control and leadership was balance and didn't  ...  compose music on the fly, and the signal complexity is used to control the tempo of the music[34:3].  ... 
doi:10.5281/zenodo.3753106 fatcat:7fieolvccjes7p4rtty5d4vnxa

Security and privacy issues in middleware for emergency and rescue applications

Matija Puzar, Thomas Plagemann, Yves Roudier
2008 2008 Second International Conference on Pervasive Computing Technologies for Healthcare  
Based on this analysis, the thesis suggests solutions to a selected set of major challenges. The thesis' main contributions are threefold.  ...  The distributed nature of the data space is transparent to the applications, as well as the fact that data versioning is performed for the purposes of consistency, conflict resolution, and auditing.  ...  Skjelsvik for contributing with valuable feedback on NEMAN as a patient beta tester, and Erek Göktürk for providing important insights into related work.  ... 
doi:10.1109/pcthealth.2008.4571037 dblp:conf/ph/PuzarPR08 fatcat:xqkyel3klbeshcphmky7e5itku

Probabilistic Management of Ad-Hoc Networks

R. Badonnel, R. State, O. Festor
2006 2006 IEEE/IFIP Network Operations and Management Symposium NOMS 2006  
Finally, Section 4 concludes the chapter with a synthesis of research orientations in this domain.  ...  This chapter presents a state of the art of the management of ad-hoc networks and is structured as follows.  ...  The network maintenance tasks are shared among theses nodes in a distributed manner based on synchronization and cooperation mechanisms. • resource constraints: bandwidth and energy are scarce resources  ... 
doi:10.1109/noms.2006.1687564 dblp:conf/noms/BadonnelSF06 fatcat:wuwt63ro5fe5jj34vyygh3rkkq

Management of ad-Hoc Networks [chapter]

Remi Badonnel, Radu State, Olivier Festor
2008 Handbook of Network and System Administration  
Finally, Section 4 concludes the chapter with a synthesis of research orientations in this domain.  ...  This chapter presents a state of the art of the management of ad-hoc networks and is structured as follows.  ...  The network maintenance tasks are shared among theses nodes in a distributed manner based on synchronization and cooperation mechanisms. • resource constraints: bandwidth and energy are scarce resources  ... 
doi:10.1016/b978-044452198-9.50016-1 fatcat:w3krhtoymngllfjxtqb57jpwya

Market power in a deregulated electrical industry

Michael J. Denton, Stephen J. Rassenti, Vernon L. Smith, Steven R. Backerman
2001 Decision Support Systems  
Its contributions cover aspects of power system operation on a time scale ranging from day-ahead trading of electrical energy to second-based load-frequency control.  ...  More specifically, the differences between locational pricing and cost-based congestion redispatch are analyzed, followed by an assessment of their effects on grid operation.  ...  Distributed controller synthesis Based on the above results, we now provide two non-centralized synthesis solutions for the stabilization of NDS.  ... 
doi:10.1016/s0167-9236(00)00111-1 fatcat:yssgmctjrve3ngw5vvffo2xwry

Climate Change and Wildlife in the Southern United States [chapter]

Cathryn Greenberg, Roger Perry, Kathleen Franzreb, Susan Loeb, Daniel Saenz, D Rudolph, Eric Winters, E Fucik, M Kwiatkowski, B Parresol, J Austin, G Tanner
2013 Climate Change Adaptation and Mitigation Management Options  
In the southeastern United States, climate models project a temperature increase of 2-10°C by 2100 (Intergovernmental Panel on Climate Change 2007). Climate change is already evident.  ...  Correspondingly, drought has affected a larger portion of the Southeast over the past three decades. The patterns and 11 CONTENTS Mammals ..  ...  Based on the outcome of this model, we modeled the distribution of Indiana bats for the period 2041-2060 using the forecasted temperature and precipitation for each of the four climate scenarios.  ... 
doi:10.1201/b15613-12 fatcat:pc2rsabajjfsvhaajqojqg2t3u

Verification and Design Methods for the BrainScaleS Neuromorphic Hardware System

Andreas Grübl, Sebastian Billaudelle, Benjamin Cramer, Vitali Karasenko, Johannes Schemmel
2020 Journal of Signal Processing Systems  
We present early results from the first full-size BrainScaleS-2 ASIC containing 512 neurons and 130 K synapses, demonstrating the successful application of these methods.  ...  on-chip learning and plasticity.  ...  Scholze from the group Hochparallele VLSI-Systeme und Neuromikroelektronik of C.  ... 
doi:10.1007/s11265-020-01558-7 fatcat:wkgpqcrdgfb43kssrr6o7pa36y

Survey and future directions of fault-tolerant distributed computing on board spacecraft

Muhammad Fayyaz, Tanya Vladimirova
2016 Advances in Space Research  
of task states minimal, which proves the advantages of the adopted cooperative distributed approach for use on board spacecraft. iii  ...  To examine the FTDC architecture performance under a realistic space related distributed computing scenario a case-study application, representing a satellite Attitude and Orbit Control System (AOCS),  ...  The specification of the attitude task is as follows: task, one of these is activated based on the AOCS mode of operation.  ... 
doi:10.1016/j.asr.2016.08.017 fatcat:szoac6aiwvbs3d2dyh5smxsgqa

Transcriptome-wide analysis of the Trypanosoma cruzi proliferative cycle identifies the periodically expressed mRNAs and their multiple levels of control

Santiago Chávez, Guillermo Eastman, Pablo Smircich, Lorena Lourdes Becco, Carolina Oliveira-Rizzo, Rafael Fort, Mariana Potenza, Beatriz Garat, José Roberto Sotelo-Silveira, María Ana Duhagon, Marinus F.W. te Pas
2017 PLoS ONE  
Transcriptome-wide analysis of the Trypanosoma cruzi proliferative cycle identifies the periodically expressed mRNAs and their multiple levels of control. PLoS ONE 12(11): e0188441. https://doi.  ...  Our results provide novel information of the T. cruzi proliferative proteins and the integrated levels of their gene expression control.  ...  We kindly appreciate the technical support on DNA content analysis provided for Dr. Lucia Piacenza at UDELAR at the beginning of this study.  ... 
doi:10.1371/journal.pone.0188441 pmid:29182646 pmcid:PMC5705152 fatcat:x6diqog7ere25nc4xponxlnu3q

LPaaS as Micro-Intelligence: Enhancing IoT with Symbolic Reasoning

Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
2018 Big Data and Cognitive Computing  
In the era of Big Data and IoT, successful systems have to be designed to discover, store, process, learn, analyse, and predict from a massive amount of data—in short, they have to behave intelligently  ...  In this paper we focus on logic programming (LP), and advocate its role as a provider of symbolic reasoning capabilities in IoT scenarios, suitably complementing non-symbolic ones.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/bdcc2030023 fatcat:p7k74aoklffarnih4z36b22bsi

Verification and Design Methods for the BrainScaleS Neuromorphic Hardware System [article]

Andreas Grübl, Sebastian Billaudelle, Benjamin Cramer, Vitali Karasenko, Johannes Schemmel
2020 arXiv   pre-print
We present early results from the first full-size BrainScaleS-2 ASIC containing 512 neurons and 130K synapses, demonstrating the successful application of these methods.  ...  on-chip learning and plasticity.  ...  Scholze from the group Hochparallele VLSI-Systeme und Neuromikroelektronik of C.  ... 
arXiv:2003.11455v1 fatcat:jtatailsyfbwfmov72lumjpxli
« Previous Showing results 1 — 15 out of 1,301 results