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 20 to 39 of 46 < previous   next >
Issue DateTitleAuthor(s)
2000Fast multi-threading on shared memory multiprocessorsCordina, Joseph (2000)
2016First international summer school on runtime verification : as part of the ArVi COST Action 1402Colombo, Christian; Falcone, Yliès
2008Flight-32 debuggerCassar, Jonathan (2008)
2013A formal semantics for imperative compensationsCamilleri, Jennifer (2013)
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
2009Knowledge assistantGrech, Olivia Ann (2009)
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
2021On the monitorability of session types, in theory and practiceBartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste
2021On the monitorability of session types, in theory and practice (Artifact)Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste
2013Parallel construction and update of acceleration structures for ray tracingNapoli, Kevin (2013)
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 systemsCataldo, Giacinto De; Colombo, Christian; Franco, Antonio; Pace, Gordon J.; Valentino, Gianluca; Vella, Kevin
2012Runtime verification and compensationsColombo, Christian (2012)
2010Runtime verification of refined system propertiesSchembri, Ruth (2010)
1998-12Seamless parallel computing on heterogeneous networks of multiprocessor workstationsVella, Kevin;
2021Secure implementation of a quantum-future GAKE protocolAbela, Robert; Colombo, Christian; Malo, Peter; Sýs, Peter; Fabšič, Tomáš; Gallo, Ondrej; Hromada, Viliam; Mark Joseph
2000The semantics of verilog using transition system combinatorsPace, Gordon J.