Division of Computer Systems: Publications from 2004
-
A Survey of Regular Model Checking.
. In CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings., pp 35-48, 2004.
-
Decidability of Zenoness, Token Liveness, and Boundedness for Dense-Timed Petri Nets.
. In FSTTCS' 04: 24th Conference on Foundations of Software Technology and Theoretical Computer Science, 2004. (DOI
, External link
).
-
Designing Safe, Reliable Systems using Scade
. In Proc. ISoLA '04: International Symposium on Leveraging Applications of Formal Methods, 2004.
-
Forward Reachability Analysis of Timed Petri Nets
. In FORMATS-FTRTFT'04, 2004, 2004.
-
Multi-Clock Timed Networks
. In LICS'2004, 18th IEEE Int. Symp. on Logic in Computer Science, 2004.
-
Open, Closed and Robust Timed Networks.
. In CONCUR 2004 -- Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings, p 529, 2004. (External link
).
-
Regular Model Checking for LTL(MSO)
. In Computer Aided Verification, pp 348-360, 2004.
-
Report on Dataflow Dependencies in Billing Processing Systems
. In Proc. ISoLA '04: 1st International Symposium on Leveraging Applications of Formal Methods, 2004.
-
SAT-solving the Coverability Problem for Unbounded Petri Nets
. In Formal methods in system design, volume 24, number 1, pp 25-43, Kluwer Academic Publishers, The Netherlands, 2004. (External link
).
-
Using Forward Reachability Analysis for Verification of Lossy Channel Systems
. In Formal methods in system design, volume 25, number 1, pp 39-65, 2004. (DOI
).
-
Controller Synthesis for Probabilistic Systems
. In IFIP TCS 2004: Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France, pp 493-506, 2004.
-
Web Services as a New Approach to Distributing and Coordinating Semantics-Based Verification Toolkits
. In Electronic Notes in Theoretical Computer Science, volume 105, pp 11-20, 2004.
-
Evaluation of Authentication Algorithms for Small Devices
. 2004.
-
Timed Automata: Semantics, Algorithms and Tools
. In In Lecture Notes on Concurrency and Petri Nets: LNCS 3098, 2004.
-
StatCache: A Probabilistic Approach to Efficient and Accurate Data Locality Analysis
. In 2004 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS-2004),, 2004.
-
A framework to study learning in a complex learning environment
. In ALT-J Research in Learning Technology Journal, volume 12, number 1, pp 65-79, 2004. (External link
).
-
Teaching and learning CS: An overview of research approaches: Keynote speech at the 4th Annual Finnish/Baltic Sea Conference on Computer Science Education
. Koli, Joensuu, Finland, 2004.
-
Performance of Pastry in a Heterogeneous System
. In Proceedings of the Fourth IEEE International Conference on Peer-to-Peer computing, 2004. (External link
).
-
Specifying and Generating Test Cases Using Observer Automata
. In Proceedings of the 4th International Workshop on Formal Approaches to Testing of Software, pp 125-139, 2004. (DOI
).
-
Message-Passing Automata Are Expressively Equivalent to EMSO Logic
. In CONCUR 2004: Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings, pp 146-160, 2004.
-
Verifying Qualitative Properties of Probabilistic Programs
. In Validation of Stochastic Systems: A Guide to Current Research, pp 124-146, Springer, 2004.
-
Network Mobility and Protocol Interoperability in Ad Hoc Networks
. In IEEE Communications Magazine, volume 42, number 11, 2004. (External link
).
-
Five myths of assessment
. In Australian Computer Science Communication, volume 26, number 5, pp 57-61, 2004. (External link
).
-
An integrated approach to developing sensor network solutions
. In 2nd International Workshop on Sensor and Actor Network Protocols and Applications (SANPA'04), 2004.
-
Improving DSZOOM's Run Time System
. Master's thesis, UPTEC F03 104, School of Engineering, Uppsala University, Sweden, January 2004., 2004.
-
On-chip monitoring for non-intrusive hardware/software observability
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2004-004, Uppsala University, 2004. (fulltext
).
-
Understanding Your C Compiler: How to Minimize Code Size
. In The Firmware Handbook, Elsevier/Newnes, 2004.
-
A geometric derivation of the probability of finding a relay in multi-rate networks
. In 3rd IFIP Conference on Networking (Networking 2004), 2004.
-
Analysis and protocol design for rate adaptation for simple relay networks
. In 4th Scandinavian Workshop on Wireless Ad-hoc Networks (AdHoc'04), 2004.
-
Energy Efficient Communication in Ad Hoc Networks
. In Mobile Ad Hoc Networking, Wiley, 2004.
-
A Generic Approach to Schedulability Analysis of Real-Time Tasks
. In Nordic Journal of Computing, volume 12, number 2, pp 129-147, 2004.
-
A generic approach to schedulability analysis of real-time tasks
. In Nordic Journal of Computing, volume 11, 2004.
-
Air-traffic complexity resolution using constraint programming
. 2004.
-
Financial portfolio optimisation
. In 10th International Conference on Principles and Practice of Constraint Programming: CP 2004, pp 227-241, 2004. (External link
).
-
Introducing ESRA, a relational language for modelling combinatorial problems
. In LOPSTR'03: Revised Selected Papers, pp 214-232, Springer-Verlag, 2004. (External link
).
-
Worst-case air-traffic generation using constraint programming
. 2004.
-
On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi
. In Proceedings of the 7nd International Conference on Foundations of Software Science and Computation Structures (FOSSACS'04), pp 226-240, 2004.
-
On the expressiveness of CCS-like calculi
. Technical report / Department of Information Technology, Uppsala University nr 2004-002, 2004. (fulltext
).
-
On the expressiveness of infinite behavior and name scoping in process calculi
. In FOSSACS'04, pp 226-240, 2004.
-
A Virtualized Link Layer with Support for Indirection
. In ACM SIGCOMM Workshop on Future Directions in Network Architecture (FDNA'04), 2004. (External link
).
-
A virtualized link layer with support for indirection
. In ACM SIGCOMM Workshop on Future Directions in Network Architecture (FDNA'04), pp 28-34, ACM New York, NY, USA, Portland, 2004.
-
Learning of event-recording automata
. In FORMATS/FTRTFT 2004: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings, pp 379-396, 2004. (DOI
).
-
Network invariants for real-time systems
. In 5th International Workshop on Verification of Infinite-State Systems, pp 57-74, 2004.
-
Computer system employing bundled prefetching
. 2004.
-
Computer system including a promise array
. 2004.
-
Multi-node computer system employing a reporting mechanism for multi-node transactions
. 2004.
-
Multi-node computer system implementing global access state dependent transactions
. 2004.
-
Multi-node computer system with proxy transaction to read data from a non-owning memory device
. 2004.
-
Multi-node system in which global address generated by processing subsystem includes global to local translation information
. 2004.
-
Multi-node system with global access states
. 2004.
-
Multi-node system with interface intervention to satisfy coherency transactions transparently to active devices
. 2004.
-
Multi-node system with split ownership and access right coherence mechanism
. 2004.
-
Multiprocessing computer system employing capacity prefetching
. 2004.
-
Multiprocessing systems employing hierarchical back-off locks
. 2004.
-
Performing virtual to global address translation in processing subsystem
. 2004.
-
System and method for reducing shared memory write overhead in multiprocessor systems
. 2004.
-
A Test Case Generation Algorithm for Real-Time Systems
. In proceedings of the 4th International Conference on Quality Software, pp 268-273, 2004.
-
Time-Optimal Real-Time Test Case Generation using UPPAAL
. In Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, pp 114-130, 2004.
-
An Analysis Tool for UML Models with SPT Annotations
. In Proceedings of the International Workshop on Specification and Validation of UML models for Real Time and Embedded Systems, 2004.
-
Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata
. In TACAS 2004, LNCS 2988: 10th International Conf. on Tools & Algorithms, 2004.
-
Timed vs Time Triggered Automata
. In CONCUR 2004, London, UK, pp 340-354, 2004.
-
Congestion Control in a High Speed Radio Environment
. In roceedings of the International Conference on Wireless Networks, 2004. (External link
).
-
Properties of TCP-like congestion control
. In Proceedings of the Swedish National Computer Networking Workshop, 2004.
-
The Lightweight User Datagram Protocol (UDP-Lite)
. IETF, 2004. (External link
).
-
Feasibility study of WLAN technology for the Uppsala - Stockholm commuter train.
. Uppsala Universitet, 2004.
-
A unifying model of variables and names
. Research Report UDMI nr 15/2004/RR, Department of Mathematics and Computer Science, University of Udine, 2004.
-
Comparison of Forwarding Strategies in Internet Connected MANETs
. In ACM SIGMOBILE Mobile Computing Reviews, volume 1, number 2, 2004. (DOI
, External link
).
-
Comparison of Forwarding Strategies in Internet Connected MANETs
. In ACM SIGMOBILE Mobile Computing and Communications Review, volume 8, number 4, pp 72-76, ACM, 2004. (DOI
).
-
Comparison of forwarding Strategies in Internet Connected MANETs
. In ACM MobiHoc 2004: Poster Session., 2004.
-
Gateway Forwarding Strategies for Ad Hoc Networks
. In AdHoc 04 Johannesberg, 2004.
-
Symmetry breaking in constraint satisfaction with graph-isomorphism: Comma-free codes
. In Proceedings of AI&M'04, 2004. (External link
).
-
Proceedings of the 16th Nordic Workshop on Programming Theory
. 2004. (External link
).
-
Protocol Support for Policy-Based Management in Mobile Ad Hoc Networks
. In IEEE/IFIP Network Operations and Management Symposium, 2004. (External link
).
-
Timed Patterns: TCOZ to Timed Automata
. In 6th International Conf. on Formal Engineering Methods: LNCS 3308, 2004.
-
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model
. In 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China, 2004.
-
An Approach to Hardware/Software Partitioning for Pultiple Hardware Devices Model
. In 3rd IEEE International Conf. on Software Engineering and Formal Methods, 2004.
-
An Optimal Approach to Hardware/Software Partitioning for Synchronous Model
. In Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004., 2004.
-
Addressing heterogeneity in Peer-to-Peer networks
. In Proceedings of the Swedish National Computer Networking Workshop, 2004.
-
LUNAR over Bluetooth
. In Proceedings of the 4:th Scandinavian Workshop on Wireless Ad-Hoc Networks, 2004. (External link
).
-
Building Secure Communities in Spontaneously Networked Environments
. In 4th Scandinavian Workshop on Wireless Ad-hoc Networks (AdHoc'04), 2004.
-
Security Bootstrapping for Networked Devices
. 2004.
-
Using Ad Hoc Networking in Orienteering A Demonstration
. In 4th Scandinavian Workshop on Wireless Ad-hoc Networks (AdHoc'04), 2004.
-
Using Ad-hoc Networking in Orienteering - A Demonstration
. In International Conference on Mobile Computing and Networking (Mobicom04), 2004.
-
Non-viability Deductions in Arc-Consistency Computation
. In Logic Programming: 20th International Conference, ICLP 2004, pp 343-355, 2004.
-
On validity in modelization of musical problems by CCP
. In Soft Computing: A Fusion of Foundations, Methodologies and Applications, volume 8, number 9, pp 641-648, 2004.
-
Model checking polygonal differential inclusions using invariance kernels
. 2004.
-
Reorganisation in the Skewed-Associative TLB
. Technical report / Department of Information Technology, Uppsala University nr 2004-027, 2004. (fulltext
).
-
Low Power and Conflict Tolerant Cache Design
. Technical report / Department of Information Technology, Uppsala University nr 2004-024, 2004. (fulltext
).
-
LUNAR - A Lightweight Underlay Network Ad-hoc Routing Protocol and Implementation
. In Next Generation Teletraffic and Wired/Wireless Advanced Networking (NEW2AN'04), p 300, 2004.
-
A Content Adaptation Network using SelNet
. In Second Swedish National Computer Networking Workshop (SNCNW 2004), 2004.
-
Bundling: Reducing the Overhead of Multiprocessor Prefetchers
. In 18th International Parallel and Distributed Processing Symposium: (IPDPS 2004), 2004.
-
Cache memory behavior of advanced PDE solvers
. In Parallel Computing: Software Technology, Algorithms, Architectures and Applications, volume 13 of Advances in Parallel Computing, pp 475-482, Elsevier, Amsterdam, The Netherlands, 2004.
-
Automatized Verification of Ad Hoc Routing Protocols
. In Formal Techniques for Networked and Distributed Systems – FORTE 2004, volume 3235 of Lecture Notes in Computer Science, pp 343-358, Springer-Verlag, Berlin, 2004. (DOI
).
-
Evaluation, Implementation and Performance of Write Permission Caching in the DSZOOM System
. Technical reports from the Department of Information Technology nr 2004-005, 2004. (External link
).
-
Exploiting Spatial Store Locality through Permission Caching in Software DSMs
. In Proceedings of the 10th International Euro-Par Conference: Parallel Processing, p 551, 2004. (External link
).