Gmail Calendar Documents Reader Web more »
Recently Visited Groups | Help | Sign in
Google Groups Home
comp . doc . techreports
+ new post
About this group
Subscribe to this group
This is a Usenet group - learn more
Find or start a Google Group about techreports.
Group info
Language: English
Group categories:
Computers
More group info »
Related Groups
comp.org.ieee
Issues and announcements about the IEEE & its members.
Low activity, Usenet
comp.org.acm
Topics about the Association for Computing Machinery.
Low activity, Usenet
news.announce.conferences
Calls for papers and conferences. (Moderated)
Low activity, Usenet
More related groups »
Discussions
View:  Topic list, Topic summary Topics 1 - 30 of 2424  Older »
Sort by:  Latest message, First message
Description: Lists of technical reports. (Moderated)
 
 TopicRatingMessagesAuthorDate
AIB 2009-18: Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies     1 new of 1 Carsten Fuhs (1 author) Sep 24
AIB 2009-17: Learning Communicating and Nondeterministic Automata     1 new of 1 Carsten Fuhs (1 author) Sep 24
AIB 2009-16: Vertex Splitting and the Recognition of Trapezoid Graphs     1 new of 1 Carsten Fuhs (1 author) Sep 24
AIB 2009-02: Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications     1 new of 1 Carsten Fuhs (1 author) Sep 9
AIB 2008-19: Empirical Studies for the Application of Agile Methods to Embedded Systems     1 new of 1 Carsten Fuhs (1 author) Jul 6
AIB 2009-15: Compositional Abstraction for Stochastic Systems     1 new of 1 Carsten Fuhs (1 author) Jun 26
AIB 2009-14: Doctoral Symposium on Systems Software Verification (DS SSV'09)     1 new of 1 Carsten Fuhs (1 author) Jun 23
AIB 2009-13: Time-optimal Winning Strategies for Poset Games     1 new of 1 Carsten Fuhs (1 author) May 28
AIB 2009-10: Automatic Verification of the Correctness of the Upper Bound of a Maximum Independent Set Algorithm     1 new of 1 Carsten Fuhs (1 author) May 18
AIB 2009-09: Implementation of an Automated Proof for an Algorithm Solving the Maximum Independent Set Problem     1 new of 1 Carsten Fuhs (1 author) May 18
AIB 2009-04: Entwurf eingebetteter Software mit abstrakten Zustandsmaschinen und Business Object Notation     1 new of 1 Carsten Fuhs (1 author) May 13
AIB 2009-12: Time-Bounded Reachability in Continuous-Time Markov Decision Processes     1 new of 1 Carsten Fuhs (1 author) May 12
UCAM-CL-TR-749: Identifying social communities in complex communications for network efficiency     1 new of 1 tech-repo...@cl.cam.ac.uk (1 author) May 11
UCAM-CL-TR-748: GTVS: boosting the collection of application traffic ground truth     1 new of 1 tech-repo...@cl.cam.ac.uk (1 author) May 11
UCAM-CL-TR-747: An estimator of forward and backward delay for multipath transport     1 new of 1 tech-repo...@cl.cam.ac.uk (1 author) May 11
AIB 2009-11: The Longest Path Problem is Polynomial on Interval Graphs     1 new of 1 Carsten Fuhs (1 author) Apr 16
AIB 2009-06: The Recognition of Tolerance and Bounded Tolerance Graphs is NP-complete     1 new of 1 Carsten Fuhs (1 author) Apr 7
AIB 2009-08: Satellites and Mirrors for Solving Independent Set on Sparse Graphs     1 new of 1 Carsten Fuhs (1 author) Apr 7
AIB 2009-07: Derandomizing Non-uniform Color-Coding I     1 new of 1 Carsten Fuhs (1 author) Apr 7
AIB-2009-05: A New Intersection Model and Improved Algorithms for Tolerance Graphs     1 new of 1 Carsten Fuhs (1 author) Apr 7
UCAM-CL-TR-746: The snooping dragon: social-malware surveillance of the Tibetan movement     1 new of 1 tech-repo...@cl.cam.ac.uk (1 author) Mar 28
UCAM-CL-TR-745: A better x86 memory model: x86-TSO (extended version)     1 new of 1 tech-repo...@cl.cam.ac.uk (1 author) Mar 27
UCAM-CL-TR-744: Citation context analysis for information retrieval     1 new of 1 tech-repo...@cl.cam.ac.uk (1 author) Mar 27
UCAM-CL-TR-743: Optimising the speed and accuracy of a Statistical GLR Parser     1 new of 1 tech-repo...@cl.cam.ac.uk (1 author) Mar 27
UCAM-CL-TR-742: TCP, UDP, and Sockets: Volume 3: The Service-level Specification     1 new of 1 tech-repo...@cl.cam.ac.uk (1 author) Mar 27
UCAM-CL-TR-741: Vehicular wireless communication     1 new of 1 tech-repo...@cl.cam.ac.uk (1 author) Mar 27
UCAM-CL-TR-740: Analysis of affective expression in speech     1 new of 1 tech-repo...@cl.cam.ac.uk (1 author) Mar 27
UCAM-CL-TR-739: State-based Publish/Subscribe for sensor systems     1 new of 1 tech-repo...@cl.cam.ac.uk (1 author) Mar 27
UCAM-CL-TR-738: High precision timing using self-timed circuits     1 new of 1 tech-repo...@cl.cam.ac.uk (1 author) Mar 27
UCAM-CL-TR-737: Static contract checking for Haskell     1 new of 1 tech-repo...@cl.cam.ac.uk (1 author) Mar 27
1 - 30 of 2424   « Newer | Older »

XML      
Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2009 Google