Zobrazeno 1 - 10
of 11
pro vyhledávání: '"Henrik Bohnenkamp"'
Autor:
Holger Hermanns, Yaroslav S. Usenko, Johann L. Hurink, Henrik Bohnenkamp, Angelika Mader, David N. Jansen
Publikováno v:
International journal on software tools for technology transfer, 12(5), 305-317. Springer
International Journal on Software Tools for Technology Transfer, 12, 305-318
International Journal on Software Tools for Technology Transfer, 12, 5, pp. 305-318
International Journal on Software Tools for Technology Transfer, 12, 305-318
International Journal on Software Tools for Technology Transfer, 12, 5, pp. 305-318
We treat the problem of generating cost-optimal schedules for orders with individual due dates and cost functions based on earliness/tardiness. Orders can run in parallel in a resource-constrained manufacturing environment, where resources are subjec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8daa76f226b462eeea3cb5131143fcc2
https://doi.org/10.1007/s10009-009-0129-y
https://doi.org/10.1007/s10009-009-0129-y
Publikováno v:
Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems, 500-504
STARTPAGE=500;ENDPAGE=504;TITLE=Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Scopus-Elsevier
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783540712084
TACAS
STARTPAGE=500;ENDPAGE=504;TITLE=Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Scopus-Elsevier
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783540712084
TACAS
The MoDeST Tool Environment (MOTOR) is a tool to facilitate the transformation, analysis and validation of modest models. modest is a modelling language to describe stochastic real-time systems. MOTOR implements the formal semantics of modest and is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::88843a7830719bb98263390fa9045f39
http://eprints.eemcs.utwente.nl/secure2/11534/01/fulltext.pdf
http://eprints.eemcs.utwente.nl/secure2/11534/01/fulltext.pdf
Publikováno v:
IEEE Transactions on Software Engineering. 32:812-830
This paper presents MODEST (modeling and description language for stochastic timed systems), a formalism that is intended to support 1) the modular description of reactive systems' behavior while covering both 2) functional and 3) nonfunctional syste
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3015e7340874692b380a8bcd28b4c732
https://doi.org/10.1109/tse.2006.104
https://doi.org/10.1109/tse.2006.104
Publikováno v:
ICST Workshops
Timed testing, i.e. a method of testing where timing plays a crucial role in the test verdict of the test cases, is an important quality assurance strategy in the development of embedded systems. Tool support is essential for timed testing, as timed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::adff3e12c7311fcc46a0f960d4c89142
Publikováno v:
Smart Spaces and Next Generation Wired/Wireless Networking ISBN: 9783642228742
NEW2AN
NEW2AN
This paper is concerned with the formal modelling and simulative analysis of an energy-efficient MAC protocol for gossip-based wireless sensor networks. This protocol is a variant of classical slotted Aloha in which the number of active TDMA slots is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::85f376048ebf71fb23e475af1a02cdc6
https://doi.org/10.1007/978-3-642-22875-9_18
https://doi.org/10.1007/978-3-642-22875-9_18
Autor:
M.R. Jongerden, Joost-Pieter Katoen, Henrik Bohnenkamp, Boudewijn R. Haverkort, Alexandru Mereacre
Publikováno v:
IEEE transactions on industrial informatics, 6(3), 276-286. IEEE Computer Society
The use of mobile devices is often limited by the battery lifetime. Some devices have the option to connect an extra battery, or to use smart battery-packs with multiple cells to extend the lifetime. In these cases, scheduling the batteries or batter
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1ace128a708012cfa90d433ed8e3cb6d
https://research.utwente.nl/en/publications/b875b903-beea-4e5e-a9e4-8cf739a58cfd
https://research.utwente.nl/en/publications/b875b903-beea-4e5e-a9e4-8cf739a58cfd
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642121036
MMB/DFT
MMB/DFT
In this paper, we analyze the energy-efficiency of a TDMA protocol (gMAC) for gossiping-based wireless sensor networks. In contrast to most schedule-based TDMA protocols, slot allocation in gMAC is decentralized, allowing adaptation to evolving netwo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a7fb75e1b61fb7bbc7a395973c609cd8
https://doi.org/10.1007/978-3-642-12104-3_10
https://doi.org/10.1007/978-3-642-12104-3_10
Publikováno v:
Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009, 63-72
STARTPAGE=63;ENDPAGE=72;TITLE=Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009
DSN
STARTPAGE=63;ENDPAGE=72;TITLE=Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009
DSN
The use of mobile devices is limited by the battery lifetime. Some devices have the option to connect an extra battery, or to use smart battery-packs with multiple cells to extend the lifetime. In these cases, scheduling the batteries over the load t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b60096dfbb258ba9ab842bebc81f59c3
https://research.utwente.nl/en/publications/beef2861-62a0-4a25-92a8-853d7870536f
https://research.utwente.nl/en/publications/beef2861-62a0-4a25-92a8-853d7870536f
Publikováno v:
ICST Workshops
Timed model-based testing is a technique which allows for the specification of timing in the model as well as in the test cases. As such, it is well suited for the testing of embedded systems, which usually puts a much higher demand on the amount of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fa1265bc0fc97a5407684b2cd9c49a80
https://doi.org/10.1109/icstw.2009.42
https://doi.org/10.1109/icstw.2009.42
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540672609
Computer Performance Evaluation.Modelling Techniques and Tools
Computer Performance Evaluation.Modelling Techniques and Tools
Invited Paper.- Performance Evaluation with Heavy Tailed Distributions.- Queueing Network Models.- Layered Modeling of Hardware and Software, with Application to a LAN Extension Router.- Object Allocation for Distributed Applications with Complex Wor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::93888fdc7eb2d20c4f9b14cf57c8831a
https://doi.org/10.1007/3-540-46429-8
https://doi.org/10.1007/3-540-46429-8