Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic resources

Leveraging register windows to reduce physical registers to the bare minimum

Author:Antonio Marúa González Colás, Joan Manuel Parcerisa Bundó, Eduardo Quiñones
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Register window is an architectural technique that reduces memory operations required to save and r…

Software trace cache

Author:Josep Larriba Pey, Alejandro Ramúrez Bellido, Mateo Valero Cortés
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: We explore the use of compiler optimizations, which optimize the layout of instructions in memory. …

A case for resource-conscious out-of-order processors

Author:Adrián Cristal Kestelman, José Francisco Llosa Espuny, José F Martínez, Mateo Valero Cortés
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Modern out-of-order processors tolerate long-latency memory operations by supporting a large number…

Flexible constrained sampling with guarantees for pattern mining

Author:A Giacometti, A Zimmermann, C Bucilă, CP Gomes, F Bonchi, Luc De Raedt, M Berlingerio, M Boley, MA Hasan, Matthijs van Leeuwen, S Ermon, S Nijssen, T Calders, T Guns, T Guns, Vladimir Dzyuba
Publisher:Springer Science and Business Media LLC
Abstract: Pattern sampling has been proposed as a potential solution to the infamous pattern explosion. Inste…

TS-MUWSN: Time synchronization for mobile underwater sensor networks

Author:Pierre-jean Bouvet, Oriol Pallarés Valls, Joaquín del Río Fernandez
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Time synchronization is an important, yet challenging, problem in underwater sensor networks (UWSNs…

Lightweight and static verification of UML executable models

Author:Jordi Cabot, Cristina Gómez Seoane, Elena Planas Hortal
Publisher:Elsevier BV
Abstract: Executable models play a key role in many software development methods by facilitating the (semi)au…

Mixed-methods research: a new approach to evaluating the motivation and satisfaction of university students using advanced visual technologies

Author:David Fonseca Escudero, Ernesto Redondo Domúnguez, Sergi Villagrasa
Publisher:Springer Science and Business Media LLC
Abstract: The final publication is available at link.springer.comA mixed-methods study evaluating the mo…

Accessibility-based reranking in multimedia search engines

Author:Anastasios Drosou, Dimitrios Tzovaras, DS Friedman, EM Fine, F Liu, H Brettel, H Hirvel√§, H Kim, I Kalamaras, Ilias Kalamaras, IY Kim, J Liu, J Sang, JR Lavery, KW-T Leung, L Zhang, M Wang, Nikolaos Dimitriou, NJ Belkin, PK Atrey, S Lawrence, S Tajima, S Yang, T-L Ji, Y Nikulin, Z Wang
Publisher:Springer Science and Business Media LLC
Abstract: Traditional multimedia search engines retrieve results based mostly on the query submitted by the u…

HiTrust: building cross-organizational trust relationship based on a hybrid negotiation tree

Author:A. Ahmed, Bo Li, D. Zou, Dazhi Sun, E. Bertino, H. Skogsrud, H. Yamaki, I. Constandache, J. Huai, J. Li, Jianxin Li, Lu Liu, M. Winslett, M. Winslett, N. Dragoni, N. Dragoni, N. Li, P. Bonatti, T. Y. M. Winslett, T. Yu, T. Yu, U. Hansmann, W. Chen, W. H. Winsborough, W. H. Winsborough, Xudong Liu
Publisher:Springer Science and Business Media LLC
Abstract: Small-world phenomena have been observed in existing peer-to-peer (P2P) networks which has proved u…

Reducing cultural barriers via Internet courses

Author:Kenneth A Spencer, Minjie Xing
Publisher:Informa UK Limited
Abstract: A web-based learning environment has been developed to support students from China who are studying…
Powered by: