Web Images Videos Maps News Shopping Gmail more »
Recently Visited Groups | Help | Sign in
Google Groups Home
comp . doc . techreports
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
Issues and announcements about the IEEE & its members.
Low activity, Usenet
Topics about the Association for Computing Machinery.
Low activity, Usenet
Calls for papers and conferences. (Moderated)
Low activity, Usenet
Discussions
View:  Topic list, Topic summary Topics 1 - 10 of 2424  Older »
Description: Lists of technical reports. (Moderated)
 

AIB 2009-18: Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies 
  The following technical report is available from [link] Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies Paul Hänsch, Michaela Slaats, Wolfgang Thomas AIB 2009-18 Given a set $P$ of natural numbers, we consider infinite games where the winning condition is a regular $\omega$-language parametrized by... more »
By Carsten Fuhs  - Sep 24 - 1 new of 1 message    

AIB 2009-17: Learning Communicating and Nondeterministic Automata 
  The following technical report is available from [link] Learning Communicating and Nondeterministic Automata Carsten Kern AIB 2009-17 The results of this dissertation are two-fold. On the one hand, inductive learning techniques are extended and two new inference algorithms for inferring nondeterministic, and universal,... more »
By Carsten Fuhs  - Sep 24 - 1 new of 1 message    

AIB 2009-16: Vertex Splitting and the Recognition of Trapezoid Graphs 
  The following technical report is available from [link] Vertex Splitting and the Recognition of Trapezoid Graphs George B. Mertzios, Derek G. Corneil AIB 2009-16 Trapezoid graphs are the intersection family of trapezoids where every trapezoid has a pair of opposite sides lying on two parallel lines.... more »
By Carsten Fuhs  - Sep 24 - 1 new of 1 message    

AIB 2009-02: Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications 
  The following technical report is available from [link] Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre AIB 2009-02 We study the following problem: given a continuous-time Markov... more »
By Carsten Fuhs  - Sep 9 - 1 new of 1 message    

AIB 2008-19: Empirical Studies for the Application of Agile Methods to Embedded Systems 
  The following technical report is available from [link] Empirical Studies for the Application of Agile Methods to Embedded Systems Dirk Wilking AIB 2008-19 Agile Methods are a collection of software engineering techniques with specific differences to traditional software engineering processes.... more »
By Carsten Fuhs  - Jul 6 - 1 new of 1 message    

AIB 2009-15: Compositional Abstraction for Stochastic Systems 
  The following technical report is available from [link] Compositional Abstraction for Stochastic Systems Joost-Pieter Katoen, Daniel Klink, Martin Neuhäußer AIB 2009-15 We propose to exploit three-valued abstraction to stochastic systems in a compositional way. This combines the strengths of an aggressive... more »
By Carsten Fuhs  - Jun 26 - 1 new of 1 message    

AIB 2009-14: Doctoral Symposium on Systems Software Verification (DS SSV'09) 
  The following technical report is available from [link] Doctoral Symposium on Systems Software Verification (DS SSV'09) Ralf Huuck, Gerwin Klein, Bastian Schlich (eds.) AIB 2009-14 This report contains the proceedings of the Doctoral Symposium on Systems Software Verification (DS SSV'09), which was held during the... more »
By Carsten Fuhs  - Jun 23 - 1 new of 1 message    

AIB 2009-13: Time-optimal Winning Strategies for Poset Games 
  The following technical report is available from [link] Time-optimal Winning Strategies for Poset Games Martin Zimmermann AIB 2009-13 We introduce a novel winning condition for infinite two-player games on graphs which extends the request-response condition and better matches concrete applications in scheduling or project planning. In... more »
By Carsten Fuhs  - May 28 - 1 new of 1 message    

AIB 2009-10: Automatic Verification of the Correctness of the Upper Bound of a Maximum Independent Set Algorithm 
  The following technical report is available from [link] Automatic Verification of the Correctness of the Upper Bound of a Maximum Independent Set Algorithm Felix Reidl, Fernando Sánchez Villaamil AIB 2009-10 Kneis, Langer and Rossmanith presented a new exact algorithm for the... more »
By Carsten Fuhs  - May 18 - 1 new of 1 message    

AIB 2009-09: Implementation of an Automated Proof for an Algorithm Solving the Maximum Independent Set Problem 
  The following technical report is available from [link] Implementation of an Automated Proof for an Algorithm Solving the Maximum Independent Set Problem Michael Nett AIB 2009-09 Kneis, Langer, and Rossmanith proposed an algorithm that solves the maximum independent set problem for graphs with $n$ vertices in... more »
By Carsten Fuhs  - May 18 - 1 new of 1 message    

1 - 10 of 2424   « Newer | Older »

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