Year 2007
From CERES
A list of all pages that have property "Year" with value "2007"
Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
- Publications:A Congruence Rule Format with Universal Quantification +
- Publications:A Study of Design Efficiency with a High-Level Language for FPGAs +
- Publications:Algorithm for the choice of topology in reconfigurable networks with real-time support +
- Publications:Algorithm for the choice of topology in reconfigurable on-chip networks with real-time support +
- Publications:Architectural challenges in memory-intensive, real-time image forming +
- Publications:Capacity Estimation of Centralized Reservation-Based Random Multiple-Access System +
- Publications:Concoqtion : Indexed Types Now! +
- Publications:Cooperative Communication Disturbance Detection in Vehicle Safety Systems +
- Publications:Derivation of implementation constraints -- implementation simulation and treatment of multiple design choices +
- Publications:Dynamic Spectrum Management for Standardized VDSL +
- Publications:E-FRP with Priorities +
- Publications:Evolution in Architectures and Programming Methodologies of Coarse-Grained Reconfigurable Computing +
- Publications:Gilbert-Elliot Model Parameters Derivation for the IEEE 802.11 Wireless Channel +
- Publications:Gradual Typing for Functional Languages +
- Publications:Gradual typing for objects +
- Publications:Guaranteed Real-Time Communication in Packet-Switched Networks with FCFS queuing : Analysis and Simulations +
- Publications:Guest editorial : Special section on wireless technologies in factory and industrial automation -- part I +
- Publications:Guest editorial : Special section on wireless technologies in factory and industrial automation -- part II +
- Publications:Implicitly Heterogeneous Multi-stage Programming +
- Publications:Impossibility results for the equational theory of timed CCS +
