Institutionen för informationsteknologi
Institutionen för informationsteknologi
Uppsala universitetInformationsteknologiForskningDatorteknik
This page in English
Lyssna

Avdelningen för Datorteknik: Publikationer från 2002

  1. Regular Model Checking made Simple and Efficient. Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson och Julien D'Orso. I CONCUR 2002: Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings, pp 116-130, 2002.
  2. Regular Tree Model Checking. Parosh Aziz Abdulla, Bengt Jonsson, Pritha Mahata och Julien D'Orsi. I CAV 2002, 14th Int. Conf. on Computer Aided Verification., pp 555-568, 2002.
  3. Code Synthesis for Timed Automata. Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun och Wang Yi. I Nordic Journal of Computing, volym 9, nummer 4, pp 269-300, 2002.
  4. TIMES: A Tool for Modelling and Implementation of Embedded Systems. Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson och Wang Yi. I Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2002, volym 2280 av Lecture Notes in Computer Science, pp 460-464, Springer-Verlag, Berlin, 2002. (DOI).
  5. New UPPAAL Architecture. Gerd Behrmann, Alexandre David, Kim Larsen och Wang yi. I Workshop on Real-Time Tools, 2002.
  6. UPPAAL Implementation Secrets. Behrmann Gerd, Johan Bengtsson, Alexandre David, Kim Larsen, Paul Pettersson och Wang Yi. I International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, p 3, 2002.
  7. Automated Analysis of an Audio Control Protocol Using UPPAAL. Johan Bengtsson, David Griffioen, Kåre Kristoffersen, Kim Larsen, Fredrik Larsson, Paul Pettersson och Wang Yi. I Journal of Logic and Algebraic Programming, volym 52-53, pp 163-181, 2002. (Extern länk).
  8. Clocks, DBMs and States in Timed Systems. Johan Bengtsson. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 39, Acta Universitatis Upsaliensis, Uppsala, 2002.
  9. Reachability Analysis for Timed Automata with Constraints over Clock Differences.. Yi W. Bengtsson J. Technical Report, Uppsala University, 2002.
  10. Are you guys really concerned about the grades?. Anders Berglund och Shirley Booth. I Proceedings of ISCRAT2002, 2002. (Extern länk).
  11. How do students understand network protocols?: A phenomenographic study. Anders Berglund. Technical report / Department of Information Technology, Uppsala University nr 2002-006, 2002. (fulltext).
  12. Learning computer systems in a distributed course: Problematizing content and context.. Anders Berglund. I Proceedings of the European Association for Research on Learning and Instruction, SIG 10, Current Issues in Phenomenography, 2002. (Extern länk).
  13. On the understanding of computer network protocols. Anders Berglund. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2002-002, Uppsala University, 2002. (fulltext).
  14. Understanding Network Protocols.: A Phenomenographic study. Anders Berglund. I Proceedings of the second annual Finnish/Baltic Sea conference on computer science education, pp 70-75, 2002.
  15. Automated analysis of dynamic web services. Jonas Boustedt. Technical report / Department of Information Technology, Uppsala University nr 2002-010, 2002. (fulltext).
  16. Worst-Case Execution Time Analysis of Disable Interrupt Regions in a Commercial Real-Time Operating System. Martin Carlsson, Jakob Engblom, Andreas Ermedahl, Jan Lindblad och Björn Lisper. I RT TOOLS 2002,: Proc. 2nd Workshop on Real-Time Tools, Copenhagen, Denmar, August 2002, 2002.
  17. Eliminating queues from RT UML model representations. Werner Damm och Bengt Jonsson. I FTRTFT 2002: Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings., pp 375-394, 2002.
  18. Distributed Teaching with Local Control. Mats Daniels. I IEEE Frontiers in Education conference, p T4E12, 2002. (Extern länk).
  19. Open Ended Group Projects, Motivating Students and Preparing them for the. Mats Daniels, Xristine Faulkner och Ian Newman. I IEEE Conference on Software Engineering Education & Training, 2002. (Extern länk).
  20. A Tool Architecture for the Next Generation of Uppaal. Alexandre David, Gerd Behrmann, Kim Larsen och Wang Yi. I Formal Methods at the Crossroads. From Panacea to Foundational Support, pp 352-366, Springer, 2002.
  21. Formal Verification of UML Statecharts with Real-Time Extensions. Alexandre David, Oliver Möller och Wang Yi. I Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, pp 218-232, 2002.
  22. Processor Pipelines and Static Worst-Case Execution Time Analysis. Jakob Engblom. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 36, Acta Universitatis Upsaliensis, Uppsala, 2002. (fulltext).
  23. Processor Pipelines and Their Properties for Static WCET Analysis.. Jakob Engblom och Bengt Jonsson. I EMSOFT 2002: Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings., pp 334-348, 2002. (Extern länk).
  24. A Unified Flow Information Language for WCET Analysis. Ermedahl A, Engblom J, Stappert F.. I WCET Workshop, Wien, June 18, 2002., 2002.
  25. A QoS aware power save protocol for wireless ad hoc networks. Laura Marie Feeney. I 1st Mediterranean Workshop on Ad Hoc Networks(Med-Hoc Net 2002), 2002.
  26. Demonstration Abstract: Spontaneous networking for secure collaborative applications in an infrastructureless environment.: International Conference on Pervasive Computing (Pervasive 2002). Laura Marie Feeney, Bengt Ahlgren och Assar Westerlund. 2002.
  27. Spontnet: Experiences in configuring and securing small ad hoc networks. Laura Marie Feeney, Bengt Ahlgren, Assar Westerlund och Adam Dunkels. I 5th International Workshop on Networked Applicances(IWNA5), 2002.
  28. Schedulability Analysis with Two Clocks. Fersman E, Mokrushin L, Pettersson P, Yi W.. Technical Report, 2002.
  29. Breaking all the symmetries in matrix models: Results, conjectures, and directions. Pierre Flener och Justin Pearson. I Proceedings of SymCon'02, the Second International Workshop on Symmetry in CSPs, 2002. (Extern länk).
  30. Breaking row and column symmetries in matrix models. Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson och Toby Walsh. I Principles and Practice of Constraint Programming – CP 2002, volym 2470 av Lecture Notes in Computer Science, pp 462-476, Springer-Verlag, Berlin, 2002. (DOI).
  31. Proceedings of SymCon'02, the Second International Workshop on Symmetry in CSPs. Pierre Flener och Justin Pearson (red). 2002. (Extern länk).
  32. LUNAR: ligthweight Underlay Network Ad-hoc Routing. Richard Gold och Christian Tschudin. Technical Report, Uppsala University, 2002.
  33. Hierarchical SMP computer System. Erik Hagersten. 2002.
  34. Hybrid memory access protocol in a distributed shared memory computer system. Erik Hagersten. 2002.
  35. Methods and apparatus for a directory-less memory access protocol in a distributed shared memory computer system. Erik Hagersten. 2002.
  36. Selective address translation in coherent memory replication. Erik Hagersten. 2002.
  37. Skewed finite hashing function. Erik Hagersten. 2002.
  38. Performance of PDE solvers on a self-optimizing NUMA architecture. Sverker Holmgren, Markus Nordén, Jarmo Rantakokko och Dan Wallin. I Parallel Algorithms and Applications, volym 17, pp 285-299, 2002. (DOI).
  39. Differentiated security in wireless networks. Andreas Johnsson. Information technology, Uppsala University, 2002. (Extern länk).
  40. Testing preorders for probabilistic processes can be characterized by simulations. Bengt Jonsson och Wang Yi. I Theoretical Computer Science, volym 282, nummer 1, pp 33-51, 2002.
  41. Accessing distributed proxy configurations. Björn Landfeldt, Marius Portmann, Aruna Seneviratne, Sebastien Ardon och Per Gunningberg. AU, WO, US, 2002. (Extern länk).
  42. Creating distributed proxy configurations. Björn Landfeldt, Aruna Seneviratne, Per Gunningberg, Sebastien Ardon och Marius Portmann. AU, WO, US, GB, DE, 2002. (Extern länk).
  43. Learning from students: Continous improvement in international collaboration. Mary Last, Mats Daniels, Martha Hause och Mark Woodroffe. I ACM SIGCSE Bulletin, volym 34, nummer 3, 2002. (Extern länk).
  44. Dynamic Message Sequence Charts. Martin Leucker, Parthasarahy Madhusudan och Supratik Mukhopadhyay. I FSTTCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings., pp 253-264, 2002.
  45. Axiomatising timed automata. Huimin Lin och Wang Yi. I Acta Informatica, volym 38, nummer 4, pp 277-305, 2002.
  46. Ad hoc Protocol Evaluation and Experiences of Real World Ad Hoc Networking. David Lundberg. Informationsteknologi, Uppsala Universitet, 2002.
  47. A Large-scale Testbed for Reproducible Ad hoc Protocol Evaluations. Henrik Lundgren, David Lundberg, Johan Nielsen, Erik Nordström och Christian Tschudin. I Proceedings of the 3rd annual IEEE Wireless Communications and Networking Conference, 2002. WCNC2002., volym 1 av IEEE Wireless Communications and Networking, pp 412-418, 2002. (DOI).
  48. Coping with Communication Gray Zones in IEEE 802.11b based Ad hoc Networks. Henrik Lundgren, Erik Nordström och Christian Tschudin. I Proceedings of the 5th ACM international workshop on Wireless mobile multimedi, 2002.
  49. Implementation and real-world evaluation of routing protocols for wireless ad hoc networks. Henrik Lundgren. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2002-008, Uppsala University, 2002. (fulltext).
  50. The Gray Zone Problem in IEEE 802.11b based Ad hoc Networks. Henrik Lundgren, Erik Nordström och Christian Tschudin. I ACM SIGMOBILE Mobile Computing and Communications Review, volym 6, nummer 3, pp 104-105, 2002.
  51. First-Come-First-Served Packet Dispersion and Implications for. Bob Melander, Mats Björkman och Per Gunningberg. 2002.
  52. Regression-Based Available Bandwidth Measurements. Bob Melander, Mats Björkman och Per Gunningberg. I Proc of the 2002 International Symposium on Performance Evaluation of Computer and Telecommunications, 2002.
  53. Trace-Driven Network Path Emulation. Bob Melander och Mats Björkman. Technical report / Department of Information Technology, Uppsala University nr 2002-037, Uppsala University, 2002. (fulltext).
  54. Extracting the Process Structure of Erlang Applications. J. Nyström och B. Jonsson. I Erlang Workshop, Firenze, Sept. 2, 2002.
  55. Describing computer science education research: An academic process view. Arnold Pears, Mats Daniels och Anders Berglund. I SCS 2002, Western multiconference, San Antonio, pp 99-104, 2002. (Extern länk).
  56. The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation.. Mikael Pettersson, Konstantinos Sagonas och Erik Johansson. I Proceedings of the 6th International Symposium on Functional and Logic Programming, Aizu, Japan, September 2002. Springer, pp 228-244, 2002.
  57. Workshop on Real-Time Tools. Paul Pettersson och Wang Yi. 2002.
  58. Efficient Synchronization for Non-Uniform Communication Architectures. Zoran Radovic och Erik Hagersten. I Proceedings of Supercomputing 2002, Baltimore, Maryland, USA, 2002. (Extern länk).
  59. RH Lock: A Scalable Hierarchical Spin Lock. Zoran Radovic och Erik Hagersten. I Proceedings of the 2nd Annual Workshop on Memory Performance Issues (WMPI 2002), held in conjunction with the 29th International Symposium on Computer Architecture (ISCA29), Anchorage, Alaska, USA, 2002. (Extern länk).
  60. Network Pointers. Christian Tschudin och Richard Gold. I SIGCOMM Communications Review, volym 33, nummer 1, 2002. (Extern länk).
  61. Adaptive Resource-based Web Server Admission Control. Thiemo Voigt och Per Gunningberg. I 7th IEEE Symposium on Computers and Communication, 2002. (DOI).
  62. Architectures for Service Differentiation in Overloaded Internet Servers. Thiemo Voigt. Doktorsavhandling, DoCS nr 119, SICS dissertation series nr 30, Institutionen för informationsteknologi, Uppsala, 2002. (fulltext).
  63. Handling Multiple Bottlenecks in Web Servers Using Adaptive Inbound Controls. Thiemo Voigt och Per Gunningberg. I Seventh International Workshop on Protocols for High-Speed Networks (PfHSN 2002), 2002.

Uppdaterad  2016-12-09 16:31:16 av Peter Waites.