StartPage 1

From CERES

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

• Publications:A Simple Analytical Model for the Periodic Broadcasting in Vehicular Ad-Hoc Networks  + (1)
• Publications:A Study of Design Efficiency with a High-Level Language for FPGAs  + (1)
• Publications:Adaptive Cooperative Awareness Messaging for Enhanced Overtaking Assistance on Rural Roads  + (1)
• Publications:Advanced Signal Processing for Digital Subscriber Lines  + (1)
• Publications:Algorithm for the choice of topology in reconfigurable on-chip networks with real-time support  + (1)
• Publications:Developing a Motion Language: Gait Analysis from Accelerometer Sensor Systems  + (1)
• Publications:Efficient Request Mechanism Usage in IEEE 802.16  + (1)
• Publications:Evaluation of the IEEE 802.11p MAC method for vehicle-to-vehicle communication  + (1)
• Publications:Exploiting time and frequency diversity in IEEE 802.15.4 industrial networks for enhanced reliability and throughput  + (1)
• Publications:How severe is the hidden terminal problem in VANETs when using CSMA and STDMA?  + (1)
• Publications:Knowledge Horizon - Dynamic limitations in a wireless ad hoc network  + (1)
• Publications:Mathematical Equations as Executable Models of Mechanical Systems  + (1)
• Publications:Modeling and Optimization of Line-Driver Power Consumption in xDSL Systems  + (1)
• Publications:Occam-pi for Programming of Massively Parallel Reconfigurable Architectures  + (1)
• Publications:On the ability of the 802.11p MAC method and STDMA to support real-time vehicle-to-vehicle communications  + (1)
• Publications:Optoelectronic router with a reconfigurable shuffle network based on micro-optoelectromechanical systems  + (1)
• Publications:Preface  + (1)
• Publications:Rule Formats for Distributivity  + (1)
• Publications:Scalability issues of the MAC methods STDMA and CSMA of IEEE 802.11p when used in VANETs  + (1)
• Publications:Scheduling relay nodes for reliable wireless real-time communications  + (1)
• Publications:Some Challenges for Model-Based Simulation  + (1)
• Publications:Special Section on Telematics Advances for Vehicular Communication Networks  + (1)
• Publications:Specifying Run-time Reconfiguration in Processor Arrays using High-level language  + (1)
• Publications:Study of Beaconing for Car-to-Car Communication in Vehicular Ad-Hoc Networks  + (1)
• Publications:The normalized rate iterative algorithm : a practical dynamic spectrum management method for DSL  + (1)
• Publications:The use of WiMAX as a carrier technology for Wireless Billboard Channels  + (1)
• Publications:Towards an Energy Efficient Protocol for Active RFID  + (1)
• Publications:Using of beaconing for robust video transmission in overtaking assistance applications  + (1)

• Publications:State of the art survey of wireless vehicular communication projects  + (10)
• Publications:Vehicular Delay-Tolerant Networks? A Novel Solution for Vehicular Communications  + (10)
• Publications:On inter-cluster communication in a time-deterministic WDM star network  + (10)
• Publications:On the ability of the IEEE 802.11p and STDMA to provide predictable channel access  + (10)
• Publications:Gilbert-Elliot Model Parameters Derivation for the IEEE 802.11 Wireless Channel  + (101)
• Publications:Dynamic spectrum management for energy-efficient transmission in DSL  + (1015)
• Publications:Report on Wireless Vehicular Communications : VTS News  + (102)
• Publications:Understanding the performance of short-lived control broadcast packets in 802.11p/WAVE Vehicular networks  + (102)
• Publications:Pseudo-elastic wire application in robotized cutting systems  + (103)
• Publications:Nominal SOS  + (103)
• Publications:Deployment of a Real Vehicular Delay-Tolerant Network Testbed  + (103)
• Publications:The Use of Automotive Radars in Video-Based Overtaking Assistance Applications  + (1035)
• Publications:Hard decision packet combining methods for industrial wireless relay networks  + (104)
• Publications:Guest editorial for the special issue on "Next generation networks service management"  + (1043)
• Publications:Vision-based low-level navigation using a feed-forward neural network  + (105)
• Publications:Robustness of equations under operational extensions  + (106)
• Publications:Notions of bisimulation and congruence formats for SOS with data  + (107)
• Publications:Manycore performance analysis using timed configuration graphs  + (108)
• Publications:A Congruence Rule Format with Universal Quantification  + (109)
• Publications:Network component architectures from a real-time perspective  + (11)
• Publications:Real-time Detection of Denial-of-Service Attacks in IEEE 802.11p Vehicular Networks  + (110)
• Publications:Internet of Things  + (1101)
• Publications:Report on Rail Conference and Wireless Communications : VTS News  + (111)
• Publications:Concoqtion : Indexed Types Now!  + (112)
• Publications:Concurrent multipath transmission combining forward error correction and path interleaving for video streaming  + (1125)
• Publications:Chaotic Time Series Prediction Using Brain Emotional Learning Based Recurrent Fuzzy System (BELRFS)  + (113)
• Publications:In Pursuit of Real Answers  + (115)
• Publications:Order-independence of vector-based transition systems  + (115)
• Publications:Performance analysis and enhancement of an ultra-wideband WPAN MAC in the presence of noise  + (117)
• Publications:Model-based estimation of driver intentions using particle filtering  + (1177)
• Publications:A Symbol-Based Approach to Gait Analysis From Acceleration Signals : Identification and Detection of Gait Events and a New Measure of Gait Symmetry  + (1180)
• Publications:Towards a tool for derivation of implementation constraints  + (119)
• Publications:Medium access control in vehicular networks based on the upcoming IEEE 802.11p standard  + (12)
• Publications:Wireless strategies for future and emerging ITS applications  + (12)
• Publications:Static Consistency Checking for Verilog Wire Interconnects : Using dependent types to check the sanity of verilog descriptions  + (121)
• Publications:Increased communication reliability for delay-sensitive platooning applications on top of IEEE 802.11p  + (121)
• Publications:Decentralized task distribution among cooperative UAVs in surveillance systems applications  + (121)
• Publications:An upper-bound queueing model for Multi-rate Downlink SDMA systems  + (1212)
• Publications:Less pessimistic worst-case delay analysis for packet-switched networks  + (1213)
• Publications:Orthogonal extensions in structural operational semantics  + (1214)
• Publications:The Semantics of Graphical Languages  + (122)
• Publications:Delay-Constrained Scheduling for Interference-Limited Multi-Carrier Systems  + (123)
• Publications:A Compositional Implementation of Modbus in Protege  + (123)
• Publications:3GPP LTE Versus IEEE 802.11p/WAVE : Which Technology is Able to Support Cooperative Vehicular Safety Applications?  + (125)
• Publications:Computing the minimum EDF feasible deadline in periodic systems  + (125)
• Publications:A Domain Specific Approach to Network Software Architecture : Assuring Conformance Between Architecture and Code  + (127)
• Publications:Handling Failures of Static Sensor Nodes in Wireless Sensor Network by Use of Mobile Sensors  + (127)
• Publications:Model checking Verilog descriptions of cell libraries  + (128)
• Publications:A Wearable Accelerometer Based Platform to Encourage Physical Activity for the Elderly  + (129)
• Publications:PobSAM : policy-based managing of actors in self-adaptive systems  + (129)
• Publications:Cooperation among wirelessly connected static and mobile sensor nodes for surveillance applications  + (12903)
• Publications:Synthesizable high level hardware descriptions : using statically typed two-level languages to guarantee verilog synthesizability  + (13)
• Publications:Predictable real-time communications with improved reliability for IEEE 802.15.4 based industrial networks  + (13)
• Publications:Wireless broadband access : WiMax and beyond - Investigation of bandwidth request mechanisms under point-to-multipoint mode of WiMAX networks  + (132)
• Publications:Formal analysis of non-determinism in Verilog cell library simulation models  + (133)
• Publications:A Fibre-Optic AWG-Based Real-Time Network and Its Applicability to High-Performance Embedded Computing  + (133b)
• Publications:Symbolic Power Analysis of Cell Libraries  + (134)
• Publications:Deadline dependent coding-a framework for wireless real-time communication  + (135)
• Publications:Prototyping SOS meta-theory in Maude  + (135)
• Publications:An emotional learning-inspired ensemble classifier (ELiEC)  + (137)
• Publications:Fiber-optic interconnection networks for signal processing applications  + (1374)
• Publications:Fiber-ribbon pipeline ring network for high-performance distributed computing systems  + (138)
• Publications:Performance Aspects of Vehicular Ad-hoc Networks : Current Research and Possible Trends  + (14)
• Publications:A Design Methodology for Resource to Performance Tradeoff Adjustment in FPGAs  + (14)
• Publications:A multiple SIMD mesh architecture for multi-channel radar processing  + (1421)
• Publications:Special Issue on the Communication Technologies for Vehicles  + (143)
• Publications:Enhancing reliability in IEEE 802.11 based real-time networks through transport layer retransmissions  + (146)
• Publications:Lifting non-finite axiomatizability results to extensions of process algebras  + (147)
• Publications:Active In-Database Processing to Support Ambient Assisted Living Systems  + (14765)
• Publications:Visualizing the Potential of Reconfigurable Shuffle-Patterns in Optoelectronic Routers by the Use of MOEMS  + (148)
• Publications:Delay and interference comparison of CSMA and self-organizing TDMA when used in VANETs  + (1488)
• Publications:An Energy and Application Scenario Aware Active RFID Protocol  + (15)
• Publications:Checking and deriving module paths in Verilog cell library descriptions  + (1506)
• Publications:Experimental Analysis of Coordination Strategies to Support Wireless Sensor Networks Composed by Static Ground Sensors and UAV-Carried Sensors  + (152)
• Publications:Capacity Estimation of Centralized Reservation-Based Random Multiple-Access System  + (154)
• Publications:System-Level Runtime Reconfigurablity - Optical Interconnection Networks for Switching Applications  + (155)
• Publications:Fibre-ribbon ring network with inherent support for earliest deadline first message scheduling  + (157)
• Publications:Mechanized Extraction of Topology Anti-patterns in Wireless Networks  + (158)
• Publications:Control-channel based fiber-ribbon pipeline ring network  + (158)
• Publications:On the performance of packet aggregation in IEEE 802.11ac MU-MIMO WLANs  + (1588)
• Publications:Performance Analysis of the Random Access in IEEE 802.16  + (1596)
• Publications:A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions  + (160)
• Publications:OFDM/OFDMA Subcarrier Allocation  + (161)
• Publications:Evolution in architectures and programming methodologies of coarse-grained reconfigurable computing  + (161)
• Publications:Wired and wireless reliable real-time communication in industrial systems  + (161)
• Publications:Cross-Layer Channel-Aware Approaches for Modern Wireless Networks  + (163)
• Publications:Protocol for wireless real-time systems  + (168)
• Publications:Adaptable middleware for heterogeneous wireless sensor networks  + (17)
• Publications:Information and telecommunication intellectual monitoring technology and system for complex technical objects under dynamic conditions in real time  + (17)
• Publications:Exploring the Design Space of Higher-Order Casts  + (17)
• Publications:Real-time communication support for cooperative, infrastructure-based traffic safety applications  + (17)
• Publications:Capacity analysis of reservation-based random access for broadband wireless access networks  + (171)
• Publications:Imperialist Competition Algorithm for DSA in Cognitive Radio Networks  + (1726)
• Publications:A Library for Processing Ad hoc Data in Haskell : Embedding a Data Description Language  + (174)
• Publications:Exploring geographic context awareness for data dissemination on mobile ad hoc networks  + (1746)
• Publications:Two-level Reconfigurable Architecture for High-Performance Signal Processing  + (177)
• Publications:A wearable gait analysis system using inertial sensors Part I: evaluation of measures of gait symmetry and normality against 3D kinematic data  + (180)
• Publications:A wearable gait analysis system using inertial sensors Part I : Evaluation of measures of gait symmetry and normality against 3D kinematic data  + (180)
• Publications:Interpreted Systems Semantics for Process Algebra with Identity Annotations  + (182)
• Publications:A Domain-Specific Language Approach to Protocol Stack Implementation  + (183)
• Publications:The effects of relay behavior and position in wireless industrial networks  + (183)
• Publications:Propagation Modeling for Systems Beyond 3G  + (1838)
• Publications:Reliable hard real-time communication in industrial and embedded systems  + (184)
• Publications:Directions in Functional Programming for Real(-Time) Applications  + (185)
• Publications:A class of Fiber-Ribbon Pipeline Ring networks for parallel and distributed computing systems  + (1869)
• Publications:Verification of Multipair Copper Cable Model by Measurements  + (1883)
• Publications:Guest editorial : Special section on wireless technologies in factory and industrial automation -- part II  + (189)
• Publications:Formal analysis of systemc designs in process algebra  + (19)
• Publications:On the requirements on models and simulator design for integrated VANET Simulation  + (191)
• Publications:On relaying for wireless industrial communications : Is careful placement of relayers strictly necessary?  + (191)
• Publications:Esterel and the Semantics of Causality  + (191)
• Publications:Analysis of Efficient TDMA Schedules via the Fat-Tree Network with Real-Time Many-to-Many Communication  + (192)
• Publications:Random multiple access with successive interference cancellation for centralized networks  + (1930-)
• Publications:Programming Real-time Autofocus on a Massively Parallel Reconfigurable Architecture using Occam-pi  + (194)
• Publications:An open Telematics Service Providing Framework using the P2P-like paradigm based on the somecast protocol  + (198)
• Publications:Modeling Broadcasting in IEEE 802.11p/WAVE Vehicular Networks  + (199)
• Publications:Trustworthy Broadcasting in IEEE 802.11p/WAVE Vehicular Networks : Delay Analysis  + (199)
• Publications:A Methodology for Parabolic Synthesis  + (199)
• Publications:Gradual Typing for Functional Languages  + (2)
• Publications:Vehicle Alert System  + (2)
• Publications:Methodologies and tools for development of signal processing software on multicore platforms  + (2)
• Publications:Gradual typing for objects  + (2)
• Publications:Preliminary Results in Virtual Testing for Smart Building  + (2)
• Publications:A Domain-specific Approach for Software Development on Manycore Platforms  + (2)
• Publications:Optical interconnection technology in switches, routers and optical cross connects  + (20)
• Publications:Gait Unsteadiness Analysis from Motion Primitives  + (204)
• Publications:Radar signal processing using pipelined optical hypercube interconnects  + (2043)
• Publications:Position-based data traffic prioritization in safety-critical, real-time vehicle-to-infrastructure communication  + (205)
• Publications:Brain Emotional Learning Based Fuzzy Inference System (Modified using Radial Basis Function)  + (206)
• Publications:MAC-level Forward Error Correction mechanism for minimum error recovery overhead and retransmission  + (2067)
• Publications:Energy Efficient Power Back-Off Management for VDSL2 Transmission  + (2097)
• Publications:Derivation of implementation constraints -- implementation simulation and treatment of multiple design choices  + (21)
• Publications:The use of clustered wireless multihop networks in industrial settings  + (211)
• Publications:MetaML and multi-stage programming with explicit annotations  + (211)
• Publications:A new measure of movement symmetry in early Parkinson's disease patients using symbolic processing of inertial sensor data  + (2127)
• Publications:Sarir : a Rebeca to mCRL2 translator  + (216)
• Publications:A syntactic commutativity format for SOS  + (217)
• Publications:Ordinateur porté : dispositifs d'entrée sortie  + (219)
• Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer  + (219)
• Publications:E-FRP with Priorities  + (221)
• Publications:Test environment design for wireless vehicle communications  + (2214)
• Publications:Symbolization of time series : an evaluation of SAX, persist, and ACA  + (2223)
• Publications:Automated Verification of Executable UML Models  + (225)
• Publications:The VEGA moderately parallel MIMD, moderately parallel SIMD, architecture for high performance array signal processing  + (226)
• Publications:Operational and epistemic approaches to protocol analysis : bridging the gap  + (226)
• Publications:Low-Complexity OptimalDiscrete-Rate Spectrum Balancing in Digital Subscriber Lines  + (23)
• Publications:AWG-based Optoelectronic Router with QoS Support  + (23)
• Publications:A pipelined fiber-ribbon ring network with heterogeneous real-time support  + (23)
• Publications:An Overtaking Assistance System Based on Joint Beaconing and Real-Time Video Transmission  + (2319)
• Publications:Middleware Support for Wireless Sensor Networks : a survey  + (235)
• Publications:An Evaluation of High-Performance Embedded Processing on MPPAs  + (235)
• Publications:Accurate Programming : Thinking about programs in terms of properties  + (236)
• Publications:Occam-pi as a High-level Language for Coarse-Grained Reconfigurable Architectures  + (236)
• Publications:SOS formats and meta-theory : 20 years after  + (238)
• Publications:Assessment of Gait Symmetry and Gait Normality Using Inertial Sensors : In-Lab and In-Situ Evaluation  + (239)
• Publications:Wireless Real-Time Communication Using Deadline Dependent Coding  + (239)
• Publications:Modeling Event-Driven Safety Messages Delivery in IEEE 802.11p/WAVE Vehicular Networks  + (2392)
• Publications:Joint design of relay and packet combining schemes for wireless industrial networks  + (2441)
• Publications:Modular interconnection system for optical PCB and backplane communication  + (245)
• Publications:Energy-saving by Low-Power Modes in ADSL2  + (2468)
• Publications:Throughput analysis of synchronous data flow graphs  + (25)
• Publications:Multi-agents supporting reflection in a middleware for mission-driven heterogeneous sensor networks  + (25)
• Publications:Dynamic time-deterministic traffic in a fiber-optic WDM star network  + (25)
• Publications:A "Smart Bedroom" as an Active Database System  + (250)
• Publications:Towards Model-Based Testing of Electronic Funds Transfer Systems  + (253)
• Publications:Dynamic Self-Rescheduling of Tasks over a Heterogeneous Platform  + (253)
• Publications:A Database-Centric Architecture for Home-Based Health Monitoring  + (26)
• Publications:A novel model for study of broadcasting in wireless networks  + (26)
• Publications:A low power-long range active RFID-system consisting of active RFID backscatter transponders  + (26)
• Publications:A Gentle Introduction to Multi-stage Programming, Part II  + (260)
• Publications:Upper Bound on Overall Delay in Wireless Broadband Networks with Non Real-Time Traffic  + (262)
• Publications:Selecting back off algorithm in active RFID CSMA/CA based medium-access protocols  + (265)
• Publications:A scalable and pipelined embedded signal processing system using optical hypercube interconnects  + (265)
• Publications:Performance Analysis of CSMA/CA Protocols with Multi-packet Transmission  + (2675)
• Publications:Portable mechatronic system for demining applications: control unit design and development  + (27)
• Publications:Column Generation for Discrete-Rate Multi-User and Multi-Carrier Power Control  + (2712)
• Publications:Mobile Agents Model and Performance Analysis of a Wireless Sensor Network Target Tracking Application  + (274)
• Publications:Compiling Stream-Language Applications to a Reconfigurable Array Processor  + (274)
• Publications:Implicitly Heterogeneous Multi-Stage Programming  + (275)
• Publications:Efficient many-to-many real-time communication using an intelligent Ethernet switch  + (280)
• Publications:Communication requirements of emerging cooperative driving systems  + (281)
• Publications:Virtual Testing for Smart Buildings  + (282)
• Publications:Middleware Support in Unmanned Aerial Vehicles and Wireless Sensor Networks for Surveillance Applications  + (289)
• Publications:Distributed Queue Random Multiple Access Algorithm for Centralized Data Networks  + (290)
• Publications:Dynamic Tasks' Reconfiguration for UAV System using Aspect Orientation  + (292)
• Publications:Evaluation of RTSJ-Based Distributed Control System  + (295)
• Publications:Contention-Based Polling Efficiency in Broadband Wireless Networks  + (295)
• Publications:The Nets4Cars & Nets4Trains Workshop Series  + (3)
• Publications:Formal modeling of evolving self-adaptive systems  + (3)
• Publications:ICUMT 2009 Conference in St. Petersburg, Russia  + (3)
• Publications:ICUMT 2011 Congress in Budapest, Hungary  + (3)
• Publications:ITST 2011 Conference in Saint-Petersburg, Russia  + (3)
• Publications:Multi-Stage Programming for High-Level Description of Circuit Families  + (3003)
• Publications:A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)  + (303)
• Publications:A Semantic Analysis of C++ Templates  + (304)
• Publications:SOS Rule Formats for Zero and Unit Elements  + (3045)
• Publications:Implicitly Heterogeneous Multi-stage Programming  + (305)
• Publications:UAV relay network to support WSN connectivity  + (309)
• Publications:Fibre-ribbon pipeline ring network with distributed global deadline scheduling and deterministic user services  + (311)
• Publications:Managing Dynamic Reconfiguration for Fault-tolerance on a Manycore Architecture  + (312)
• Publications:A fiber-optic interconnection concept for scaleable massively parallel computing  + (313)
• Publications:DSLs Should be Online Applications  + (314)
• Publications:Ant Colony Optimization for Channel Assignment Problem in Clustered Mobile Ad Hoc Network  + (314)
• Publications:Optical Interconnection Technology in Switches, Routers and Optical Cross Connects  + (319)
• Publications:Two fiber-ribbon ring networks for parallel and distributed computing systems  + (3196)
• Publications:Decompositional Reasoning about the History of Parallel Processes  + (32)
• Publications:Causality in the semantics of Esterel : revisited  + (32)
• Publications:Robust Dynamic Spectrum Management for DMT-Based Systems  + (3238)
• Publications:The Trouble with Real Numbers  + (325)
• Publications:The REMAP Reconfigurable Architecture : a Retrospective  + (325)
• Publications:Symmetry and partial order reduction techniques in model checking Rebeca  + (33)
• Publications:A fault tolerance test enabling QoS in a Bluetooth piconet  + (33)
• Publications:Energy-Efficient Synthetic-Aperture Radar Processing on a Manycore Architecture  + (330)
• Publications:PARS : a process algebraic approach to resources and schedulers  + (331)
• Publications:Real-Time Communication  + (333)
• Publications:Synchronizing Asynchronous Conformance Testing  + (334)
• Publications:A framework for performance evaluation and functional verification in stochastic process algebras  + (339)
• Publications:Synthesizable High Level Hardware Descriptions  + (339)
• Publications:Using a CSP based programming model for reconfigurable processor arrays  + (343)
• Publications:Architectural challenges in memory-intensive, real-time image forming  + (35)
• Publications:Concatenated hybrid ARQ - a flexible scheme for wireless real-time communication  + (35)
• Publications:Embedded Signal Processing Using Free-Space Optical Hypercube Interconnects  + (35)
• Publications:Reasoning About Multi-Stage Programs  + (357)
• Publications:Synchronous Relaying in Vehicular Ad-Hoc Networks  + (36)
• Publications:Exploiting Algebraic Laws to Improve Mechanized Axiomatizations  + (36)
• Publications:Improving Connectivity of Nodes in Mobile WSN  + (364)
• Publications:Geo-aware Handover of Mission Agents Using Opportunistic Communication in VANET  + (365)
• Publications:Performance Evaluation of the Cable Bundle Unique Power Back-Off Algorithm  + (365)
• Publications:The Impact of Rank Attack on Network Topology of Routing Protocol for Low-Power and Lossy Networks  + (3685)
• Publications:Distributed Access Framework for Embedded Device Community  + (370)
• Publications:Performance evaluation and parameterization of the IEEE 802.16 contention-based CDMA bandwidth request mechanism for the OFDMA physical layer  + (374)
• Publications:Resource-Aware Programming - Invited paper  + (38)
• Publications:Programming Real-time Image Processing for Manycores in a High-level Language  + (381)
• Publications:Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks.  + (384)
• Publications:A Core Language for Executable Models of Cyber Physical Systems : work in progress report  + (39)
• Publications:Performance modeling methodology of emergency dissemination algorithms for vehicular ad-hoc networks  + (397)
• Publications:Performance analysis of vectored wireline systems embracing channel uncertainty  + (3986)
• Publications:Wireless Sensor Networks for Surveillance Applications - A Comparative Survey of MAC Protocols  + (399)
• Publications:A tool for derivation of implementation constraints : -- evaluation using implementation simulation  + (4)
• Publications:The next challenge for the communication society : co-operating embedded systems  + (4)
• Publications:Switched Real-Time Ethernet in Industrial Applications - Asymmetric Deadline Partitioning Scheme  + (4)
• Publications:ICUMT 2010 Congress in Moscow, Russia  + (4)
• Publications:Admission control for switched real-time Ethernet : scheduling analysis versus network calculus  + (4 s.)
• Publications:Mint : Java Multi-stage Programming Using Weak Separability  + (400)
• Publications:Guaranteed real-time communication in packet-switched networks with FCFS queuing  + (400)
• Publications:Multi-Agent Support in a Middleware for Mission-Driven Heterogeneous Sensor Networks  + (406)
• Publications:Enabling Greener DSL Access Networks by their Stabilization with Artificial Noise and SNR Margin  + (407)
• Publications:Evolution in Architectures and Programming Methodologies of Coarse-Grained Reconfigurable Computing  + (41)
• Publications:An Imperialist Competitive Algorithm For Interference-Aware Cluster-heads Selection in Ad hoc Networks  + (41)
• Publications:Protocols for active RFID - the energy consumption aspect  + (41)
• Publications:Analyzing different levels of geographic context awareness in agent ferrying over VANETs  + (413)
• Publications:Estimation of a successful beacon reception probability in vehicular ad-hoc networks  + (416)
• Publications:Real-time communication for industrial embedded systems using switched Ethernet  + (417)
• Publications:Incremental redundancy deadline dependent coding for efficient wireless real-time communications  + (417)
• Publications:Guaranteed Real-Time Communication in Packet-Switched Networks with FCFS queuing : Analysis and Simulations  + (42)
• Publications:Using a Link Metric to Improve Communication Mechanisms and Real-Time Properties in an Adaptive Middleware for Heterogeneous Sensor Networks  + (422)
• Publications:Stackelberg Game Based Cooperative User Relay Assisted Load Balancing in Cellular Networks  + (424)
• Publications:Towards reliable wireless industrial communication with real-time guarantees  + (429)
• Publications:A modular, massively-parallel computer architecture for trainable real-time control-systems  + (43)
• Publications:Revised Upstream Power back-off for VDSL  + (4303)
• Publications:Performance analysis of a high-speed ultra-wideband WPAN MAC  + (44)
• Publications:Reconfigurable optical interconnection system supporting concurrent application-specific parallel computing  + (44)
• Publications:A rule format for associativity  + (447)
• Publications:Optimal Incremental-redundancy strategy for type-II hybrid ARQ  + (448)
• Publications:PRIOREL-COMB : A protocol framework supporting relaying and packet combining forwireless industrial networking  + (45)
• Publications:On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference  + (45)
• Publications:Derivation of implementation constraints - implementation simulation and treatment of multiple design choices  + (459)
• Publications:Spectrum Balancing for DSL with Restrictions on Maximum Transmit PSD  + (46)
• Publications:Fiber-ribbon ring network with services for parallel processing and distributed real-time systems  + (46)
• Publications:Modular Semantics for Transition System Specifications with Negative Premises  + (46)
• Publications:T4 - Telematics for Totally Transparent Transports  + (467)
• Publications:Long-run order-independence of vector-based transition systems  + (468)
• Publications:Performance Analysis of Contention Based Bandwidth Request Mechanisms in WiMAX Networks  + (477)
• Publications:Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems  + (478)
• Publications:Analytical approach for maximizing the average code rate of incremental redundancy schemes  + (481)
• Publications:Implementing Haptic Feedback Environments from High-level Descriptions  + (482)
• Publications:Investigation of Personal Mobility Vehicle stability and maneuverability under various road scenarios  + (4859)
• Publications:Reflective middleware for heterogeneous sensor networks  + (49)
• Publications:Guaranteed real-time services over standard switched Ethernet  + (490)
• Publications:Implicitly Heterogeneous Multi-Stage Programming for FPGAs  + (4915)
• Publications:Use of Local Intelligence to Reduce Energy Consumption of Wireless Sensor Nodes in Elderly Health Monitoring Systems  + (4932)
• Publications:Vehicular ad-hoc networks to avoid surprise effects on sparsely trafficked, rural roads  + (5)
• Publications:Restricted delegation and revocation in language-based security : (Position paper)  + (5)
• Publications:A wearable gait analysis system using inertial sensors Part II: Evaluation in a clinical setting  + (5)
• Publications:A wearable gait analysis system using inertial sensors Part II : Evaluation in a clinical setting  + (5)
• Publications:A fibre-optic AWG-based real-time network for high-performance embedded computing  + (5 s.)
• Publications:Video transmission over IEEE 802.11p : Real-world measurements  + (505)
• Publications:DSL Implementation in MetaOCaml, Template Haskell, and C++  + (51)
• Publications:Decomposability in Input Output Conformance Testing  + (51)
• Publications:Dynamic activity and task allocation supporting uav teams in surveillance systems  + (51)
• Publications:Hybrid ARQ based on serially concatenated block codes using iterative detection for real-time communication  + (517)
• Publications:Efficient Support for High Traffic-Volumes of Short-Message Real-Time Communication Using an Active Ethernet Switch  + (517)
• Publications:Symmetric User Grouping for Multicast and Broadcast Polling in IEEE 802.16 Networks  + (52)
• Publications:Coordinating aerial robots and unattended ground sensors for intelligent surveillance systems  + (52)
• Publications:Cooperative Communication Disturbance Detection in Vehicle Safety Systems  + (522)
• Publications:Capacity limitations in wireless sensor networks  + (529)
• Publications:A processor array module for distributed, massively parallel, embedded computing  + (529)
• Publications:Brain Emotional Learning Based Fuzzy Inference System (BELFIS) for Solar Activity Forecasting  + (532)
• Publications:Performance Analysis of the Polling Scheme in IEEE 802.16  + (54)
• Publications:Using Dual-Radio Nodes to Enable Quality of Service in a Clustered Wireless Mesh Network  + (54)
• Publications:A real-time medium access protocol supporting dynamic spectrum allocation in industrial networks  + (54)
• Publications:Performance comparison of a platooning application using the IEEE 802.11p MAC on the control channel and a centralized MAC on a service channel  + (545)
• Publications:A Spatial QoS Requirements Specification for V2V Applications  + (548)
• Publications:VDSL Power Back-Off Parameter Optimization for a Cable Bundle  + (550)
• Publications:Symbolic Approach to Motion Analysis : Framework and Gait Analysis Case Studies  + (557)
• Publications:Using the grouping genetic algorithm (GGA) for channel assignment in a cluster-based mobile ad hoc network  + (56)
• Publications:Bridging gendered and scientific cultures in a healthcare technology context  + (57)
• Publications:A Ethernet based Metropolitan Area Open Access Architecture  + (571)
• Publications:Vehicle-to-Vehicle Communications  + (577)
• Publications:Real-time task reconfiguration support applied to an UAV-based surveillance system  + (581)
• Publications:Optimal type-II concatenated hybrid ARQ using single parity check codes  + (587)
• Publications:Evaluation of coordination strategies for heterogeneous sensor networks aiming at surveillance applications  + (591)
• Publications:Real-time Support in Adaptable Middleware for Heterogeneous Sensor Networks  + (593)
• Publications:Multi-Terrain Vehicle Active Suspension Control Modeling and Design  + (599)
• Publications:Puncturing strategies for incremental redundancy schemes using rate compatible systematic serially concatenated codes  + (6)
• Publications:Interference-Aware Clustering Algorithms for Mobile ad hoc Network : Ant Colony optimization-based Algorithm  + (61)
• Publications:Power Control in See-Through Overtaking Assistance System  + (612)
• Publications:Evaluating CALM M5-based vehicle-to-vehicle communication in various road settings through field trials  + (613)
• Publications:Supporting real-time data traffic in safety-critical vehicle-to-infrastructure communication  + (614)
• Publications:An agent framework to support sensor networks' setup and adaptation  + (619)
• Publications:Process algebraic verification of SystemC codes  + (62)
• Publications:Key Issues in Implementing an Optoelectronic Planar Free-space Architecture for Signal Processing Applications  + (621)
• Publications:Algebraic Meta-Theory of Processes with Data  + (63)
• Publications:An embedded language for programming protocol stacks in embedded systems  + (63)
• Publications:Guaranteed periodic real-time communication over wormhole switched networks  + (632)
• Publications:A Communication Library for Mapping Dataflow Applications on Manycore Architectures  + (65)
• Publications:A Communication Library for Mapping Dataflow Applicationson Manycore Architectures  + (65)
• Publications:On the delay lower bound for the emergency message dissemination in vehicular ad-hoc networks  + (652)
• Publications:Client Relay Simulation Model for Centralized Wireless Networks  + (672)
• Publications:Increasing the probability of timely and correct message delivery in road side unit based vehicular communication  + (672)
• Publications:Deadline first scheduling in switched real-time Ethernet - deadline partitioning issues and software implementation experiments  + (68)
• Publications:Modeling Prioritized Broadcasting in Multichannel Vehicular Networks  + (687)
• Publications:Meeting Engineer Efficiency Requirements in Highly Parallel Signal Processing by Using Platforms  + (693)
• Publications:Analyzing the Advantages of Run-Time Reconfiguration in Radar Signal Processing  + (701)
• Publications:High-level programming of coarse-grained reconfigurable architectures  + (713)
• Publications:A Novel Reliable Routing Scheme for VANETs  + (716)
• Publications:An application dependent medium access protocol for active RFID using dynamic tuning of the back-off algorithm  + (72)
• Publications:A Two Level Approach to the Design of Software for Cooperating Embedded Systems  + (721)
• Publications:Deadline-Aware Scheduling of Cooperative Relayers in TDMA-Based Wireless Industrial Networks  + (73)
• Publications:A Centralized Channel Assignment Algorithm for Clustered Ad Hoc Networks  + (73)
• Publications:Performance Evaluation of a Three Node Client Relay System  + (73)
• Publications:Dynamic Spectrum Management for Standardized VDSL  + (73)
• Publications:Characterizing broadcast packet losses in IEEE 802.11p/WAVE vehicular networks  + (735)
• Publications:Radar frequency band invariant pedestrian classification  + (740)
• Publications:Enhanced pheromone-based mechanism to coordinate UAVs and WSN nodes on the ground  + (75)
• Publications:Switched real-time Ethernet in industrial applications - deadline partitioning  + (76)
• Publications:On the Investigation of Cloud-Based Mobile Media Environments With Service-Populating and QoS-Aware Mechanisms  + (769)
• Publications:Coordination Mechanism and Customizable Hardware Platform to Provide Heterogeneous Wireless Sensor Networks Support  + (77)
• Publications:Supporting platform for heterogeneous sensor network operation based on unmanned vehicles systems and wireless sensor nodes  + (786)
• Publications:Integrating a data description language with protocol stack development  + (8)
• Publications:Cooperative systems for traffic safety : Will existing wireless access technologies meet the communications requirements?  + (8)
• Publications:A linguistic approach to the analysis of accelerometerdata for gait analysis  + (8)
• Publications:Act normal : using uncertainty about driver intentions as a warning criterion  + (8)
• Publications:A configurable framework for stream programming exploration in baseband applications  + (8)
• Publications:Impossibility results for the equational theory of timed CCS  + (80)
• Publications:Concatenated systems and cross-layer design  + (80)
• Publications:Algebraic properties for free!  + (81)
• Publications:Static Consistency Checking for Verilog Wire Interconnects : Using Dependent Types to Check the Sanity of Verilog Descriptions  + (81)
• Publications:Enhanced Wireless Sensor Network Setup Strategy Supported by Intelligent Software Agents  + (813)
• Publications:Experimental Analysis of a Wireless Sensor Network Setup Strategy Provided by an Agent-Oriented Middleware  + (820)
• Publications:A Pipelined Ring Network - Heterogeneous Real-time in Radar Signal Processing  + (825)
• Publications:Towards model checking executable UML specifications in mCRL2  + (83)
• Publications:Performance analysis of non-beaconed IEEE 802.15.4 for high-confidence wireless communications  + (83)
• Publications:Packet combining and doping in concatenated hybrid ARQ schemes using iterative decoding  + (849)
• Publications:Time-deterministic WDM star network for massively parallel computing in radar systems  + (85)
• Publications:A multiple SIMD approach to radar signal processing  + (852)
• Publications:An active backscatter wake-up and tag identification extraction protocol for low cost and low power active RFID  + (86)
• Publications:Optimization of the frame structure for the IEEE 802.16 in the error-prone channel  + (86)
• Publications:Meeting reliability and real-time demands in wireless industrial communication  + (877)
• Publications:Dynamic Reconfigurable Task Schedule Support towards a Reflective Middleware for Sensor Network  + (886)
• Publications:Rule Formats for Determinism and Idempotence  + (889)
• Publications:Overall Delay in IEEE 802.16 with Contention-Based Random Access  + (89)
• Publications:Machine Assisted Code Generation for Manycore Processors  + (9)
• Publications:Surveillance of mobile objects using coordinated wireless sensor nodes  + (900)
• Publications:Deterministic real-time medium access for cognitive industrial radio networks  + (91)
• Publications:Estimating pressure peak position and air-fuel ratio using the ionization current and artificial neural networks  + (927)
• Publications:Switched real-time Ethernet with earliest deadline first scheduling - protocols and traffic handling  + (94)
• Publications:Guest editorial : Special section on wireless technologies in factory and industrial automation -- part I  + (95)
• Publications:Release Offset Bounds for Response Time Analysis of P-FRP using Exhaustive Enumeration  + (950)
• Publications:Co-Existing Periodic Beaconing and Hazard Warnings in IEEE 802.11p-Based Platooning Applications  + (99)
• Publications:Safety Considerations for Cooperating Vehicles using Wireless Communication  + (995)
• Publications:Multiple access communications in future-generation wireless networks  + (Art nr 45)
• Publications:Pheromone-based coordination strategy to static sensors on the ground and unmanned aerial vehicles carried sensors  + (Article number 769416)

 

Property:     Value: