Saponaro, A., C. Donadoni, S. R. Pauleta, F. Cantini, M. Matzapetakis, G. Thiel, L. Banci, B. Santoro, and A. Moroni. "
HCN Channels: The Molecular Basis for their cAMP-TRIP8b Regulation."
Biophysical Journal. Vol. 108. Biophys J, 108. 2015. 366a.
Abstractn/a
Ameller, David, Xavier Franch, Cristina Gómez, João Araújo, Richard Berntsson Svensson, Stefan Biffl, Jordi Cabot, Vittorio Cortellessa, Maya Daneva, Daniel Mendez Fernández, Ana Moreira, Henry Muccini, Antonio Vallecillo, Manuel Wimmer, Vasco Amaral, Hugo Brunelière, Loli Burgueño, Miguel Goulão, Bernhard Schätz, and Sabine Teufl. "
Handling Non-Functional Requirements in Model-Driven Development: An Ongoing Industrial Survey."
23rd International Conference on Requirements Engineering (RE'15) - RE: Next! Ottawa, Canada: IEEE Computer Society, 2015.
Vale, Tiago, Ricardo J. Dias, João A. Silva, and João M. Lourenço. "
Execução concorrente e determinista de transações."
Proceedings of INForum Simpósio de Informática. INForum 2015. Covilhã, Portugal 2015.
AbstractNeste artigo apresentamos um protocolo de controlo de concorrência que garante que a execução concorrente de transações é equivalente à sua execução sequencial por uma ordem predefinida. Isto permite executar programas que usam transações de forma determinista. O protocolo (1) permite, pela primeira vez, a execução determinista de programas que usam memória transacional por hardware; e (2) garante a execução determinista de programas que usam memória transacional por software com um desempenho claramente superior ao estado da arte.