http://hdl.handle.net/1956/1031 Search the Channel search http://bora.uib.no/simple-search http://hdl.handle.net/1956/2396 Title: Type Systems for Resource Use in Component Software <br/> <br/>Authors: Hovland, Dag <br/> <br/>Abstract: In many situations a programmer must be concerned with resources which are not accounted and controlled completely by the programming language. These could be external physical resources, like a printer or a screen, it could be more abstract physical resources, like computing time, memory usage, or writing some file to disk or it could be other software components or programs. The resources can be used directly by the program, or indirectly, through the use of libraries or other software. An important property of these resources is their externally, often physically, enforced limits, which are independent of program execution. Finding maximum and minimum number of active or used instances of these resources at some point during execution can be difficult and demand time from both programmer and computer. But this can also be important for safe execution. As a silly example, a program which every minute allocates, but fails to deallocate, 1 byte of memory, will at some point fail, while runtime testing might not reveal this before it is run for a week. Many of the new mobile and low-cost devices (e.g. the hundred dollar laptop http://laptop.org ) would probably also benefit from provable upper limits on the usage of some resources, like writing to the disk or memory. Developing static systems for finding some of these limits, is the goal in which this thesis hopes to take part. With “static” I mean systems which analyse the source code, not the execution of the compiled program. Sat, 29 Oct 2005 22:58:59 GMT http://hdl.handle.net/1956/2005 Title: Development and application of methods for the analysis of microarray gene expression data <br/> <br/>Authors: Dysvik, Bjarte Thu, 19 Oct 2006 22:58:59 GMT http://hdl.handle.net/1956/1946 Title: Randomised Construction and Dynamic Decoding of LDPC Codes <br/> <br/>Authors: Knudsen, Joakim Grahl <br/> <br/>Description: Certain errors and misprints have been corrected in this updated edition of the thesis. Bergen, November 9, 2006. Tue, 29 Nov 2005 22:58:59 GMT http://hdl.handle.net/1956/1901 Title: Vulnerabilities in distributed computer systems <br/> <br/>Authors: Moen, Vebjørn <br/> <br/>Abstract: The society relies more and more on interconnected computers systems and distributed applications. This dissertation considers security in such systems, focusing on how to break the security. Online banking, wireless systems with thin clients, and e-government are covered by the seven papers included in the thesis. Tue, 03 Oct 2006 22:58:59 GMT http://hdl.handle.net/1956/1803 Title: Lineær kompleksitet til produkter av maksimalsekvenser <br/> <br/>Authors: Ovnerud, Torbjørn Fri, 29 Oct 1999 22:58:59 GMT http://hdl.handle.net/1956/1731 Title: How to cope with incorrect HTML <br/> <br/>Authors: Parnas, Dagfinn Sun, 29 Oct 2000 22:58:59 GMT http://hdl.handle.net/1956/1706 Title: Inexact solution of the schur complement equation in a primal-dual interior-point method for semidefinite programming <br/> <br/>Authors: Frimannslund, Lennart Mon, 29 Oct 2001 22:58:59 GMT http://hdl.handle.net/1956/1705 Title: Drum analysis <br/> <br/>Authors: Riskedal, Espen <br/> <br/>Abstract: This thesis studies drumloops, and the possibility to separate the different drumsounds from each other. Drum onsets and the detection of these are thoroughly discussed. Different approaches for detection and separation are discussed and a measure for correctness is presented. Mon, 29 Oct 2001 22:58:59 GMT