Browsing by Subject Object-oriented methods (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 12 to 25 of 25 < previous 
Issue DateTitleAuthor(s)
2003Grammatically driven class derivation (extended abstract)Cachia, Ernest
2002Improving fine-grained multithreading performance through object-affinity schedulingAbela, Stephen (2002)
2015Investigating instrumentation techniques for ESB runtime verificationColombo, Christian; Dimech, Gabriel; Francalanza, Adrian
2014Investigating the application of search-based software engineering in object-oriented design optimisationVassallo, Clyde (2014)
2015An LTL proof system for runtime verificationCini, Clare; Francalanza, Adrian
2023Radio astronomical images object detection and segmentation : a benchmark on deep learning methodsSortino, Renato; Magro, Daniel; Fiameni, Giuseppe; Sciacca, Eva; Simone Riggi; DeMarco, Andrea; Spampinato, Concetto; Hopkins, Andrew M.; Bufano, Filomena; SchillirĂ², Francesco; Bordiu, Cristobal; Pino, Carmelo
2009Slowdown invariance of timed regular expressionsBondin, Ingram; Pace, Gordon J.; Colombo, Christian
2019Small object detection in highly variable backgroundsSchembri, Michael; Seychell, Dylan
2006Testing PRNG's for use in a GAMeli, Clyde
2012A type system for a higher-order languageZammit, Melanie; Francalanza, Adrian
2008UJ : type soundness for universe typesCunningham, Dave; Francalanza, Adrian; Drossopoulou, Sophia; Dietl, Werner; Muller, Peter
2008A unified framework for verification techniques for object invariantsDrossopoulou, Sophia; Francalanza, Adrian; Muller, Peter; Summers, Alexander J.
2008Universe types for topology and encapsulationCunningham, Dave; Dietl, Werner; Drossopoulou, Sophia; Francalanza, Adrian; Muller, Peter; Summers, Alexander J.
2007ViTAP : visual toolkit for audio processingBonnici, Addison (2007)