Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedingsFORMATS 2004 (2004 Grenoble, France) Y Lakhnech (Yassine); Sergio Yovine; FTRTFT 2004 (2004 Grenoble, France)Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Artigo
|
![]() |
Complex-demand scheduling problem with application in smart gridKhonji, Majid ; Karapetyan, Areg ; Elbassioni, Khaled ; Chau, Sid Chi-KinTheoretical computer science, 2019-02, Vol.761, p.34-50 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
Optimization of Service Rate in a Discrete-Time Impatient Customer Queue Using Particle Swarm OptimizationLaxmi, Pikkala Vijaya ; Jyothsna, KanithiDistributed Computing and Internet Technology, p.38-42 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Temperature aware online algorithms for minimizing flow timeBirks, Martin ; Fung, Stanley P.Y.Theoretical computer science, 2017-01, Vol.661, p.18-34 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
5 |
Material Type: Capítulo de Livro
|
![]() |
System Occupancy of a Two-Class Batch-Service Queue with Class-Dependent Variable Server CapacityBaetens, Jens ; Steyaert, Bart ; Claeys, Dieter ; Bruneel, HerwigAnalytical and Stochastic Modelling Techniques and Applications, 2016, Vol.9845, p.32-44 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
On the Queue Length in the Discrete Cyclic-Waiting System of Geo/G/1 TypeLakatos, LaszloDistributed Computer and Communication Networks, p.121-131 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
7 |
Material Type: Capítulo de Livro
|
![]() |
On the Waiting Time in the Discrete Cyclic--Waiting System of Geo/G/1 TypeLakatos, LaszloDistributed Computer and Communication Networks, 2016, Vol.601, p.86-93 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
Constructing Control System Abstractions from Modular ComponentsKim, Eric S. ; Arcak, Murat ; Zamani, MajidProceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018, p.137-146New York, NY, USA: ACMTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Dynamical Origins of Distribution FunctionsZang, Chengxi ; Cui, Peng ; Zhu, Wenwu ; Wang, FeiProceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2019, p.469-478New York, NY, USA: ACMTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
A numerical approach of the analysis of optical container fillingEl Mahjoub, Youssef Ait ; Fourneau, Jean-Michel ; Castel-Taleb, HindProceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, 2019, p.159-162New York, NY, USA: ACMTexto completo disponível |