Division of Computer Systems: Publications from 2006
-
Eager Markov Chains: Eager Markov Chains
. In Proceedings of the fourth international symposium on Automated Technology for Verification and Analysis (ATVA), pp 24-38, 2006.
-
Limiting Behavior of Markov Chains with Eager Attractors
. In Third International Conference on the Quantitative Evaluation of Systems (QEST), pp 253-262, 2006.
-
Bisimulation Minimization of Tree Automata
. In Implementation and Application of Automata, volume 4094 of Lecture Notes in Computer Science, pp 173-185, Springer-Verlag, Berlin, 2006. (DOI
).
-
Minimization of Non-deterministic Automata with Large Alphabets
. In Implementation and Application of Automata, volume 3845 of Lecture Notes in Computer Science, pp 31-42, Springer Berlin/Heidelberg, 2006. (DOI
).
-
Proving Liveness by Backwards Reachability
. 2006.
-
Tree Regular Model Checking: A simulation-based approach
. In Journal of Logic and Algebraic Programming, volume 69, number 1-2, pp 93-121, 2006. (DOI
).
-
Implementing Agreement Protocols in Sensor
. In The Second International Workshop on Wireless and Sensor Networks Security (WSNS'06), 2006. (External link
).
-
Uppsala Underdogs - A Robot Soccer Project
. 2006. (External link
).
-
Presenter First: Organizing Complex GUI Applications for TDD
. In Agile International Conference, Minneapolis, MN, 2006.
-
Project Avatar Developing a Distributed Mobile Phone Game
. Technical report / Department of Information Technology, Uppsala University nr 2006-010, 2006. (fulltext
).
-
Developing A-GPS as a Student Project
. 2006. (External link
).
-
Uppaal 4.0
. In Proceedings of 3rd International Conference on Quantitative Evaluation of Systems, 2006.
-
Verifiable Agreement: Limits of Non-Repudiation in Mobile Peer-to-Peer Ad Hoc Networks
. In Third European Workshop on Security and Privacy in Ad hoc and Sensor Networks, 2006. (External link
).
-
A Statistical Multiprocessor Cache Model
. In Proc. International Symposium on Performance Analysis of Systems and Software: ISPASS 2006, pp 89-99, IEEE, Piscataway, NJ, 2006. (DOI
).
-
Regular Inference for State Machines with Parameters.
. In Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006,, pp 107-121, 2006.
-
Regular inference for reactive systems
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2006-003, Uppsala University, 2006. (fulltext
).
-
Phenomenography as a way to research learning in computing
. In Bulletin of Applied Computing and Information Technology, BACIT, volume 4, number 1, 2006. (External link
).
-
Qualitative Research Projects in Computing Education Research: An Overview.
. In Australian Computer Science Communications, volume 28, number 5, pp 25-34, 2006. (External link
).
-
Students learn CS in different ways: Insights from an empirical study
. In SIGCSE Bulletin inroads, volume 38, number 3, pp 265-269, 2006. (DOI
).
-
What do CS students try to learn?: Insights from a distributed, project-based course in computer systems
. In Computer Science Education, volume 16, pp 185-195, 2006. (DOI
).
-
Computer system including a promise array
. US, 2006.
-
A climbing robot for autonomous inspection of live power lines
. In Proceedings of ASER2006 3rd International Workshop on Advances in Service Robots, 2006. (External link
).
-
Model Checking Timed Automata with Priorities using DBM Subtraction
. In Proceedings of 4th International Conference on Formal Modelling and Analysis of Timed Systems, 2006.
-
Verification of Parameterized and Timed Systems: Undecidability Results and Efficient Methods
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 187, Acta Universitatis Upsaliensis, Uppsala, 2006. (fulltext
, cover
).
-
Open Ended Group Projects (OEGP): A way of including diversity in the IT curriculum
. In Diversity in information technology education: Issues and controversities, pp 166-195, Information Science Publishing, London, 2006.
-
A model for evaluating asynchronous protocols in Ad hoc Networks
. In 6th Scandinavian Workshop on Wireless Ad-hoc Networks (ADHOC'06), 2006.
-
Modeling Capacity in Ad Hoc Networks: Extended Poster Abstract
. In : Poster Session Proceedings, 2006. (External link
).
-
Poster abstract: The feasibility of leveraging a power save protocol to improve performance in ad hoc networks
. In The Twelfth Annual International Conference on Mobile Computing and Networking (Mobicom2006), 2006. (External link
).
-
Schedulability Analysis of Fixed Priority Systems using Timed Automata
. In Theoretical Computer Science, volume 354, number 2, pp 301-317, 2006. (External link
).
-
Static and dynamic structural symmetry breaking
. In Twelfth International Conference on Principles and Practice of Constraint Programming (CP'06), 2006. (DOI
, External link
).
-
A Computing Perspective on the Bologna Process
. In SIGCSE Bulletin: inroads, volume 38, number 4, pp 115-131, 2006. (DOI
).
-
System and method for reducing shared memory write overhead in multiprocessor systems
. US, 2006.
-
Inference of Event-Recording Automata using Timed Decision Trees
. In International Conference on Concurrency Theory, 2006.
-
ARTES - Facts and figures
. In ARTES - A network for Real-Time research and graduate Education in Sweden 1997 - 2006, pp 27-41, The Department of Information Technology, Uppsala, 2006. (External link
).
-
Computing in a business context: a way to motivate and prepare
. In SEFI 34th Annual Conference: Engineering Education and Active Students, p 47, 2006. (External link
).
-
Model-based Testing of a WAP Gateway: an Industrial Case-Study
. Technical report nr 045, Uppsala Universitet, Uppsala, 2006. (External link
).
-
Model-based test case selection and generation for real-time systems
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2006-002, Uppsala University, 2006. (fulltext
).
-
Simulation and evaluation of unsynchronized power saving mechanisms in wireless ad hoc networks
. In , 2006.
-
Analyzing advanced PDE solvers through simulation
. In Applied Parallel Computing: State of the Art in Scientific Computing, volume 3732 of Lecture Notes in Computer Science, pp 893-900, Springer-Verlag, Berlin, 2006. (DOI
).
-
Effective Test Driven Development for Embedded Software
. In IEEE Electro/Information Technology Conference, East Lansing, MI, 2006.
-
Connectivity Models: A New Approach to Modeling Contacts in Opportunistic Networks
. In Proceedings of the Eighth International Information Technology Conference (IITC) 2006, p 185, 2006.
-
What & When?: Distributing Content in Opportunistic Networks
. In International Conference on Wireless and Mobile Computing (ICWMC) 2006, 2006.
-
Communicating Timed Automata: The More Synchronous, the More Difficult to Verify
. IT Technical Report nr 2006-008, Uppsala: Department of Information Technology, Uppsala University, 2006. (External link
).
-
Communicating Timed Automata: The More Synchronous, the More Difficult to Verify
. In Computer Aided Verification (CAV 2006), p 14, 2006. (External link
).
-
Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata
. In ARTES - A network for Real-Time research and graduate Education in Sweden 1997-2006, pp 259-280, Uppsala: Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology, 2006. (External link
).
-
Evaluation of Queueing Policies and Forwarding Strategies for Routing in Intermittently Connected Networks
. In First IEEE/Create-Net/ICST International Conference on COMmunication System softWAre and MiddlewaRE, 2006. (External link
).
-
Research Perspectives on the Objects-Early Debate
. In SIGCSE Bulletin: inroads, volume 38, number 4, pp 146-165, 2006. (DOI
).
-
Proceedings of the 6th ACM & IEEE International conference on Embedded software
. IEEE Press, 2006.
-
Comparing Simulation, Emulation, and Real-World Experimental Results in Mobile Ad hoc Networks
. In 6th Scandinavian Workshop on Wireless Ad-hoc Networks (ADHOC'06), 2006.
-
Encouraging Deep Learning Using Student Reflections: A Case Study
. In Proc. 6th Baltic Sea Conference on Computing Education Research, pp 38-45, 2006. (External link
, ACM digital library
).
-
Modeling cache sharing on chip multiprocessor architectures
. In Proc. International Symposium on Workload Characterization: IISWC 2006, pp 160-171, IEEE, Piscataway, NJ, 2006. (DOI
).
-
STATSHARE: A Statistical Model for Managing Cache Sharing via Decay
. In 2006th Workshop on Modeling, Benchmarking and Simulation held in conjunction: with the 33rd Annual International Symposium on Computer Architecture, Boston, MA USA, June 2006, 2006.
-
Modeling and Evaluation of a Policy Provisioning Architecture for Mobile Ad-Hoc Networks
. In International Journal on Network and Systems Management, volume 14, number 2, 2006. (External link
).
-
Opportunistic Wireless Access Networks
. In First International ICST Conference on Access Networks, 2006.
-
Study of IEEE 802.11 Wireless Networks in Harsh Environments
. In Nineteenth International Congress and Exhibition on Condition Monitoring and Diagnostic Engineering Management, 2006. (External link
).
-
Multiprocessing systems employing hierarchical back-off locks
. US, 2006.
-
A bandwidth study of a DHT in a heterogeneous environment
. 4th Swedish National Computer Networking Workshop SNCNW, Luleå, October 26-27, 2006., 2006.
-
Maintaining a Core Literature of Computing Education Research
. In Koli Calling: 5th Annual Finnish/Baltic Sea Conference on Computer Science Education, p 185, 2006. (External link
).
-
Methods for Creating and Exploiting Data Locality
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 176, Acta Universitatis Upsaliensis, Uppsala, 2006. (fulltext
).
-
Multigrid and Gauss-Seidel smoothers revisited: Parallelization on chip multiprocessors
. Technical report / Department of Information Technology, Uppsala University nr 2006-018, 2006. (fulltext
).
-
Multigrid and Gauss-Seidel smoothers revisited: Parallelization on chip multiprocessors
. In Proc. 20th ACM International Conference on Supercomputing, pp 145-155, ACM Press, New York, 2006. (DOI
).
-
Multiprocessing computer system employing capacity prefetching
. US, 2006.
-
NoteNet
. In , 2006.
-
“I Think it’s Better if Those Who Know the Area Decide About it: A Pilot Study Concerning Power in Student Project Groups in CS
. In Proc. 6th Annual Finnish/Baltic Sea Conference on Computer Science Education: Koli Calling, pp 27-34, 2006. (External link
).
-
Relations in Models of Calculi and Logics with Names
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 132, Acta Universitatis Upsaliensis, Uppsala, 2006. (fulltext
, cover
).
-
Exploiting Locality: A Flexible DSM Approach
. In Proc. 20th IEEE International Parallel and Distributed Processing Symposium: (IPDPS 2006) Rhodes, Greece, April 2006, 2006.
-
TMA: A Trap-based Memory Architecture
. In Proc. 20th ACM International Conference on Supercomputing, pp 259-268, 2006.
-
Towards Low-Complexity Scalable Shared-Memory Architectures
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 217, Universitetsbiblioteket, Uppsala, 2006. (fulltext
, cover
).
-
Inferring variable conflicts for local search
. In Principles and Practice of Constraint Programming - CP 2006: 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings, 2006. (DOI
).
-
Handling Subsystems using the SaveComp Component Technology
. In Proceedings of Workshop on Models and Analysis for Automotive Systems (WMAAS'06): in conjunction with the 27th IEEE Real-Time Systems Symposium (RTSS'06), 2006.