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: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)
• Publications:Enhancing reliability in IEEE 802.11 based real-time networks through transport layer retransmissions  + (2010)
• Publications:Restricted delegation and revocation in language-based security : (Position paper)  + (2010)
• Publications:On the Performance of Beaconing in 802.11p/WAVE Vehicular Ad Hoc Networks  + (2010)
• Publications:Energy Efficient Analog Front Ends For Access Networks Through Digital Signal Processing -- A Contribution To Green ICT  + (2010)
• Publications:Bridging Scientific Cultures in a Regional Health Care Context  + (2010)
• Publications:Wired and wireless reliable real-time communication in industrial systems  + (2010)
• Publications:Analytical software design : introduction and industrial experience report  + (2010)
• Publications:Pheromone-based coordination strategy to static sensors on the ground and unmanned aerial vehicles carried sensors  + (2010)
• Publications:Mint : Java Multi-stage Programming Using Weak Separability  + (2010)
• Publications:Specifying Run-time Reconfiguration in Processor Arrays using High-level language  + (2010)
• Publications:Reconstruction and verification of group membership protocols  + (2010)
• Publications:Upper Bound on Overall Delay in Wireless Broadband Networks with Non Real-Time Traffic  + (2010)
• Publications:Geo-aware Handover of Mission Agents Using Opportunistic Communication in VANET  + (2010)
• Publications:A linguistic approach to the analysis of accelerometerdata for gait analysis  + (2010)
• Publications:Parabolic Synthesis Methodology  + (2010)
• Publications:Causality in the semantics of Esterel : revisited  + (2010)
• Publications:Multiple Access Communications : Third International Workshop, MACOM 2010, Barcelona, Spain, September 13-14, 2010, Proceedings  + (2010)
• Publications:Multi-Stage Programming for High-Level Description of Circuit Families  + (2010)
• Publications:An active backscatter wake-up and tag identification extraction protocol for low cost and low power active RFID  + (2010)
• Publications:On rule formats for zero and unit elements  + (2010)
• Publications:Enhanced Wireless Sensor Network Setup Strategy Supported by Intelligent Software Agents  + (2010)
• Publications:A Spatial QoS Requirements Specification for V2V Applications  + (2010)
• Publications:Scalability issues of the MAC methods STDMA and CSMA of IEEE 802.11p when used in VANETs  + (2010)
• Publications:Robustness of equations under operational extensions  + (2010)
• Publications:Overview of broadband wireless access technologies and stochastic models for their performance evaluation  + (2010)
• Publications:Globally Parallel, Locally Sequential : A Preliminary Proposal for Acumen Objects  + (2010)
• Publications:An Energy and Application Scenario Aware Active RFID Protocol  + (2010)
• Publications:Decompositional reasoning about the history of parallel processes  + (2010)
• Publications:Coordination Mechanism and Customizable Hardware Platform to Provide Heterogeneous Wireless Sensor Networks Support  + (2010)
• Publications:Experimental Analysis of a Wireless Sensor Network Setup Strategy Provided by an Agent-Oriented Middleware  + (2010)
• Publications:Predictable real-time communications with improved reliability for IEEE 802.15.4 based industrial networks  + (2010)
• Publications:Symmetry and partial order reduction techniques in model checking Rebeca  + (2010)
• Publications:Performance Analysis of Contention Based Bandwidth Request Mechanisms in WiMAX Networks  + (2010)
• Publications:Duality-gap bounds for multi-carrier systems and their application to periodic scheduling  + (2010)
• Publications:Bridging gendered and scientific cultures in a healthcare technology context  + (2010)
• Publications:Architectures and Protocols for Performance Improvements of Real-Time Networks  + (2010)
• Publications:Checking and deriving module paths in Verilog cell library descriptions  + (2010)
• Publications:Experimental Analysis of Coordination Strategies to Support Wireless Sensor Networks Composed by Static Ground Sensors and UAV-Carried Sensors  + (2010)
• Publications:Mathematical Equations as Executable Models of Mechanical Systems  + (2010)
• Publications:Exploiting time and frequency diversity in IEEE 802.15.4 industrial networks for enhanced reliability and throughput  + (2010)
• Publications:Towards model checking executable UML specifications in mCRL2  + (2010)
• Publications:An upper-bound queueing model for Multi-rate Downlink SDMA systems  + (2010)
• Publications:Robust Dynamic Spectrum Management for DMT-Based Systems  + (2010)
• Publications:A Symbol-Based Approach to Gait Analysis From Acceleration Signals : Identification and Detection of Gait Events and a New Measure of Gait Symmetry  + (2010)
• Publications:Application of Pseudo-Elastic Wire for Hybrid Cutting Robotic Tool  + (2010)
• Publications:Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures : Paris, France, 4th September 2010  + (2010)
• Publications:Performance modeling methodology of emergency dissemination algorithms for vehicular ad-hoc networks  + (2010)
• Publications:Synthesizable High Level Hardware Descriptions  + (2010)
• Publications:A low power-long range active RFID-system consisting of active RFID backscatter transponders  + (2010)
• Publications:Rule formats for distributivity  + (2010)
• Publications:UAV relay network to support WSN connectivity  + (2010)
• Publications:Cross-Layer Channel-Aware Approaches for Modern Wireless Networks  + (2010)
• Publications:Coordinating aerial robots and unattended ground sensors for intelligent surveillance systems  + (2010)
• Publications:A Methodology for Parabolic Synthesis  + (2010)
• Publications:Robustness of behavioral equivalence on open terms  + (2010)
• Publications:ICUMT 2009 Conference in St. Petersburg, Russia  + (2010)
• Publications:Preliminary Results in Virtual Testing for Smart Building  + (2010)
• Publications:A snoozing frequency binary tree protocol  + (2010)
• Publications:Lifting non-finite axiomatizability results to extensions of process algebras  + (2010)
• Publications:Decentralized task distribution among cooperative UAVs in surveillance systems applications  + (2010)
• Publications:Middleware Support for Wireless Sensor Networks : a survey  + (2010)
• Publications:Measuring and using the RSSI of IEEE 802.11p  + (2010)
• Publications:PobSAM : policy-based managing of actors in self-adaptive systems  + (2010)
• Publications:Client Relay Simulation Model for Centralized Wireless Networks  + (2010)
• Publications:A Domain-Specific Language Approach to Protocol Stack Implementation  + (2010)
• Publications:A Design Methodology for Resource to Performance Tradeoff Adjustment in FPGAs  + (2010)
• Publications:Evaluating CALM M5-based vehicle-to-vehicle communication in various road settings through field trials  + (2010)
• Publications:Order-independence of vector-based transition systems  + (2010)
• Publications:Mobile Agents Model and Performance Analysis of a Wireless Sensor Network Target Tracking Application  + (2011)
• Publications:Heuristics for Discrete Power Control - A Case-Study in Multi-Carrier DSL Networks  + (2011)
• Publications:Performance Evaluation of a Three Node Client Relay System  + (2011)
• Publications:Trustworthy Broadcasting in IEEE 802.11p/WAVE Vehicular Networks : Delay Analysis  + (2011)
• Publications:A VLSI Implementation of Logarithmic and Exponential Functions Using a Novel Parabolic Synthesis Methodology Compared to the CORDIC Algorithm  + (2011)
• Publications:A Library for Processing Ad hoc Data in Haskell : Embedding a Data Description Language  + (2011)
• Publications:2011 Baltic Congress on Future Internet and Communications (BCFIC Riga 2011)  + (2011)
• Publications:Occam-pi as a High-level Language for Coarse-Grained Reconfigurable Architectures  + (2011)
• Publications:SOS Rule Formats for Zero and Unit Elements  + (2011)
• Publications:Symbolic Power Analysis of Cell Libraries  + (2011)
• Publications:Improving Connectivity of Nodes in Mobile WSN  + (2011)
• Publications:Programming of Coarse-Grained Reconfigurable Architectures  + (2011)
• Publications:Concurrent multipath transmission combining forward error correction and path interleaving for video streaming  + (2011)
• Publications:Parabolic Synthesis  + (2011)
• Publications:A Compositional Implementation of Modbus in Protege  + (2011)
• Publications:Performance analysis of non-beaconed IEEE 802.15.4 for high-confidence wireless communications  + (2011)
• Publications:Symbolization of time series : an evaluation of SAX, persist, and ACA  + (2011)
• Publications:Why real-time communication matters  + (2011)
• Publications:Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures  + (2011)
• Publications:Handling Failures of Static Sensor Nodes in Wireless Sensor Network by Use of Mobile Sensors  + (2011)
• Publications:The Trouble with Real Numbers  + (2011)
• Publications:Special Issue on Mobile Computing and Networking Technologies  + (2011)
• Publications:Delay and interference comparison of CSMA and self-organizing TDMA when used in VANETs  + (2011)
• Publications:Dependable Automotive Systems based on Model Certified Components  + (2011)
• Publications:A Core Language for Executable Models of Cyber Physical Systems : work in progress report  + (2011)
• Publications:Modeling Broadcasting in IEEE 802.11p/WAVE Vehicular Networks  + (2011)
• Publications:Evaluating IEEE 802.15.4 for Cyber-Physical Systems  + (2011)
• Publications:Real-time communication support for cooperative, infrastructure-based traffic safety applications  + (2011)
• Publications:Automated Verification of Executable UML Models  + (2011)
• Publications:Implicitly Heterogeneous Multi-Stage Programming for FPGAs  + (2011)
• Publications:Multiple Access Communications : 4th International Workshop, MACOM 2011, Trento, Italy, September 12-13, 2011. Proceedings  + (2011)
• Publications:Report on Rail Conference and Wireless Communications : VTS News  + (2011)
• Publications:Analyzing different levels of geographic context awareness in agent ferrying over VANETs  + (2011)
• Publications:Coverage Optimization in DSL Networks by Low-Complexity Discrete Spectrum Balancing  + (2011)
• Publications:Characterizing broadcast packet losses in IEEE 802.11p/WAVE vehicular networks  + (2011)
• Publications:ITST 2011 Conference in Saint-Petersburg, Russia  + (2011)
• Publications:Multi-Terrain Vehicle Active Suspension Control Modeling and Design  + (2011)
• Publications:Proceedings First International Workshop on Process Algebra and Coordination  + (2011)
• Publications:A Serious Computer Game to Assist Tai Chi Training for the Elderly  + (2011)
• Publications:Special Issue on the Communication Technologies for Vehicles  + (2011)
• Publications:Programming Real-time Autofocus on a Massively Parallel Reconfigurable Architecture using Occam-pi  + (2011)
• Publications:Long-run order-independence of vector-based transition systems  + (2011)
• Publications:Energy- Efficient DSL using Vectoring  + (2011)
• Offline handwritten Amharic word recognition  + (2011)
• Publications:2011 11th International Conference on ITSTelecommunications  + (2011)
• Publications:Ultra Low Power Hardware for Computing Squared Euclidean Distances  + (2011)
• Publications:An embedded language for programming protocol stacks in embedded systems  + (2011)
• Publications:An open Telematics Service Providing Framework using the P2P-like paradigm based on the somecast protocol  + (2011)
• Publications:Mapping Occam-pi programs to a Manycore Architecture  + (2011)
• Publications:Decompositional Reasoning about the History of Parallel Processes  + (2011)
• Publications:Synchronizing Asynchronous Conformance Testing  + (2011)
• Publications:Multi-Agent Support in a Middleware for Mission-Driven Heterogeneous Sensor Networks  + (2011)
• Publications:Static Consistency Checking for Verilog Wire Interconnects  + (2011)
• Publications:MAC-level Forward Error Correction mechanism for minimum error recovery overhead and retransmission  + (2011)
• Publications:Communication requirements of emerging cooperative driving systems  + (2011)
• Publications:Evaluation of RTSJ-Based Distributed Control System  + (2011)
• Publications:Accurate Programming : Thinking about programs in terms of properties  + (2011)
• Publications:Guest editorial for the special issue on "Next generation networks service management"  + (2011)
• Publications:A new measure of movement symmetry in early Parkinson's disease patients using symbolic processing of inertial sensor data  + (2011)
• Publications:Position-based real-time communication support for cooperative traffic safety services  + (2011)
• Publications:Formal analysis of systemc designs in process algebra  + (2011)
• Publications:Static Consistency Checking for Verilog Wire Interconnects : Using Dependent Types to Check the Sanity of Verilog Descriptions  + (2011)
• Publications:Communication Technologies for Vehicles : Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011, Proceedings  + (2011)
• Publications:How severe is the hidden terminal problem in VANETs when using CSMA and STDMA?  + (2011)
• Publications:On the requirements on models and simulator design for integrated VANET Simulation  + (2011)
• Publications:OFDM/OFDMA Subcarrier Allocation  + (2011)
• Publications:Understanding the performance of short-lived control broadcast packets in 802.11p/WAVE Vehicular networks  + (2011)
• Publications:ICUMT 2010 Congress in Moscow, Russia  + (2011)
• Publications:Vehicular ad-hoc networks to avoid surprise effects on sparsely trafficked, rural roads  + (2011)
• Publications:Towards Model-Based Testing of Electronic Funds Transfer Systems  + (2011)
• Publications:Release Offset Bounds for Response Time Analysis of P-FRP using Exhaustive Enumeration  + (2011)
• Publications:Synchronous Relaying in Vehicular Ad-Hoc Networks  + (2011)
• Publications:Adaptive Cooperative Awareness Messaging for Enhanced Overtaking Assistance on Rural Roads  + (2011)
• Publications:Deterministic real-time medium access for cognitive industrial radio networks  + (2012)
• Publications:Modeling and Optimization of Line-Driver Power Consumption in xDSL Systems  + (2012)
• Publications:Multiple access communications in future-generation wireless networks  + (2012)
• Publications:Internet of Things  + (2012)
• Publications:Rule Formats for Distributivity  + (2012)
• Publications:Special Section on Telematics Advances for Vehicular Communication Networks  + (2012)
• Publications:Occam-pi for Programming of Massively Parallel Reconfigurable Architectures  + (2012)
• Publications:MC-EDF: A control-channel based wireless multichannel MAC protocol with real-time support  + (2012)
• Publications:Column Generation for Discrete-Rate Multi-User and Multi-Carrier Power Control  + (2012)
• Publications:Using of beaconing for robust video transmission in overtaking assistance applications  + (2012)
• Publications:Neuro-Fuzzy Models, BELRFS and LOLIMOT, for Prediction of Chaotic Time Series  + (2012)
• Publications:A wearable gait analysis system using inertial sensors Part II : Evaluation in a clinical setting  + (2012)
• Publications:Roadside Networks for Vehicular Communications: Architectures, Applications, and Test Fields  + (2012)
• Publications:Managing Dynamic Reconfiguration for Fault-tolerance on a Manycore Architecture  + (2012)
• Publications:Computaionla design and analysis of Kinematic close chain mechatronic applications.  + (2012)
• Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer  + (2012)
• Publications:Scalability analysis of infrastructure networks for vehicular safety applications  + (2012)
• Publications:Using the grouping genetic algorithm (GGA) for channel assignment in a cluster-based mobile ad hoc network  + (2012)
• Publications:Reasoning About Multi-Stage Programs  + (2012)
• Publications:Modeling Prioritized Broadcasting in Multichannel Vehicular Networks  + (2012)
• Publications:A wearable gait analysis system using inertial sensors Part I: evaluation of measures of gait symmetry and normality against 3D kinematic data  + (2012)
• Publications:Report on Wireless Vehicular Communications : VTS News  + (2012)
• Publications:Formal modeling of evolving self-adaptive systems  + (2012)
• Publications:A Novel Reliable Routing Scheme for VANETs  + (2012)
• Publications:Two Protocols with Heterogeneous Real-Time Services for High-Performance Embedded Networks  + (2012)
• Publications:A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)  + (2012)
• Publications:On the performance of packet aggregation in IEEE 802.11ac MU-MIMO WLANs  + (2012)
• Publications:A Symbolic Approach to Human Motion Analysis Using Inertial Sensors : Framework and Gait Analysis Study  + (2012)
• Publications:The effects of relay behavior and position in wireless industrial networks  + (2012)
• Publications:Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems  + (2012)
• Publications:The Nets4Cars & Nets4Trains Workshop Series  + (2012)
• Publications:Increasing the probability of timely and correct message delivery in road side unit based vehicular communication  + (2012)
• Publications:Energy-saving by Low-Power Modes in ADSL2  + (2012)
• Publications:Communications Technologies for Vehicles : 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012, Proceedings  + (2012)
• Publications:Rule Formats for Determinism and Idempotence  + (2012)
• Publications:A wearable gait analysis system using inertial sensors Part I : Evaluation of measures of gait symmetry and normality against 3D kinematic data  + (2012)
• Publications:2012 2nd Baltic Congress on Future Internet Communications  + (2012)
• Publications:Synthetic-Aperture Radar Processing on a Manycore Architecture  + (2012)
• Publications:Investigation of Personal Mobility Vehicle stability and maneuverability under various road scenarios  + (2012)
• Publications:Mechanized Extraction of Topology Anti-patterns in Wireless Networks  + (2012)
• Publications:An Overtaking Assistance System Based on Joint Beaconing and Real-Time Video Transmission  + (2012)
• Publications:Imperialist Competition Algorithm for DSA in Cognitive Radio Networks  + (2012)
• Publications:Modeling Basic Aspects of Cyber-Physical Systems  + (2012)
• Publications:ICUMT 2011 Congress in Budapest, Hungary  + (2012)
• Publications:Parallelization of the Estimation Algorithm of the 3D Structure Tensor  + (2012)
• Publications:On relaying for wireless industrial communications : Is careful placement of relayers strictly necessary?  + (2012)
• Publications:Esterel and the Semantics of Causality  + (2012)
• Publications:3GPP LTE Versus IEEE 802.11p/WAVE : Which Technology is Able to Support Cooperative Vehicular Safety Applications?  + (2012)
• Publications:Brain Emotional Learning Based Fuzzy Inference System (BELFIS) for Solar Activity Forecasting  + (2012)
• Publications:Virtual Testing for Smart Buildings  + (2012)
• Publications:Multiple Access Communications : 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012. Proceedings  + (2012)
• Publications:A wearable gait analysis system using inertial sensors Part II: Evaluation in a clinical setting  + (2012)
• Publications:Vehicle-to-Vehicle Communications  + (2012)
• Publications:Nominal SOS  + (2012)
• Publications:Deployment of a Real Vehicular Delay-Tolerant Network Testbed  + (2012)

 

Property:     Value: