Year 2007

From CERES

A list of all pages that have property "Year" with value "2007". Since there have been only a few results, also nearby values are displayed.

• Publications:Towards a tool for derivation of implementation constraints  + (2004)
• Publications:System-Level Runtime Reconfigurablity - Optical Interconnection Networks for Switching Applications  + (2004)
• Publications:Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks.  + (2004)
• Publications:Guaranteed real-time services in switched Ethernet networks with deadline scheduling in the end nodes  + (2004)
• Publications:Two-level Reconfigurable Architecture for High-Performance Signal Processing  + (2004)
• Publications:DSL Implementation in MetaOCaml, Template Haskell, and C++  + (2004)
• Publications:Efficient many-to-many real-time communication using an intelligent Ethernet switch  + (2004)
• Combining Biometric Evidence for Person Authentication  + (2005)
• Publications:Analytical approach for maximizing the average code rate of incremental redundancy schemes  + (2005)
• Publications:A syntactic commutativity format for SOS  + (2005)
• Publications:A Fibre-Optic AWG-Based Real-Time Network and Its Applicability to High-Performance Embedded Computing  + (2005)
• Publications:Orthogonal extensions in structural operational semantics  + (2005)
• Publications:AWG-based optoelectronic router supporting both guaranteed and best-effort QoS traffic  + (2005)
• Publications:Performance Analysis of the Random Access in IEEE 802.16  + (2005)
• Publications:Ordinateur porté : dispositifs d'entrée sortie  + (2005)
• Publications:T4 - Telematics for Totally Transparent Transports  + (2005)
• Publications:Admission control for switched real-time Ethernet : scheduling analysis versus network calculus  + (2005)
• Publications:Implicitly Heterogeneous Multi-Stage Programming  + (2005)
• Publications:Meeting Engineer Efficiency Requirements in Highly Parallel Signal Processing by Using Platforms  + (2005)
• Publications:Derivation of implementation constraints - implementation simulation and treatment of multiple design choices  + (2005)
• Publications:Incremental redundancy deadline dependent coding for efficient wireless real-time communications  + (2005)
• Publications:Notions of bisimulation and congruence formats for SOS with data  + (2005)
• Publications:AWG-based Optoelectronic Router with QoS Support  + (2005)
• Publications:Propagation Modeling for Systems Beyond 3G  + (2005)
• Publications:Distributed Access Framework for Embedded Device Community  + (2005)
• Publications:Analyzing the Advantages of Run-Time Reconfiguration in Radar Signal Processing  + (2005)
• Publications:Reconfigurable optical interconnection system supporting concurrent application-specific parallel computing  + (2005)
• Publications:Dynamic Management of Input/Output Devices for Wearable Computers  + (2005)
• Publications:Compiling Stream-Language Applications to a Reconfigurable Array Processor  + (2005)
• Publications:Guaranteed real-time services over standard switched Ethernet  + (2005)
• Publications:Prototyping SOS meta-theory in Maude  + (2006)
• Publications:Wireless Real-Time Communication Using Deadline Dependent Coding  + (2006)
• Publications:The normalized rate iterative algorithm : a practical dynamic spectrum management method for DSL  + (2006)
• Publications:Efficient Request Mechanism Usage in IEEE 802.16  + (2006)
• Publications:Computing the minimum EDF feasible deadline in periodic systems  + (2006)
• Publications:Preface  + (2006)
• Publications:The REMAP Reconfigurable Architecture : a Retrospective  + (2006)
• Publications:Real-Time Communication  + (2006)
• Publications:Towards an Energy Efficient Protocol for Active RFID  + (2006)
• Publications:A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions  + (2006)
• Publications:Throughput analysis of synchronous data flow graphs  + (2006)
• Publications:Puncturing strategies for incremental redundancy schemes using rate compatible systematic serially concatenated codes  + (2006)
• Publications:Advanced Signal Processing for Digital Subscriber Lines  + (2006)
• Publications:Distributed Queue Random Multiple Access Algorithm for Centralized Data Networks  + (2006)
• Publications:A pipelined fiber-ribbon ring network with heterogeneous real-time support  + (2006)
• Publications:Revised Upstream Power back-off for VDSL  + (2006)
• Publications:A configurable framework for stream programming exploration in baseband applications  + (2006)
• Publications:Real-time communication for industrial embedded systems using switched Ethernet  + (2006)
• Publications:Using Dual-Radio Nodes to Enable Quality of Service in a Clustered Wireless Mesh Network  + (2006)
• Publications:A Semantic Analysis of C++ Templates  + (2006)
• Publications:Analysis of Efficient TDMA Schedules via the Fat-Tree Network with Real-Time Many-to-Many Communication  + (2006)
• Publications:Concatenated systems and cross-layer design  + (2006)
• Vision with Direction  + (2006)

• Publications:A Congruence Rule Format with Universal Quantification  + (2007)
• Publications:A Study of Design Efficiency with a High-Level Language for FPGAs  + (2007)
• Publications:Algorithm for the choice of topology in reconfigurable networks with real-time support  + (2007)
• Publications:Algorithm for the choice of topology in reconfigurable on-chip networks with real-time support  + (2007)
• Publications:Architectural challenges in memory-intensive, real-time image forming  + (2007)
• Publications:Capacity Estimation of Centralized Reservation-Based Random Multiple-Access System  + (2007)
• Publications:Concoqtion : Indexed Types Now!  + (2007)
• Publications:Cooperative Communication Disturbance Detection in Vehicle Safety Systems  + (2007)
• Publications:Derivation of implementation constraints -- implementation simulation and treatment of multiple design choices  + (2007)
• Publications:Dynamic Spectrum Management for Standardized VDSL  + (2007)
• Publications:E-FRP with Priorities  + (2007)
• Publications:Evolution in Architectures and Programming Methodologies of Coarse-Grained Reconfigurable Computing  + (2007)
• Publications:Gilbert-Elliot Model Parameters Derivation for the IEEE 802.11 Wireless Channel  + (2007)
• Publications:Gradual Typing for Functional Languages  + (2007)
• Publications:Gradual typing for objects  + (2007)
• Publications:Guaranteed Real-Time Communication in Packet-Switched Networks with FCFS queuing : Analysis and Simulations  + (2007)
• Publications:Guest editorial : Special section on wireless technologies in factory and industrial automation -- part I  + (2007)
• Publications:Guest editorial : Special section on wireless technologies in factory and industrial automation -- part II  + (2007)
• Publications:Implicitly Heterogeneous Multi-stage Programming  + (2007)
• Publications:Impossibility results for the equational theory of timed CCS  + (2007)
• Publications:Machine Assisted Code Generation for Manycore Processors  + (2007)
• Publications:Network component architectures from a real-time perspective  + (2007)
• Publications:On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference  + (2007)
• Publications:Operational and epistemic approaches to protocol analysis : Bridging the gap  + (2007)
• Publications:Operational and epistemic approaches to protocol analysis : bridging the gap  + (2007)
• Publications:Performance Analysis of the Polling Scheme in IEEE 802.16  + (2007)
• Publications:Performance analysis and enhancement of an ultra-wideband WPAN MAC in the presence of noise  + (2007)
• Publications:Performance analysis of a high-speed ultra-wideband WPAN MAC  + (2007)
• Publications:Portable mechatronic system for demining applications: control unit design and development  + (2007)
• Publications:Protocols for active RFID - the energy consumption aspect  + (2007)
• Publications:Random Multiple Access in WiMAX : Problems and Solutions  + (2007)
• Publications:Reducing delay and jitter in software control systems  + (2007)
• Publications:SOS formats and meta-theory : 20 years after  + (2007)
• Publications:Safety Considerations for Cooperating Vehicles using Wireless Communication  + (2007)
• Publications:Sarir : a Rebeca to mCRL2 translator  + (2007)
• Publications:Semantics and expressiveness of ordered SOS  + (2007)
• Publications:Spectrum Balancing for DSL with Restrictions on Maximum Transmit PSD  + (2007)
• Publications:Surveillance of mobile objects using coordinated wireless sensor nodes  + (2007)
• Publications:Test environment design for wireless vehicle communications  + (2007)
• Publications:The Semantics of Graphical Languages  + (2007)
• Publications:The use of clustered wireless multihop networks in industrial settings  + (2007)
• Publications:VDSL Power Back-Off Parameter Optimization for a Cable Bundle  + (2007)
• Publications:Vehicle Alert System  + (2007)
• Publications:Verification of Multipair Copper Cable Model by Measurements  + (2007)
• Publications:Wireless broadband access : WiMax and beyond - Investigation of bandwidth request mechanisms under point-to-multipoint mode of WiMAX networks  + (2007)

• Publications:Domain-Specific Languages  + (2008)
• Publications:2008 15th International Conference on Telecommunications, ICT 2008 and MACOM 2008 Workshop Proceedings  + (2008)
• Publications:Hard decision packet combining methods for industrial wireless relay networks  + (2008)
• Publications:A framework for performance evaluation and functional verification in stochastic process algebras  + (2008)
• Publications:Adaptable middleware for heterogeneous wireless sensor networks  + (2008)
• Publications:Methodologies and tools for development of signal processing software on multicore platforms  + (2008)
• Publications:Fibre-Optic AWG Networks Supporting Real-Time Communication in High-Performance Embedded Systems  + (2008)
• Publications:Timing Analysis of the Priority based FRP System  + (2008)
• Publications:Symmetric User Grouping for Multicast and Broadcast Polling in IEEE 802.16 Networks  + (2008)
• Publications:Wireless strategies for future and emerging ITS applications  + (2008)
• Publications:Process algebraic verification of SystemC codes  + (2008)
• Publications:Dynamic Reconfigurable Task Schedule Support towards a Reflective Middleware for Sensor Network  + (2008)
• Publications:A Wearable Accelerometer Based Platform to Encourage Physical Activity for the Elderly  + (2008)
• Publications:Reliable hard real-time communication in industrial and embedded systems  + (2008)
• Publications:Method of optimizing bit rate capacities of DSL user lines  + (2008)
• Publications:Medium access control in vehicular networks based on the upcoming IEEE 802.11p standard  + (2008)
• Publications:Less pessimistic worst-case delay analysis for packet-switched networks  + (2008)
• Publications:Optimization of the frame structure for the IEEE 802.16 in the error-prone channel  + (2008)
• Publications:A Methodology for Parabolic Synthesis of Unary Function for Hardware Implementation  + (2008)
• Publications:Real-time task reconfiguration support applied to an UAV-based surveillance system  + (2008)
• Publications:Using aspects and component concepts to improve reuse of software for embedded systems product lines  + (2008)
• Publications:Selecting back off algorithm in active RFID CSMA/CA based medium-access protocols  + (2008)
• Publications:Supporting real-time data traffic in safety-critical vehicle-to-infrastructure communication  + (2008)
• Publications:A Gentle Introduction to Multi-stage Programming, Part II  + (2008)
• Publications:The use of WiMAX as a carrier technology for Wireless Billboard Channels  + (2008)
• Publications:Joint design of relay and packet combining schemes for wireless industrial networks  + (2008)
• Publications:PARS : a process algebraic approach to resources and schedulers  + (2008)
• Publications:Reflective middleware for heterogeneous sensor networks  + (2008)
• Publications:A Domain-specific Approach for Software Development on Manycore Platforms  + (2008)
• Publications:Position-based forwarding techniques for vehicular ad-hoc networks  + (2008)
• Publications:Synthesizable high level hardware descriptions : using statically typed two-level languages to guarantee verilog synthesizability  + (2008)
• Publications:Contention-Based Polling Efficiency in Broadband Wireless Networks  + (2008)
• Publications:State of the art survey of wireless vehicular communication projects  + (2008)
• Publications:Application of process algebraic verification and reduction techniques to SystemC designs  + (2008)
• Publications:Dynamic Tasks' Reconfiguration for UAV System using Aspect Orientation  + (2008)
• Publications:Gait Unsteadiness Analysis from Motion Primitives  + (2008)
• Publications:Improving the scheduling analysis of hard real-time traffic by analyzing traffic dependencies  + (2008)
• Publications:Dynamic spectrum management for energy-efficient transmission in DSL  + (2008)
• Publications:Evaluation of the IEEE 802.11p MAC method for vehicle-to-vehicle communication  + (2008)
• Publications:A rule format for associativity  + (2008)
• Publications:Selected Lectures on Multiple Access and Queueing Systems : Revised Selected Papers from International Workshop on Multiple Access Communications - MACOM-2008 (16-17 June 2008, Saint-Peterburg)  + (2008)
• Publications:Meeting reliability and real-time demands in wireless industrial communication  + (2008)
• Publications:Model-based estimation of driver intentions using particle filtering  + (2008)
• Publications:Performance Evaluation of the Cable Bundle Unique Power Back-Off Algorithm  + (2008)
• Publications:Using a CSP based programming model for reconfigurable processor arrays  + (2008)
• Publications:Wireless Sensor Networks for Surveillance Applications - A Comparative Survey of MAC Protocols  + (2008)
• Publications:A Simple Analytical Model for the Periodic Broadcasting in Vehicular Ad-Hoc Networks  + (2008)
• Publications:PRIOREL-COMB : A protocol framework supporting relaying and packet combining forwireless industrial networking  + (2008)
• Publications:Dynamic Self-Rescheduling of Tasks over a Heterogeneous Platform  + (2008)
• Publications:Real-time Support in Adaptable Middleware for Heterogeneous Sensor Networks  + (2008)
• Publications:A domain-specic approach for software development on manycore platforms  + (2008)
• Publications:Real-Time Communication in Infrastructure-Based Safety-Critical Information Exchange  + (2008)
• Publications:Exploring the Design Space of Higher-Order Casts  + (2009)
• Publications:Evolution in architectures and programming methodologies of coarse-grained reconfigurable computing  + (2009)
• Publications:Model checking Verilog descriptions of cell libraries  + (2009)
• Publications:Random multiple access with successive interference cancellation for centralized networks  + (2009)
• Publications:Towards reliable wireless industrial communication with real-time guarantees  + (2009)
• Publications:A Two Level Approach to the Design of Software for Cooperating Embedded Systems  + (2009)
• Publications:Integrating a data description language with protocol stack development  + (2009)
• Publications:Manycore performance analysis using timed configuration graphs  + (2009)
• Publications:Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009: Eindhoven, The Netherlands  + (2009)
• Publications:Performance evaluation and parameterization of the IEEE 802.16 contention-based CDMA bandwidth request mechanism for the OFDMA physical layer  + (2009)
• Publications:Cooperative systems for traffic safety : Will existing wireless access technologies meet the communications requirements?  + (2009)
• Publications:Evaluation of coordination strategies for heterogeneous sensor networks aiming at surveillance applications  + (2009)
• Publications:Study of Beaconing for Car-to-Car Communication in Vehicular Ad-Hoc Networks  + (2009)
• Publications:A rule format for unit elements  + (2009)
• Publications:Delay-Constrained Scheduling for Interference-Limited Multi-Carrier Systems  + (2009)
• Publications:High-level programming of coarse-grained reconfigurable architectures  + (2009)
• Publications:Information and telecommunication intellectual monitoring technology and system for complex technical objects under dynamic conditions in real time  + (2009)
• Publications:On the ability of the 802.11p MAC method and STDMA to support real-time vehicle-to-vehicle communications  + (2009)
• Publications:Middleware Support in Unmanned Aerial Vehicles and Wireless Sensor Networks for Surveillance Applications  + (2009)
• Publications:Estimation of a successful beacon reception probability in vehicular ad-hoc networks  + (2009)
• Publications:Guaranteed real-time communication in packet-switched networks with FCFS queuing  + (2009)
• Publications:Energy Efficient Power Back-Off Management for VDSL2 Transmission  + (2009)
• Publications:Implementing Haptic Feedback Environments from High-level Descriptions  + (2009)
• Publications:Report on the Collaboration between CVIS and CERES in the Project Vehicle Alert System (VAS)  + (2009)
• Publications:Supporting platform for heterogeneous sensor network operation based on unmanned vehicles systems and wireless sensor nodes  + (2009)
• Publications:On the delay lower bound for the emergency message dissemination in vehicular ad-hoc networks  + (2009)
• Publications:Position-based data traffic prioritization in safety-critical, real-time vehicle-to-infrastructure communication  + (2009)
• Publications:Act normal : using uncertainty about driver intentions as a warning criterion  + (2009)
• Publications:Static Consistency Checking for Verilog Wire Interconnects : Using dependent types to check the sanity of verilog descriptions  + (2009)
• Publications:An application dependent medium access protocol for active RFID using dynamic tuning of the back-off algorithm  + (2009)
• Publications:Formal analysis of non-determinism in Verilog cell library simulation models  + (2009)
• Publications:Performance Aspects of Vehicular Ad-hoc Networks : Current Research and Possible Trends  + (2009)
• Publications:Parabolic Synthesis Methodology Implemented on the Sine Function  + (2009)
• Publications:Multi-agents supporting reflection in a middleware for mission-driven heterogeneous sensor networks  + (2009)
• Publications:Developing a Motion Language: Gait Analysis from Accelerometer Sensor Systems  + (2009)
• Publications:Formal specification and analysis of accelerated heartbeat protocols  + (2009)
• Publications:A Domain Specific Approach to Network Software Architecture : Assuring Conformance Between Architecture and Code  + (2009)
• Publications:2009 International Conference on Ultra Modern Telecommunications & Workshops, ICUMT 2009  + (2009)
• Publications:Scheduling relay nodes for reliable wireless real-time communications  + (2009)
• Publications:An agent framework to support sensor networks' setup and adaptation  + (2009)
• Publications:Capacity analysis of reservation-based random access for broadband wireless access networks  + (2009)
• Publications:Algebraic properties for free!  + (2009)
• Publications:VDSL2 Multi-Processor System-on-Chip Design  + (2009)
• Publications:In Pursuit of Real Answers  + (2009)
• Publications:Overall Delay in IEEE 802.16 with Contention-Based Random Access  + (2009)
• Publications:On the ability of the IEEE 802.11p and STDMA to provide predictable channel access  + (2009)
• Publications:Dynamic activity and task allocation supporting uav teams in surveillance systems  + (2009)
• Publications:A novel model for study of broadcasting in wireless networks  + (2009)
• Publications:Handover in IEEE 802.11p-based delay-sensitive vehicle-to-infrastructure communication  + (2009)
• Publications:Using a Link Metric to Improve Communication Mechanisms and Real-Time Properties in an Adaptive Middleware for Heterogeneous Sensor Networks  + (2009)
• Publications:Enhanced pheromone-based mechanism to coordinate UAVs and WSN nodes on the ground  + (2010)

 

Property:     Value: