Browse data: Publication
From CERES
Showing below up to 250 results starting with #1.
View (previous 250 | next 250) (20 | 50 | 100 | 250 | 500)
2
- 2008 15th International Conference on Telecommunications, ICT 2008 and MACOM 2008 Workshop Proceedings
- 2009 International Conference on Ultra Modern Telecommunications & Workshops, ICUMT 2009
- 2011 11th International Conference on ITSTelecommunications
- 2011 Baltic Congress on Future Internet and Communications (BCFIC Riga 2011)
- 2012 2nd Baltic Congress on Future Internet Communications
3
A
- A "Smart Bedroom" as an Active Database System
- A Centralized Channel Assignment Algorithm for Clustered Ad Hoc Networks
- A Communication Library for Mapping Dataflow Applications on Manycore Architectures
- A Communication Library for Mapping Dataflow Applicationson Manycore Architectures
- A Compositional Implementation of Modbus in Protege
- A Congruence Rule Format with Universal Quantification
- A Core Language for Executable Models of Cyber Physical Systems : work in progress report
- A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)
- A Database-Centric Architecture for Home-Based Health Monitoring
- A Design Methodology for Resource to Performance Tradeoff Adjustment in FPGAs
- A Device for Conversion of a Binary Floating-Point Number into a Binary 2-Logarithm or the Opposite
- A Domain Specific Approach to Network Software Architecture : Assuring Conformance Between Architecture and Code
- A Domain-Specific Language Approach to Protocol Stack Implementation
- A Domain-specific Approach for Software Development on Manycore Platforms
- A Ethernet based Metropolitan Area Open Access Architecture
- A Fibre-Optic AWG-Based Real-Time Network and Its Applicability to High-Performance Embedded Computing
- A First Course on Cyber Physical Systems
- A Gentle Introduction to Multi-stage Programming, Part II
- A Library for Processing Ad hoc Data in Haskell : Embedding a Data Description Language
- A Methodology for Generating Verified Combinatorial Circuits
- A Methodology for Parabolic Synthesis
- A Methodology for Parabolic Synthesis of Unary Function for Hardware Implementation
- A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions
- A New Approach to Data Mining for Software Design
- A New Two-Degree-of-Freedom Space Heating Model for Demand Response
- A Novel Reliable Routing Scheme for VANETs
- A Pipelined Ring Network - Heterogeneous Real-time in Radar Signal Processing
- A Semantic Analysis of C++ Templates
- A Serious Computer Game to Assist Tai Chi Training for the Elderly
- A Simple Analytical Model for the Periodic Broadcasting in Vehicular Ad-Hoc Networks
- A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. : Or, the Theory of MetaML is Non-trivial
- A Spatial QoS Requirements Specification for V2V Applications
- A Study of Design Efficiency with a High-Level Language for FPGAs
- A Symbol-Based Approach to Gait Analysis From Acceleration Signals : Identification and Detection of Gait Events and a New Measure of Gait Symmetry
- A Symbolic Approach to Human Motion Analysis Using Inertial Sensors : Framework and Gait Analysis Study
- A Two Level Approach to the Design of Software for Cooperating Embedded Systems
- A VLSI Implementation of Logarithmic and Exponential Functions Using a Novel Parabolic Synthesis Methodology Compared to the CORDIC Algorithm
- A Wearable Accelerometer Based Platform to Encourage Physical Activity for the Elderly
- A class of Fiber-Ribbon Pipeline Ring networks for parallel and distributed computing systems
- A configurable framework for stream programming exploration in baseband applications
- A domain-specic approach for software development on manycore platforms
- A fault tolerance test enabling QoS in a Bluetooth piconet
- A fiber-optic interconnection concept for scaleable massively parallel computing
- A fibre-optic AWG-based real-time network for high-performance embedded computing
- A framework for performance evaluation and functional verification in stochastic process algebras
- A lightweight method for detecting sleep-related activities based on load sensing
- A linguistic approach to the analysis of accelerometerdata for gait analysis
- A low power-long range active RFID-system consisting of active RFID backscatter transponders
- A modular, massively-parallel computer architecture for trainable real-time control-systems
- A multiple SIMD approach to radar signal processing
- A multiple SIMD mesh architecture for multi-channel radar processing
- A new measure of movement symmetry in early Parkinson's disease patients using symbolic processing of inertial sensor data
- A novel model for study of broadcasting in wireless networks
- A pipelined fiber-ribbon ring network with heterogeneous real-time support
- A processor array module for distributed, massively parallel, embedded computing
- A real-time medium access protocol supporting dynamic spectrum allocation in industrial networks
- A rule format for associativity
- A rule format for unit elements
- A scalable and pipelined embedded signal processing system using optical hypercube interconnects
- A snoozing frequency binary tree protocol
- A syntactic commutativity format for SOS
- A tool for derivation of implementation constraints : -- evaluation using implementation simulation
- A wearable gait analysis system using inertial sensors Part I : Evaluation of measures of gait symmetry and normality against 3D kinematic data
- A wearable gait analysis system using inertial sensors Part I: evaluation of measures of gait symmetry and normality against 3D kinematic data
- A wearable gait analysis system using inertial sensors Part II : Evaluation in a clinical setting
- A wearable gait analysis system using inertial sensors Part II: Evaluation in a clinical setting
- ARC13 : Assessment of Research and Coproduction : Reports from the assessment of all research at Halmstad University 2013
- AWG-based Optoelectronic Router with QoS Support
- AWG-based optoelectronic router supporting both guaranteed and best-effort QoS traffic
- Accurate Programming : Thinking about programs in terms of properties
- Act normal : using uncertainty about driver intentions as a warning criterion
- Active In-Database Processing to Support Ambient Assisted Living Systems
- Adaptable middleware for heterogeneous wireless sensor networks
- Adaptive Concatenated Coding for Wireless Real-Time Communications
- Adaptive Cooperative Awareness Messaging for Enhanced Overtaking Assistance on Rural Roads
- Admission control for switched real-time Ethernet : scheduling analysis versus network calculus
- Advanced Signal Processing for Digital Subscriber Lines
- Algebraic Meta-Theory of Processes with Data
A cont.
- Algebraic properties for free!
- Algorithm for the choice of topology in reconfigurable networks with real-time support
- Algorithm for the choice of topology in reconfigurable on-chip networks with real-time support
- Ambient Intelligence and Robotics: complementing one another to support Ambient Assisted Living
- An Energy and Application Scenario Aware Active RFID Protocol
- An Evaluation of Code Generation of Dataflow Languages on Manycore Architectures
- An Evaluation of High-Performance Embedded Processing on MPPAs
- An Imperialist Competitive Algorithm For Interference-Aware Cluster-heads Selection in Ad hoc Networks
- An Overtaking Assistance System Based on Joint Beaconing and Real-Time Video Transmission
- An active backscatter wake-up and tag identification extraction protocol for low cost and low power active RFID
- An agent framework to support sensor networks' setup and adaptation
- An application dependent medium access protocol for active RFID using dynamic tuning of the back-off algorithm
- An embedded language for programming protocol stacks in embedded systems
- An emotional learning-inspired ensemble classifier (ELiEC)
- An open Telematics Service Providing Framework using the P2P-like paradigm based on the somecast protocol
- An upper-bound queueing model for Multi-rate Downlink SDMA systems
- Analysis of Efficient TDMA Schedules via the Fat-Tree Network with Real-Time Many-to-Many Communication
- Analysis problems in a spatial reuse ring network with a simple clocking strategy
- Analytical approach for maximizing the average code rate of incremental redundancy schemes
- Analytical software design : introduction and industrial experience report
- Analyzing different levels of geographic context awareness in agent ferrying over VANETs
- Analyzing the Advantages of Run-Time Reconfiguration in Radar Signal Processing
- Ant Colony Optimization for Channel Assignment Problem in Clustered Mobile Ad Hoc Network
- Application of Pseudo-Elastic Wire for Hybrid Cutting Robotic Tool
- Application of process algebraic verification and reduction techniques to SystemC designs
- Architectural challenges in memory-intensive, real-time image forming
- Architectures and Protocols for Performance Improvements of Real-Time Networks
- Assessment of Gait Symmetry and Gait Normality Using Inertial Sensors : In-Lab and In-Situ Evaluation
- Automated Verification of Executable UML Models
B
- Brain Emotional Learning Based Fuzzy Inference System (BELFIS) for Solar Activity Forecasting
- Brain Emotional Learning Based Fuzzy Inference System (Modified using Radial Basis Function)
- Brain Emotional Learning-Inspired Models
- Bridging Scientific Cultures in a Regional Health Care Context
- Bridging gendered and scientific cultures in a healthcare technology context
C
- Capacity Estimation of Centralized Reservation-Based Random Multiple-Access System
- Capacity analysis of reservation-based random access for broadband wireless access networks
- Capacity limitations in wireless sensor networks
- Causality in the semantics of Esterel : revisited
- Chaotic Time Series Prediction Using Brain Emotional Learning Based Recurrent Fuzzy System (BELRFS)
- Characterizing broadcast packet losses in IEEE 802.11p/WAVE vehicular networks
- Checking and deriving module paths in Verilog cell library descriptions
- Client Relay Simulation Model for Centralized Wireless Networks
- Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming
- Co-Existing Periodic Beaconing and Hazard Warnings in IEEE 802.11p-Based Platooning Applications
- Column Generation for Discrete-Rate Multi-User and Multi-Carrier Power Control
- Comments on interconnection networks for parallel radar signal processing systems
- Communication Technologies for Vehicles : 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d' Ascq, France, May 14-15, 2013, Proceedings
- Communication Technologies for Vehicles : Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011, Proceedings
- Communication requirements of emerging cooperative driving systems
- Communications Technologies for Vehicles : 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012, Proceedings
- Comparative Simulation Study of Fast Heuristics for Power Control in Copper Broadband Networks
- Compiling Stream-Language Applications to a Reconfigurable Array Processor
- Computaionla design and analysis of Kinematic close chain mechatronic applications.
- Computing the minimum EDF feasible deadline in periodic systems
- Concatenated hybrid ARQ - a flexible scheme for wireless real-time communication
- Concatenated systems and cross-layer design
- Concoqtion : Indexed Types Now!
- Concurrent multipath transmission combining forward error correction and path interleaving for video streaming
- Contention-Based Polling Efficiency in Broadband Wireless Networks
- Control-channel based fiber-ribbon pipeline ring network
- Cooperation among wirelessly connected static and mobile sensor nodes for surveillance applications
- Cooperative Communication Disturbance Detection in Vehicle Safety Systems
- Cooperative partly automated and coordinated vehicles and transports
- Cooperative systems for traffic safety : Will existing wireless access technologies meet the communications requirements?
- Coordinating aerial robots and unattended ground sensors for intelligent surveillance systems
- Coordination Mechanism and Customizable Hardware Platform to Provide Heterogeneous Wireless Sensor Networks Support
- Coverage Optimization in DSL Networks by Low-Complexity Discrete Spectrum Balancing
- Cross-Layer Channel-Aware Approaches for Modern Wireless Networks
D
- DSL Implementation in MetaOCaml, Template Haskell, and C++
- DSLs Should be Online Applications
- Deadline dependent coding-a framework for wireless real-time communication
- Deadline first scheduling in switched real-time Ethernet - deadline partitioning issues and software implementation experiments
- Deadline-Aware Scheduling of Cooperative Relayers in TDMA-Based Wireless Industrial Networks
- Decentralized task distribution among cooperative UAVs in surveillance systems applications
- Decomposability in Input Output Conformance Testing
- Decompositional Reasoning about the History of Parallel Processes
- Decompositional reasoning about the history of parallel processes
- Delay and interference comparison of CSMA and self-organizing TDMA when used in VANETs
- Delay-Constrained Scheduling for Interference-Limited Multi-Carrier Systems
- Dependable Automotive Systems based on Model Certified Components
- Deployment of a Real Vehicular Delay-Tolerant Network Testbed
- Derivation of implementation constraints - implementation simulation and treatment of multiple design choices
- Derivation of implementation constraints -- implementation simulation and treatment of multiple design choices
- Deterministic real-time medium access for cognitive industrial radio networks
D cont.
- Developing a Motion Language: Gait Analysis from Accelerometer Sensor Systems
- Directions in Functional Programming for Real(-Time) Applications
- Distributed Access Framework for Embedded Device Community
- Distributed Queue Random Multiple Access Algorithm for Centralized Data Networks
- Domain-Specific Languages
- Duality-gap bounds for multi-carrier systems and their application to periodic scheduling
- Dynamic Management of Input/Output Devices for Wearable Computers
- Dynamic Reconfigurable Task Schedule Support towards a Reflective Middleware for Sensor Network
- Dynamic Self-Rescheduling of Tasks over a Heterogeneous Platform
- Dynamic Spectrum Management for Standardized VDSL
- Dynamic Tasks' Reconfiguration for UAV System using Aspect Orientation
- Dynamic activity and task allocation supporting uav teams in surveillance systems
- Dynamic spectrum management for energy-efficient transmission in DSL
- Dynamic time-deterministic traffic in a fiber-optic WDM star network
E
- E-FRP with Priorities
- EDF-based Protocol for a Fiber Optic Network with Passive Star and Separate Control Channel
- Early Fault Detection in DSLs using SMT Solving and Automated Debugging
- Efficient Request Mechanism Usage in IEEE 802.16
- Efficient Support for High Traffic-Volumes of Short-Message Real-Time Communication Using an Active Ethernet Switch
- Efficient many-to-many communication using an intelligent Ethernet switch
- Efficient many-to-many real-time communication using an intelligent Ethernet switch
- Embedded Signal Processing Using Free-Space Optical Hypercube Interconnects
- Enabling Greener DSL Access Networks by their Stabilization with Artificial Noise and SNR Margin
- Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point
- Energy Efficient Analog Front Ends For Access Networks Through Digital Signal Processing -- A Contribution To Green ICT
- Energy Efficient Power Back-Off Management for VDSL2 Transmission
- Energy- Efficient DSL using Vectoring
- Energy-Efficient Synthetic-Aperture Radar Processing on a Manycore Architecture
- Energy-saving by Low-Power Modes in ADSL2
- Enhanced Wireless Sensor Network Setup Strategy Supported by Intelligent Software Agents
- Enhanced pheromone-based mechanism to coordinate UAVs and WSN nodes on the ground
- Enhancing reliability in IEEE 802.11 based real-time networks through transport layer retransmissions
- Environment Classifiers
- Esterel and the Semantics of Causality
- Estimating pressure peak position and air-fuel ratio using the ionization current and artificial neural networks
- Estimation of a successful beacon reception probability in vehicular ad-hoc networks
- Evaluating CALM M5-based vehicle-to-vehicle communication in various road settings through field trials
- Evaluating IEEE 802.15.4 for Cyber-Physical Systems
- Evaluation of RTSJ-Based Distributed Control System
- Evaluation of coordination strategies for heterogeneous sensor networks aiming at surveillance applications
- Evaluation of the IEEE 802.11p MAC method for vehicle-to-vehicle communication
- Event-Driven FRP
- Evolution in Architectures and Programming Methodologies of Coarse-Grained Reconfigurable Computing
- Evolution in architectures and programming methodologies of coarse-grained reconfigurable computing
- Experimental Analysis of Coordination Strategies to Support Wireless Sensor Networks Composed by Static Ground Sensors and UAV-Carried Sensors
- Experimental Analysis of a Wireless Sensor Network Setup Strategy Provided by an Agent-Oriented Middleware
- Exploiting Algebraic Laws to Improve Mechanized Axiomatizations
- Exploiting time and frequency diversity in IEEE 802.15.4 industrial networks for enhanced reliability and throughput
- Exploring geographic context awareness for data dissemination on mobile ad hoc networks
- Exploring the Design Space of Higher-Order Casts
F
- Fiber-Optic Interconnections in High-Performance Real-Time Computer Systems
- Fiber-optic interconnection networks for signal processing applications
- Fiber-ribbon pipeline ring network for high-performance distributed computing systems
- Fiber-ribbon ring network with services for parallel processing and distributed real-time systems
- Fibre-Optic AWG Networks Supporting Real-Time Communication in High-Performance Embedded Systems
- Fibre-ribbon pipeline ring network with distributed global deadline scheduling and deterministic user services
- Fibre-ribbon ring network with inherent support for earliest deadline first message scheduling
- Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems
- Formal analysis of non-determinism in Verilog cell library simulation models
- Formal analysis of systemc designs in process algebra
- Formal modeling of evolving self-adaptive systems
- Formal specification and analysis of accelerated heartbeat protocols
- Fundamental Approaches to Behavioral Modeling and Model-Based Testing of Software Product Lines
G
- Gait Unsteadiness Analysis from Motion Primitives
- Generating Heap-bounded Programs in a Functional Setting
- Geo-aware Handover of Mission Agents Using Opportunistic Communication in VANET
- Gilbert-Elliot Model Parameters Derivation for the IEEE 802.11 Wireless Channel
- Globally Parallel, Locally Sequential : A Preliminary Proposal for Acumen Objects
- Gradual Typing for Functional Languages
- Gradual typing for objects
- Guaranteed Real-Time Communication in Packet-Switched Networks with FCFS queuing : Analysis and Simulations
- Guaranteed periodic real-time communication over wormhole switched networks
- Guaranteed real-time communication in packet-switched networks with FCFS queuing
- Guaranteed real-time services in switched Ethernet networks with deadline scheduling in the end nodes
- Guaranteed real-time services over standard switched Ethernet
- Guest editorial : Special section on wireless technologies in factory and industrial automation -- part I
- Guest editorial : Special section on wireless technologies in factory and industrial automation -- part II
- Guest editorial for the special issue on "Next generation networks service management"
H
- Handling Failures of Static Sensor Nodes in Wireless Sensor Network by Use of Mobile Sensors
- Handover in IEEE 802.11p-based delay-sensitive vehicle-to-infrastructure communication
- Hard decision packet combining methods for industrial wireless relay networks
- Heterogeneous real-time services in high-performance system area networks - application demands and case study definitions
