1
Published 2008
Table of Contents: ... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ...? -- Session I A: Distributed Algorithms -- Performance of Fair Distributed Mutual Exclusion Algorithms -- A...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... -- Session 10B -- Faster Approximation of Distances in Graphs -- Approximate Shortest Paths Guided by a Small...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ...-Performance Microprocessors -- Low Power Robust Computing -- Networks and Games -- Plenary Session - Best...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Program Path Locality for Real-Time Embedded Systems -- Advanced Resource Management and Scheduling...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... with Improved Per-core Performance Using Off-the-critical Path Reconfigurable Hardware -- Session VI...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Dependencies of Multi-dimensional Array References -- Session 6: Network Architecture -- QoS-Based Dynamic...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ...Poster Session 3 (Continued): Segmentation, Grouping, and Classification Multi-layer Spectral...
View full text
Electronic eBook
9
Published 2012
Table of Contents: ... Segmentation Based on Neuronal Activation Degree of Visual Model.- One-Dimensional-Array Millimeter-Wave...
View full text
Electronic eBook