Division of Computer Systems: Publications from 2005
-
Simulating perfect channels with probabilistic lossy channels
. In Information and Computation, volume 197, number 1-2, pp 22-40, 2005.
-
Decidability and Complexity Results for Timed Automata via Channel Machines
. In Proc. ICALP'05, 32nd Int. Colloquium on Automata, Languages and Programming, 2005.
-
From Monotonic Transition Systems to Monotonic Games
. In Spring School on Infinite Games and Their Applications, 2005.
-
Simulating Perfect Channels with Probabilistic Lossy Channels
. In The Journal of Information and Computation, volume 197, number 1-2, pp 22-40, 2005.
-
Simulation-Based Iteration of Tree Transducers
. In Proc. TACAS'05, 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2005.
-
Verification of Parameterized Timed Systems
. In FORMATS'05, International Conference on Formal ModUppsala, Sweden, 2005 modelling and Analysis of Timed Systems, 2005.
-
Verification of Probabilistic Systems with Faulty Communication
. In The Journal of Information and Computation, 2005.
-
Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property
. In http://doi.ieeecomputersociety.org/10.1109/LICS.2005.54, 2005. (External link
).
-
Efficient and Flexible Characterization of Data Locality through Native Execution Sampling
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 101, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
).
-
Fast Data-Locality Profiling of Native Execution
. In ACM SIGMETRICS Performance Evaluation Review, volume 33, number 1, pp 169-180, 2005. (DOI
).
-
Insights to Angluin's Learning
. In Electr. Notes on Theoret. Comput. Sci., volume 118, pp 3-18, 2005.
-
Model-based Testing of Reactive Systems: 19 Model Checking
. In , pp 557-603, Springer Berlin / Heidelberg, 2005. (DOI
, External link
).
-
On the Correspondence Between Conformance Testing and Regular Inference
. In FASE 2005, pp 175-189, 2005.
-
Learning computer systems in a distributed project course: The what, why, how and where
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 62, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
).
-
What do our students strive for?: Insights from a distributed, project-based course in computer systems
. In Proc. 5th Finnish/Baltic Sea Conference on Computer Science Education: Koli Calling, pp 65-72, Turku Centre for Computer Science, Finland, 2005. (Proceedings
).
-
Power saving in wireless ad hoc networks without synchronization
. In 5th Scandinavian Workshop on Wireless Ad Hoc Networks (ADHOC'05), 2005.
-
Model-Based Testing of Reactive Systems: Advanced Lectures
. Volume 3472 of Lecture Notes in Computer Science, Springer Verlag, 2005.
-
Model-Based Testing of Reactive Systems, Advanced Lectures: outcome of a research seminar
. Volume 3472 of Lecture Notes in Computer Science, Springer Verlag, 2005.
-
SaveCCM: An Analysable Component Model for Real-Time Systems
. In Proceedings of International Workshop on Formal Aspects of Component Software, 2005.
-
IP Quality of Service Support for Soft Real-Time Applications
. In Fourth International Workshop on Real-time Networks, 2005. (External link
).
-
Managing cross-cultural differences in an open ended group project course
. In IEEE Frontiers in education conference, pp T4D22-23, 2005.
-
Widening the horizon using the OEIGP
. In HCI International, Las Vegas, 2005.
-
Janus: an architecture for flexible access to sensor networks
. In DIN '05: Proceedings of the 1st ACM workshop on Dynamic interconnection of networks, pp 48-52, 2005. (DOI
).
-
What Does It Take to Learn 'Programming Thinking'?
. In Proc. 1st International Computing Education Research Workshop, pp 135-142, ACM Press, New York, 2005. (DOI
).
-
Developing Embedded Networked Products using the Simics Full-System Simulator
. In Proc. 16th IEEE International Symposium on Personal Indoor and Mobile Radio Communications: (PIMRC 2005), Berlin, Germany September 2005, 2005.
-
Guidelines for a curriculum on embedded software and systems: The ARTIST Education Group
. In ACM Transactions on Embedded Computing Systems (TECS), volume 4, number 3, pp 587-611, 2005.
-
Clustered Worst-Case Execution-Time Calculation
. In IEEE Transactions on Computers, volume 54, number 9, 2005.
-
Enabling limited traffic scheduling in asynchronous ad hoc networks
. In 3rd Swedish National Computer Networking Workshop (SNCNW 2005), 2005.
-
Modelling Fusion Calculus using HD-Automata
. Technical report / Department of Information Technology, Uppsala University nr 2005-038, 2005.
-
An Indirection Architecture for the Internet
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 128, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
, cover
).
-
Inference of Timed Transition Systems
. In Proceedings of the 6th International Workshop on Verification of Infinite-State Systems (INFINITY), 2005.
-
Multi-node computer system employing multiple memory response states
. 2005.
-
Multi-node computer system where active devices selectively initiate certain transactions using remote-type address packets
. 2005.
-
Multi-node system in which home memory subsystem stores global to local address translation information for replicating nodes
. 2005.
-
Parallella program ger paradigmskifte
. In Elektroniktidningen, number 13, 2005.
-
Exploring optimal solution to hardware/software partitioning for synchronous model
. In Formal Aspects of Computing, volume 17, number 4, pp 587-611, 2005.
-
UppDMC: A Distributed Model Checker for Fragments of the mu-Calculus.
. In PDMD 2004: Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, pp 91-105, 2005.
-
Finite State Machines
. In Model-Based Testing of Reactive Systems: Advanced Lectures, pp 611-614, Springer, 2005.
-
Exploring Processor Design Options for Java Based Middleware
. In Proceedings of the 2005 International Conference on Parallel Processing (ICPP-05), 2005.
-
Memory System Design for Chip-Multiprocessors
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 134, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
, cover
).
-
Approaches to P2P Applications Development
. In Seventh International Workshop on Protocols for High-Speed Networks (PfHSN 2002), 2005. (DOI
, External link
).
-
Reachability Relations and Sampled Semantics of Timed Systems
. FIMU-RS nr 2005-09, Faculty of Informatics, Masaryk University Brno, Czechia, 2005. (External link
).
-
Functional programming languages for verification tools: a comparison of Standard ML and Haskell
. In International Journal on Software Tools for Technology Transfer, volume 7, number 2, pp 184-194, 2005.
-
Experimental Evaluation of Three Ad Hoc Routing Protocols
. 2005.
-
Implementation and Experimental Evaluation of Wireless Ad hoc Routing Protocols
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 17, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
).
-
Model Checking Parameterized Timed Systems
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 61, Institutionen för informationsteknologi, Uppsala, 2005. (fulltext
).
-
Wireless Communication in Orienteering
. 2005. (External link
).
-
A Unifying Model of Variables and Names
. In Proceedings of FoSSaCS 2005, 2005. (DOI
).
-
HD-Automata for Open Bisimulation
. Technical report / Department of Information Technology, Uppsala University nr 2005-037, 2005. (fulltext
).
-
Developing and testing distributed CAN-based real-time control-systems using a single PC
. In Proc. 10th International CAN Conference, CAN in Automation: Roma, Italy, March 2005, 2005.
-
Regular Model Checking
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 60, Acta Universitatis Upsaliensis, Uppsala, 2005.
-
A Testbed and Methodology for Experimental Evaluation of Mobile Ad hoc Networks
. In Proceedings of the First International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities (TRIDENTCOM), 2005.
-
A Testbed and Methodology for Experimental Evaluation of Wireless Mobile Ad hoc Networks
. In Proceedings of The First International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities (TRIDENTCOM), IEEE Computer Society, IEEE Computer Society, 2005.
-
Interaction between TCP and UDP flows in Wireless Multi-hop Ad hoc Networks
. In Proceedings of the 5th Scandinavian Workshop on Wireless Ad-hoc Networks (Adhoc'05), 2005. (External link
).
-
Mythbusters: Whatever You Thought About MANET Routing, Think Again...
. Uppsala University, 2005. (External link
).
-
Constructing a Core Literature for Computing Education Research
. In ACM SIGCSE Bulletin, volume 37, number 4, pp 152-161, 2005. (External link
).
-
Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala Sweden, September 2005, Proceedings
. Volume 3829 of Lecture Notes in Computer Science, Springer-Verlag, 2005.
-
Formal Modeling and Analysis of Timed Systems, Third International Conference
. Volume 3829 of Lecture Notes in Computer Science, Springer Verlag, 2005.
-
Nordic Journal of Computing: Selected Papers of the Sixteenth Nordic Workshop on Programming Theory, October 6-8, 2004
. Publishing Accociation Nordic Journal of Computing, Helsinki, 2005.
-
Nordic Journal of Computing
. Publishing Accociation Nordic Journal of Computing, Helsinki, 2005.
-
Design and Demonstration of Policy-Based Management in a Multi-Hop Ad Hoc Network Testbed
. In International Journal of Ad Hoc Networks, volume 3, number 3, 2005. (External link
).
-
Model-Based Testing - A Glossary
. In Model-Based Testing of Reactive Systems,: Advanced Lectures, pp 607-609, Springer, 2005.
-
Software Techniques for Distributed Shared Memory
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 67, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
).
-
LearnLib: a library for automata learning and experimentation
. In Proceedings of the 10th international workshop on Formal methods for industrial critical systems, p 10, 2005. (DOI
, External link
).
-
Interactions between TCP, UDP and Routing Protocols in Wireless Multi-hop Ad hoc Networks
. In Proceedings of the 1st IEEE ICPS Workshop on Multi-hop Ad hoc Networks: from theory to reality (REALMAN 2005), 2005. (External link
).
-
Skewed Caches from a Low-Power Perspective
. In Proceedings of Computing Frontiers, Ischia, Italy, May 2005, 2005.
-
High-Performance Longest Prefix Matching supporting High-Speed Incremental Updates and Guaranteed Compression
. In Proceedings of IEEE Infocom 2005, 2005.
-
Lessons from Experimental MANET Research
. In Ad hoc networks, volume 3, number 2, pp 221-233, 2005. (DOI
).
-
The Design and Implementation of an Architecture for Flexible Access to Sensor Networks
. 2005. (External link
).
-
Compositional derivation of symmetries for constraint satisfaction
. In Abstraction, Reformulation and Approximation: 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings, pp 234-247, 2005. (DOI
).
-
Proceedings of the REALWSN'05: Workshop on Real-World Wireless Sensor Networks
. Technical Report T2005:09, SICS - Swedish Institute of Computer Science, 2005. (External link
).
-
Vasa: A Simulator Infrastructure with Adjustable Fidelity
. In In Proceedings of the 17th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2005), Phoenix, Arizona, USA, November 2005., 2005. (External link
).
-
Ad Hoc Routing Protocol Verification Through Broadcast Abstraction
. In Formal Techniques for Networked and Distributed Systems – FORTE 2005, volume 3731 of Lecture Notes in Computer Science, pp 128-142, Springer-Verlag, Berlin, 2005. (DOI
).
-
Adaptive Coherence Batching for Trap-Based Memory Architectures
. information Technology - Technical reports nr 2005-016, Uppsala Universitet, dept of information technology, 2005. (External link
).
-
Flexibility Implies Performance
. Information Technology - Technical reports nr 2005-013, uppsala universitet, dept of information technology, 2005. (External link
).
-
Hardware–Software Tradeoffs in Shared-Memory Implementations
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-002, Uppsala University, 2005. (fulltext
).
-
TMA: A Trap-Based Memory Architecture
. information Technology - Technical reports nr 2005-015, Uppsala Universitet, dept of information technology, 2005. (External link
).
-
Incremental algorithms for local search from existential second-order logic
. In Proceedings of Principles and Practice of Constraint Programming - CP 2005, pp 47-61, 2005. (External link
).
-
Set variables and local search
. In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Second International Conference, CPAIOR 2005, Proceedings, pp 19-33, 2005. (External link
).