Browsing by Subject Computer science

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 20 of 22  next >
Issue DateTitleAuthor(s)
2008Applying a genetic algorithm for coverage optimization of non-stationary nodesCauchi, Patrick (2008)
2016-08Communicating generators in JavascriptMicallef, Kurt; Vella, Kevin
2015Computational thinking in the primary classroom : a case study about digital age skills for childrenAbela, Romina; Galea, Ryan
2017Consistently-detecting monitorsFrancalanza, Adrian
2015-11CSAW’15 Computer Science Annual WorkshopVella, Kevin
1999-04CSP/occam on shared memory multiprocessor workstationsVella, Kevin; Welch, Peter H.
2016Determinizing monitors for HML with recursionAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingolfsdottir, Anna; Kjartansson, Saevar Orn
2016Device-centric monitoring for mobile device managementChircop, Luke; Colombo, Christian; Pace, Gordon J.
2017-12Effectiveness of EUMEDGRIDVella, Kevin; EUMEDGRID
2018Expressing runtime verification properties using regular expression in LARVAChatlani, Avinash
2016First international summer school on runtime verification : as part of the ArVi COST Action 1402Colombo, Christian; Falcone, Ylies
2002High performance wait-free thread scheduling on shared memory multiprocessorsDebattista, Kurt; Vella, Kevin
2018In search of the fastest sorting algorithmAttard Cassar, Emmanuel
2002Integrating fast network communication with a user-level thread schedulerBusuttil, Steven
2017-08Mapping CSP networks to MPI clusters using channel graphs and dynamic instrumentationAzzopardi, Gabriella; Vella, Kevin; Muscat, Adrian
2016-11Nested window management and task-oriented user interfacesVella, Kevin; Zammit, Alan
2011Permission-based separation logic for message-passing concurrencyFrancalanza, Adrian; Rathke, Julian; Sassone, Vladimiro
2016-06Run-time monitoring for the diagnosis and recovery of complex physical systemsDe Cataldo, Giacinto; Colombo, Christian; Franco, Antonio; Pace, Gordon J.; Valentino, Gianluca; Vella, Kevin
2010Runtime verification of refined system propertiesSchembri, Ruth (2010)
1998-12Seamless parallel computing on heterogeneous networks of multiprocessor workstationsVella, Kevin;