Division of Computer Systems: Publications from 2001
-
Effective Lossy Queue Languages.
. In ICALP'2001, 28th Int. Colloquium on Automata, Languages and Programmming., 2001. (External link
).
-
The Role of an Operating Systems Course in the IS Major
. In Information Systems Education Conference: (ISECON 2000), 2001.
-
Tools for Real-Time UML: Formal Verification and Code Synthesis
. In Proceedings of the Workshop on Specification, Implementation and Validation of Object-oriented Embedded Systems, 2001.
-
Mobile Aware Server Architecture: A distributed proxy architecture for content adaptation
. In INET 2001 Proceedings, 2001. (External link
).
-
SILK: Scout Paths in the Linux Kernel
. DoCS, Department of Information Technology, Uppsala University, 2001.
-
Efficient symbolic state exploration of timed systems: Theory and implementation
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2001-009, Uppsala University, 2001. (fulltext
).
-
A phenomenographic view on the socio-cultural activity theory in research concerning university students' learning of computer science in an internationally distributed environment
. In Psychology of Programming Interest Group 13th Annual Workshop, 2001.
-
Extending UNIX System Logging with SHARP
. In 14th Systems Administration Conference (LISA 2000): USENIX, 2001.
-
A cyber-icebreaker for an effective virtual group?
. In ACM SIGCSE Bulletin, volume 33, number 3, 2001. (External link
).
-
Practical verification of real-time systems
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2001-013, Uppsala University, 2001. (fulltext
).
-
Linux in Education: Teaching System Administration with Linux
. In Linux Journal, p 20, 2001.
-
Interprocess communication utilising special purpose hardware
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2001-016, Uppsala University, 2001. (fulltext
).
-
Cache-less address translation
. 2001.
-
Communication error reporting mechanism in a multiprocessing computer system
. 2001.
-
Communication error reporting mechanism in a multiprocessing computer system
. 2001.
-
Hybrid memory access protocol in a distributed shared memory computer system
. 2001.
-
Multiprocessing system configured to perform efficient block copy operations
. 2001.
-
Multiprocessing system configured to perform efficient block copy operations
. 2001.
-
Multiprocessing system configured to perform efficient block copy operations
. 2001.
-
Multiprocessor computer system employing a mechanism for routing communication traffic through a cluster node having a slice of memory direct
. 2001.
-
Selective address translation in coherent memory replication
. 2001.
-
Shared memory system for symmetric microprocessor systems
. 2001.
-
Shared memory system for symmetric multiprocessor systems
. 2001.
-
Skewed finite hashing function
. 2001.
-
Skewed finite hashing function
. 2001.
-
Performance of high-accuracy PDE solvers on a self-optimizing NUMA architecture
. In Euro-Par 2001: Parallel Processing, volume 2150 of Lecture Notes in Computer Science, pp 602-610, Springer-Verlag, Berlin, 2001. (DOI
).
-
Probabilistic Extensions of Process Algebras
. In , pp 685-710, ELSEVIER, 2001.
-
Architectures for application transparent proxies: A study of network enhancing software
. Ph.D. thesis, DoCS nr 118, Acta Universitatis Upsaliensis, Uppsala, 2001. (fulltext
).
-
Prefix-recognizable graphs and monadic second order logic
. In Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001, pp 263-284, Springer, 2001. (External link
).
-
Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001, Genova, Italy, April 2-6, 2001
. Volume 2031 of Lecture Notes in Computer Science, Springer, 2001.
-
A Dynamic Load Balancing Architecture for PDES using PVM on Clusters
. In Lecture Notes in Computer Science: Recent Advances in Parallel Virtual Machine and Message Passing Interface, volume 2131, pp 166-173, 2001. (External link
).
-
Student Evaluation in an International Collaborative Project Course
. In Proceedings WISE workshop, 2001.
-
Dealing with Memory-Intensive Web Requests
. Technical report / Department of Information Technology, Uppsala University nr 2001-010, 2001. (fulltext
).
-
Kernel-based Control of Persistent Web Server Connections
. In ACM Performance Review, volume 29, number 2, 2001. (DOI
).