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:On the ability of the IEEE 802.11p and STDMA to provide predictable channel access  + (10)
• 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: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:Understanding the performance of short-lived control broadcast packets in 802.11p/WAVE Vehicular networks  + (102)
• Publications:Report on Wireless Vehicular Communications : VTS News  + (102)
• Publications:Nominal SOS  + (103)
• Publications:Deployment of a Real Vehicular Delay-Tolerant Network Testbed  + (103)
• Publications:Pseudo-elastic wire application in robotized cutting systems  + (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:Order-independence of vector-based transition systems  + (115)
• Publications:In Pursuit of Real Answers  + (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:Wireless strategies for future and emerging ITS applications  + (12)
• Publications:Medium access control in vehicular networks based on the upcoming IEEE 802.11p standard  + (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:A Compositional Implementation of Modbus in Protege  + (123)
• Publications:Delay-Constrained Scheduling for Interference-Limited Multi-Carrier Systems  + (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:Handling Failures of Static Sensor Nodes in Wireless Sensor Network by Use of Mobile Sensors  + (127)
• Publications:A Domain Specific Approach to Network Software Architecture : Assuring Conformance Between Architecture and Code  + (127)
• Publications:Model checking Verilog descriptions of cell libraries  + (128)
• Publications:PobSAM : policy-based managing of actors in self-adaptive systems  + (129)
• Publications:A Wearable Accelerometer Based Platform to Encourage Physical Activity for the Elderly  + (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:Prototyping SOS meta-theory in Maude  + (135)
• Publications:Deadline dependent coding-a framework for wireless real-time communication  + (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:A Design Methodology for Resource to Performance Tradeoff Adjustment in FPGAs  + (14)
• Publications:Performance Aspects of Vehicular Ad-hoc Networks : Current Research and Possible Trends  + (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:Control-channel based fiber-ribbon pipeline ring network  + (158)
• Publications:Mechanized Extraction of Topology Anti-patterns in Wireless Networks  + (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:Exploring the Design Space of Higher-Order Casts  + (17)
• Publications:Real-time communication support for cooperative, infrastructure-based traffic safety applications  + (17)
• 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: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:Esterel and the Semantics of Causality  + (191)
• 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: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:Trustworthy Broadcasting in IEEE 802.11p/WAVE Vehicular Networks : Delay Analysis  + (199)
• Publications:A Methodology for Parabolic Synthesis  + (199)
• Publications:Modeling Broadcasting in IEEE 802.11p/WAVE Vehicular Networks  + (199)
• 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: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: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:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer  + (219)
• Publications:Ordinateur porté : dispositifs d'entrée sortie  + (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:Operational and epistemic approaches to protocol analysis : bridging the gap  + (226)
• Publications:The VEGA moderately parallel MIMD, moderately parallel SIMD, architecture for high performance array signal processing  + (226)
• Publications:A pipelined fiber-ribbon ring network with heterogeneous real-time support  + (23)
• Publications:Low-Complexity OptimalDiscrete-Rate Spectrum Balancing in Digital Subscriber Lines  + (23)
• Publications:AWG-based Optoelectronic Router with QoS Support  + (23)
• Publications:An Overtaking Assistance System Based on Joint Beaconing and Real-Time Video Transmission  + (2319)
• Publications:An Evaluation of High-Performance Embedded Processing on MPPAs  + (235)
• Publications:Middleware Support for Wireless Sensor Networks : a survey  + (235)
• Publications:Occam-pi as a High-level Language for Coarse-Grained Reconfigurable Architectures  + (236)
• Publications:Accurate Programming : Thinking about programs in terms of properties  + (236)
• Publications:SOS formats and meta-theory : 20 years after  + (238)
• Publications:Wireless Real-Time Communication Using Deadline Dependent Coding  + (239)
• Publications:Assessment of Gait Symmetry and Gait Normality Using Inertial Sensors : In-Lab and In-Situ Evaluation  + (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: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:Throughput analysis of synchronous data flow graphs  + (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 low power-long range active RFID-system consisting of active RFID backscatter transponders  + (26)
• 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 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:A scalable and pipelined embedded signal processing system using optical hypercube interconnects  + (265)
• Publications:Selecting back off algorithm in active RFID CSMA/CA based medium-access protocols  + (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:Compiling Stream-Language Applications to a Reconfigurable Array Processor  + (274)
• Publications:Mobile Agents Model and Performance Analysis of a Wireless Sensor Network Target Tracking Application  + (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:Contention-Based Polling Efficiency in Broadband Wireless Networks  + (295)
• Publications:Evaluation of RTSJ-Based Distributed Control System  + (295)
• Publications:ICUMT 2011 Congress in Budapest, Hungary  + (3)
• Publications:ITST 2011 Conference in Saint-Petersburg, Russia  + (3)
• 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: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:Ant Colony Optimization for Channel Assignment Problem in Clustered Mobile Ad Hoc Network  + (314)
• Publications:DSLs Should be Online Applications  + (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:Causality in the semantics of Esterel : revisited  + (32)
• Publications:Decompositional Reasoning about the History of Parallel Processes  + (32)
• Publications:Robust Dynamic Spectrum Management for DMT-Based Systems  + (3238)
• Publications:The REMAP Reconfigurable Architecture : a Retrospective  + (325)
• Publications:The Trouble with Real Numbers  + (325)
• Publications:A fault tolerance test enabling QoS in a Bluetooth piconet  + (33)
• Publications:Symmetry and partial order reduction techniques in model checking Rebeca  + (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:Synthesizable High Level Hardware Descriptions  + (339)
• Publications:A framework for performance evaluation and functional verification in stochastic process algebras  + (339)
• Publications:Using a CSP based programming model for reconfigurable processor arrays  + (343)
• Publications:Embedded Signal Processing Using Free-Space Optical Hypercube Interconnects  + (35)
• Publications:Architectural challenges in memory-intensive, real-time image forming  + (35)
• Publications:Concatenated hybrid ARQ - a flexible scheme for wireless real-time communication  + (35)

 

Property:     Value: