Browse data: Publication
From CERES
Showing below up to 250 results starting with #251.
View (previous 250 | next 250) (20 | 50 | 100 | 250 | 500)
H
- Heuristics for Discrete Power Control - A Case-Study in Multi-Carrier DSL Networks
- High performance fiber-optic interconnection networks for real-time computing systems
- High-level programming of coarse-grained reconfigurable architectures
- High-performance fiber-optic communication networks for distributed computing systems
- How severe is the hidden terminal problem in VANETs when using CSMA and STDMA?
- How to add laziness to a strict language without even being odd
- Hybrid ARQ Using Serially Concatenated Block Codes for Real-Time Communication : An Iterative Decoding Approach
- Hybrid ARQ based on serially concatenated block codes using iterative detection for real-time communication
I
- ICUMT 2009 Conference in St. Petersburg, Russia
- ICUMT 2010 Congress in Moscow, Russia
- ICUMT 2011 Congress in Budapest, Hungary
- ICUMT 2012 Congress in St. Petersburg, Russia
- ITST 2011 Conference in Saint-Petersburg, Russia
- Idealized MetaML : Simpler, and More Expressive
- Imperialist Competition Algorithm for DSA in Cognitive Radio Networks
- Implementing Haptic Feedback Environments from High-level Descriptions
- Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection
- Implicitly Heterogeneous Multi-Stage Programming
- Implicitly Heterogeneous Multi-Stage Programming for FPGAs
- Implicitly Heterogeneous Multi-stage Programming
- Impossibility results for the equational theory of timed CCS
- Improving Connectivity of Nodes in Mobile WSN
- Improving the scheduling analysis of hard real-time traffic by analyzing traffic dependencies
- In Pursuit of Real Answers
- Increased communication reliability for delay-sensitive platooning applications on top of IEEE 802.11p
- Increasing the probability of timely and correct message delivery in road side unit based vehicular communication
- Incremental redundancy deadline dependent coding for efficient wireless real-time communications
- Information and telecommunication intellectual monitoring technology and system for complex technical objects under dynamic conditions in real time
- Integrating Model-Based and Constraint-Based Testing Using SpecExplorer
- Integrating a data description language with protocol stack development
- Interference-Aware Clustering Algorithms for Mobile ad hoc Network : Ant Colony optimization-based Algorithm
- Internet of Things
- Interpreted Systems Semantics for Process Algebra with Identity Annotations
- Investigation of Personal Mobility Vehicle stability and maneuverability under various road scenarios
J
K
- Key Issues in Implementing an Optoelectronic Planar Free-space Architecture for Signal Processing Applications
- Knowledge Horizon - Dynamic limitations in a wireless ad hoc network
L
- Less pessimistic worst-case delay analysis for packet-switched networks
- Lifting non-finite axiomatizability results to extensions of process algebras
- Logical Modalities and Multi-Stage Programming
- Long-run order-independence of vector-based transition systems
- Low-Complexity OptimalDiscrete-Rate Spectrum Balancing in Digital Subscriber Lines
M
- MAC-level Forward Error Correction mechanism for minimum error recovery overhead and retransmission
- MC-EDF: A control-channel based wireless multichannel MAC protocol with real-time support
- ML-like Inference for Classifiers
- Machine Assisted Code Generation for Manycore Processors
- Macros as Multi-Stage Computations : Type-Safe, Generative, Binding Macros in MacroML
- Managing Dynamic Reconfiguration for Fault-tolerance on a Manycore Architecture
- Manycore performance analysis using timed configuration graphs
- Mapping Occam-pi programs to a Manycore Architecture
- Mathematical Equations as Executable Models of Mechanical Systems
- Measuring and using the RSSI of IEEE 802.11p
- Mechanized Extraction of Topology Anti-patterns in Wireless Networks
- Medium access control in vehicular networks based on the upcoming IEEE 802.11p standard
- Meeting Engineer Efficiency Requirements in Highly Parallel Signal Processing by Using Platforms
- Meeting reliability and real-time demands in wireless industrial communication
- Merging ant colony optimization based clustering and an imperialist competitive algorithm for spectrum management of a cognitive mobile ad hoc network
- MetaML and multi-stage programming with explicit annotations
- Method of optimizing bit rate capacities of DSL user lines
- Methodologies and tools for development of signal processing software on multicore platforms
- Middleware Support for Wireless Sensor Networks : a survey
- Middleware Support in Unmanned Aerial Vehicles and Wireless Sensor Networks for Surveillance Applications
- Minimum EDF-feasible deadline calculation with low-time complexity
- Mint : Java Multi-stage Programming Using Weak Separability
- Mobile Agents Model and Performance Analysis of a Wireless Sensor Network Target Tracking Application
- Model checking Verilog descriptions of cell libraries
- Model-based estimation of driver intentions using particle filtering
- Modeling Basic Aspects of Cyber-Physical Systems
- Modeling Basic Aspects of Cyber-Physical Systems, Part II
- Modeling Broadcasting in IEEE 802.11p/WAVE Vehicular Networks
- Modeling Event-Driven Safety Messages Delivery in IEEE 802.11p/WAVE Vehicular Networks
- Modeling Prioritized Broadcasting in Multichannel Vehicular Networks
- Modeling and Optimization of Line-Driver Power Consumption in xDSL Systems
- Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks.
- Modular Semantics for Transition System Specifications with Negative Premises
- Modular interconnection system for optical PCB and backplane communication
- Multi-Agent Support in a Middleware for Mission-Driven Heterogeneous Sensor Networks
- Multi-Stage Programming : Axiomatization and Type-Safety
- Multi-Stage Programming : Its Theory and Applications
- Multi-Stage Programming for High-Level Description of Circuit Families
- Multi-Stage Programming with Explicit Annotations
- Multi-Terrain Vehicle Active Suspension Control Modeling and Design
- Multi-agents supporting reflection in a middleware for mission-driven heterogeneous sensor networks
- Multiple Access Communications : 4th International Workshop, MACOM 2011, Trento, Italy, September 12-13, 2011. Proceedings
M cont.
- Multiple Access Communications : 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012. Proceedings
- Multiple Access Communications : 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013, Proceedings
- Multiple Access Communications : Third International Workshop, MACOM 2010, Barcelona, Spain, September 13-14, 2010, Proceedings
- Multiple access communications in future-generation wireless networks
N
- Network component architectures from a real-time perspective
- Neuro-Fuzzy Models, BELRFS and LOLIMOT, for Prediction of Chaotic Time Series
- Nominal SOS
- Notions of bisimulation and congruence formats for SOS with data
O
- OFDM/OFDMA Subcarrier Allocation
- Occam-pi as a High-level Language for Coarse-Grained Reconfigurable Architectures
- Occam-pi for Programming of Massively Parallel Reconfigurable Architectures
- On inter-cluster communication in a time-deterministic WDM star network
- On relaying for wireless industrial communications : Is careful placement of relayers strictly necessary?
- On rule formats for zero and unit elements
- On the Complexity of Input Output Conformance Testing
- On the Investigation of Cloud-Based Mobile Media Environments With Service-Populating and QoS-Aware Mechanisms
- On the Performance of Beaconing in 802.11p/WAVE Vehicular Ad Hoc Networks
- On the ability of the 802.11p MAC method and STDMA to support real-time vehicle-to-vehicle communications
- On the ability of the IEEE 802.11p and STDMA to provide predictable channel access
- On the delay lower bound for the emergency message dissemination in vehicular ad-hoc networks
- On the performance of packet aggregation in IEEE 802.11ac MU-MIMO WLANs
- On the requirements on models and simulator design for integrated VANET Simulation
- On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference
- Operational and epistemic approaches to protocol analysis : Bridging the gap
- Operational and epistemic approaches to protocol analysis : bridging the gap
- Opportunities for Optical Planar Interconnection Technology in Terabit Switches
- Optical Interconnection Technology in Switches, Routers and Optical Cross Connects
- Optical interconnect architectures in signal processing systems and terabit communication equipment
- Optical interconnection technology in switches, routers and optical cross connects
- Optical interconnections in parallel radar signal processing systems
- Optimal Incremental-redundancy strategy for type-II hybrid ARQ
- Optimal type-II concatenated hybrid ARQ using single parity check codes
- Optimization of the frame structure for the IEEE 802.16 in the error-prone channel
- Optoelectronic router with MOEMS--based reconfigurable shuffle network
- Optoelectronic router with a reconfigurable shuffle network based on micro-optoelectromechanical systems
- Order-independence of vector-based transition systems
- Ordinateur porté : dispositifs d'entrée sortie
- Orthogonal extensions in structural operational semantics
- Overall Delay in IEEE 802.16 with Contention-Based Random Access
- Overview of broadband wireless access technologies and stochastic models for their performance evaluation
P
- PARS : a process algebraic approach to resources and schedulers
- PRIOREL-COMB : A protocol framework supporting relaying and packet combining forwireless industrial networking
- Packet combining and doping in concatenated hybrid ARQ schemes using iterative decoding
- Parabolic Synthesis
- Parabolic Synthesis Methodology
- Parabolic Synthesis Methodology Implemented on the Sine Function
- Parallelization of the Estimation Algorithm of the 3D Structure Tensor
- Performance Analysis of CSMA/CA Protocols with Multi-packet Transmission
- Performance Analysis of Contention Based Bandwidth Request Mechanisms in WiMAX Networks
- Performance Analysis of the Polling Scheme in IEEE 802.16
- Performance Analysis of the Random Access in IEEE 802.16
- Performance Aspects of Vehicular Ad-hoc Networks : Current Research and Possible Trends
- Performance Evaluation of a Three Node Client Relay System
- Performance Evaluation of the Cable Bundle Unique Power Back-Off Algorithm
- Performance analysis and enhancement of an ultra-wideband WPAN MAC in the presence of noise
- Performance analysis of a high-speed ultra-wideband WPAN MAC
- Performance analysis of non-beaconed IEEE 802.15.4 for high-confidence wireless communications
- Performance analysis of vectored wireline systems embracing channel uncertainty
- Performance and Reliability Evaluation of BSM Broadcasting in DSRC with Multi-channel Schemes
- Performance comparison of a platooning application using the IEEE 802.11p MAC on the control channel and a centralized MAC on a service channel
- Performance evaluation and parameterization of the IEEE 802.16 contention-based CDMA bandwidth request mechanism for the OFDMA physical layer
- Performance modeling methodology of emergency dissemination algorithms for vehicular ad-hoc networks
- Pheromone-based coordination strategy to static sensors on the ground and unmanned aerial vehicles carried sensors
- PobSAM : policy-based managing of actors in self-adaptive systems
- Portable mechatronic system for demining applications: control unit design and development
- Position-based data traffic prioritization in safety-critical, real-time vehicle-to-infrastructure communication
- Position-based forwarding techniques for vehicular ad-hoc networks
- Position-based real-time communication support for cooperative traffic safety services
- Power Control in See-Through Overtaking Assistance System
- Predictable real-time communications with improved reliability for IEEE 802.15.4 based industrial networks
- Preface
- Preliminary Results in Virtual Testing for Smart Building
- Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures
- Proceedings First International Workshop on Process Algebra and Coordination
- Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures : Paris, France, 4th September 2010
- Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009: Eindhoven, The Netherlands
- Process algebraic verification of SystemC codes
- Programming Real-time Autofocus on a Massively Parallel Reconfigurable Architecture using Occam-pi
- Programming Real-time Image Processing for Manycores in a High-level Language
- Programming of Coarse-Grained Reconfigurable Architectures
- Propagation Modeling for Systems Beyond 3G
- Protocol for wireless real-time systems
- Protocols for active RFID - the energy consumption aspect
- Prototyping SOS meta-theory in Maude
P cont.
- Pseudo-elastic wire application in robotized cutting systems
- Puncturing strategies for incremental redundancy schemes using rate compatible systematic serially concatenated codes
R
- Radar frequency band invariant pedestrian classification
- Radar signal processing using pipelined optical hypercube interconnects
- Radio Receiver
- Radio Receiver and Digital Filter Therefore
- Random Multiple Access in WiMAX : Problems and Solutions
- Random multiple access with successive interference cancellation for centralized networks
- Real-Time Communication
- Real-Time Communication in Infrastructure-Based Safety-Critical Information Exchange
- Real-Time FRP
- Real-time Detection of Denial-of-Service Attacks in IEEE 802.11p Vehicular Networks
- Real-time Radar Signal Processing on Massively Parallel Processor Arrays
- Real-time Support in Adaptable Middleware for Heterogeneous Sensor Networks
- Real-time communication for industrial embedded systems using switched Ethernet
- Real-time communication support for cooperative, infrastructure-based traffic safety applications
- Real-time task reconfiguration support applied to an UAV-based surveillance system
- Reasoning About Multi-Stage Programs
- Reconfigurable optical interconnection system supporting concurrent application-specific parallel computing
- Reconstruction and verification of group membership protocols
- Reducing delay and jitter in software control systems
- Reflective middleware for heterogeneous sensor networks
- Relating FFTW and Split-Radix
- Release Offset Bounds for Response Time Analysis of P-FRP using Exhaustive Enumeration
- Reliable hard real-time communication in industrial and embedded systems
- Report on Rail Conference and Wireless Communications : VTS News
- Report on Wireless Vehicular Communications : VTS News
- Report on the Collaboration between CVIS and CERES in the Project Vehicle Alert System (VAS)
- Resource-Aware Programming - Invited paper
- Restricted delegation and revocation in language-based security : (Position paper)
- Revised Upstream Power back-off for VDSL
- Roadside Networks for Vehicular Communications: Architectures, Applications, and Test Fields
- Robust Dynamic Spectrum Management for DMT-Based Systems
- Robustness of behavioral equivalence on open terms
- Robustness of equations under operational extensions
- Rule Formats for Determinism and Idempotence
- Rule Formats for Distributivity
- Rule formats for distributivity
S
- SOS Rule Formats for Zero and Unit Elements
- SOS formats and meta-theory : 20 years after
- Safety Considerations for Cooperating Vehicles using Wireless Communication
- Sarir : a Rebeca to mCRL2 translator
- Scalability analysis of infrastructure networks for vehicular safety applications
- Scalability issues of the MAC methods STDMA and CSMA of IEEE 802.11p when used in VANETs
- Scheduling relay nodes for reliable wireless real-time communications
- 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)
- Selecting back off algorithm in active RFID CSMA/CA based medium-access protocols
- Semantics and expressiveness of ordered SOS
- Semantics, Applications and Implementation of Program Generation : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings
- Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 00 : proceedings
- Sleep and night activities of care beneficiaries at the "Trygg om Natten" (Safe at Night) Project
- Some Challenges for Model-Based Simulation
- Special Issue on Mobile Computing and Networking Technologies
- Special Issue on the Communication Technologies for Vehicles
- Special Section on Telematics Advances for Vehicular Communication Networks
- Special issue of the Journal of Functional Programming on the Semantics, Applications, and Implementation of Program Generation
- Special issue on the 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011)
- Special issue: software verification and testing
- Specifying Run-time Reconfiguration in Processor Arrays using High-level language
- Specoal Issue on foundations of coordination languages and software architectures (selected papers from FOCLASA'11) : Foreword
- Spectrum Balancing for DSL with Restrictions on Maximum Transmit PSD
- Stackelberg Game Based Cooperative User Relay Assisted Load Balancing in Cellular Networks
- Staged Notational Definitions
- State of the art survey of wireless vehicular communication projects
- Static Consistency Checking for Verilog Wire Interconnects
- Static Consistency Checking for Verilog Wire Interconnects : Using Dependent Types to Check the Sanity of Verilog Descriptions
- Static Consistency Checking for Verilog Wire Interconnects : Using dependent types to check the sanity of verilog descriptions
- Study of Beaconing for Car-to-Car Communication in Vehicular Ad-Hoc Networks
- Supporting platform for heterogeneous sensor network operation based on unmanned vehicles systems and wireless sensor nodes
- Supporting real-time data traffic in safety-critical vehicle-to-infrastructure communication
- Surveillance of mobile objects using coordinated wireless sensor nodes
- Switched Real-Time Ethernet in Industrial Applications - Asymmetric Deadline Partitioning Scheme
- Switched real-time Ethernet in industrial applications - deadline partitioning
- Switched real-time Ethernet with earliest deadline first scheduling - protocols and traffic handling
- Symbolic Approach to Motion Analysis : Framework and Gait Analysis Case Studies
- Symbolic Power Analysis of Cell Libraries
- Symbolization of time series : an evaluation of SAX, persist, and ACA
- Symmetric User Grouping for Multicast and Broadcast Polling in IEEE 802.16 Networks
- Symmetry and partial order reduction techniques in model checking Rebeca
- Synchronizing Asynchronous Conformance Testing
- Synchronous Relaying in Vehicular Ad-Hoc Networks
- Synchrony and asynchrony in conformance testing
