Year 2012

From CERES

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

• Publications:Special Issue on the Communication Technologies for Vehicles  + (2011)
• Publications:Energy- Efficient DSL using Vectoring  + (2011)
• Publications:Proceedings First International Workshop on Process Algebra and Coordination  + (2011)
• Publications:Programming Real-time Autofocus on a Massively Parallel Reconfigurable Architecture using Occam-pi  + (2011)
• Publications:ITST 2011 Conference in Saint-Petersburg, Russia  + (2011)
• Publications:A Serious Computer Game to Assist Tai Chi Training for the Elderly  + (2011)
• Publications:Characterizing broadcast packet losses in IEEE 802.11p/WAVE vehicular networks  + (2011)
• Publications:Analyzing different levels of geographic context awareness in agent ferrying over VANETs  + (2011)
• Publications:Multi-Terrain Vehicle Active Suspension Control Modeling and Design  + (2011)
• Publications:Multiple Access Communications : 4th International Workshop, MACOM 2011, Trento, Italy, September 12-13, 2011. Proceedings  + (2011)
• Publications:Coverage Optimization in DSL Networks by Low-Complexity Discrete Spectrum Balancing  + (2011)
• Publications:Automated Verification of Executable UML Models  + (2011)
• Publications:Report on Rail Conference and Wireless Communications : VTS News  + (2011)
• Publications:Evaluating IEEE 802.15.4 for Cyber-Physical Systems  + (2011)
• Publications:Implicitly Heterogeneous Multi-Stage Programming for FPGAs  + (2011)
• Publications:Modeling Broadcasting in IEEE 802.11p/WAVE Vehicular Networks  + (2011)
• Publications:Dependable Automotive Systems based on Model Certified Components  + (2011)
• Publications:Real-time communication support for cooperative, infrastructure-based traffic safety applications  + (2011)
• Publications:Special Issue on Mobile Computing and Networking Technologies  + (2011)
• Publications:A Core Language for Executable Models of Cyber Physical Systems : work in progress report  + (2011)
• Publications:Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures  + (2011)
• Publications:Delay and interference comparison of CSMA and self-organizing TDMA when used in VANETs  + (2011)
• Publications:The Trouble with Real Numbers  + (2011)
• Publications:Performance analysis of non-beaconed IEEE 802.15.4 for high-confidence wireless communications  + (2011)
• Publications:Handling Failures of Static Sensor Nodes in Wireless Sensor Network by Use of Mobile Sensors  + (2011)
• Publications:Why real-time communication matters  + (2011)
• Publications:Symbolization of time series : an evaluation of SAX, persist, and ACA  + (2011)
• Publications:Concurrent multipath transmission combining forward error correction and path interleaving for video streaming  + (2011)
• Publications:A Compositional Implementation of Modbus in Protege  + (2011)
• Publications:Symbolic Power Analysis of Cell Libraries  + (2011)
• Publications:Parabolic Synthesis  + (2011)
• Publications:Programming of Coarse-Grained Reconfigurable Architectures  + (2011)
• Publications:2011 Baltic Congress on Future Internet and Communications (BCFIC Riga 2011)  + (2011)
• Publications:Improving Connectivity of Nodes in Mobile WSN  + (2011)
• Publications:SOS Rule Formats for Zero and Unit Elements  + (2011)
• Publications:Occam-pi as a High-level Language for Coarse-Grained Reconfigurable Architectures  + (2011)
• Publications:Trustworthy Broadcasting in IEEE 802.11p/WAVE Vehicular Networks : Delay Analysis  + (2011)
• Publications:A Library for Processing Ad hoc Data in Haskell : Embedding a Data Description Language  + (2011)
• Publications:Performance Evaluation of a Three Node Client Relay System  + (2011)
• Publications:Mobile Agents Model and Performance Analysis of a Wireless Sensor Network Target Tracking Application  + (2011)
• Publications:A VLSI Implementation of Logarithmic and Exponential Functions Using a Novel Parabolic Synthesis Methodology Compared to the CORDIC Algorithm  + (2011)
• Publications:Synchronous Relaying in Vehicular Ad-Hoc Networks  + (2011)
• Publications:Heuristics for Discrete Power Control - A Case-Study in Multi-Carrier DSL Networks  + (2011)
• Publications:Towards Model-Based Testing of Electronic Funds Transfer Systems  + (2011)
• Publications:Adaptive Cooperative Awareness Messaging for Enhanced Overtaking Assistance on Rural Roads  + (2011)
• Publications:ICUMT 2010 Congress in Moscow, Russia  + (2011)
• Publications:Release Offset Bounds for Response Time Analysis of P-FRP using Exhaustive Enumeration  + (2011)
• Publications:Understanding the performance of short-lived control broadcast packets in 802.11p/WAVE Vehicular networks  + (2011)
• Publications:On the requirements on models and simulator design for integrated VANET Simulation  + (2011)
• Publications:Vehicular ad-hoc networks to avoid surprise effects on sparsely trafficked, rural roads  + (2011)
• Publications:Communication Technologies for Vehicles : Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011, Proceedings  + (2011)
• Publications:OFDM/OFDMA Subcarrier Allocation  + (2011)
• Publications:Formal analysis of systemc designs in process algebra  + (2011)
• Publications:How severe is the hidden terminal problem in VANETs when using CSMA and STDMA?  + (2011)
• Publications:Static Consistency Checking for Verilog Wire Interconnects : Using Dependent Types to Check the Sanity of Verilog Descriptions  + (2011)
• Publications:Guest editorial for the special issue on "Next generation networks service management"  + (2011)
• Publications:Evaluation of RTSJ-Based Distributed Control System  + (2011)
• Publications:Position-based real-time communication support for cooperative traffic safety services  + (2011)
• Publications:A new measure of movement symmetry in early Parkinson's disease patients using symbolic processing of inertial sensor data  + (2011)
• Publications:MAC-level Forward Error Correction mechanism for minimum error recovery overhead and retransmission  + (2011)
• Publications:Accurate Programming : Thinking about programs in terms of properties  + (2011)
• Publications:Synchronizing Asynchronous Conformance Testing  + (2011)
• Publications:Communication requirements of emerging cooperative driving systems  + (2011)
• Publications:Static Consistency Checking for Verilog Wire Interconnects  + (2011)
• Publications:An open Telematics Service Providing Framework using the P2P-like paradigm based on the somecast protocol  + (2011)
• Publications:Multi-Agent Support in a Middleware for Mission-Driven Heterogeneous Sensor Networks  + (2011)
• Publications:Decompositional Reasoning about the History of Parallel Processes  + (2011)
• Publications:Mapping Occam-pi programs to a Manycore Architecture  + (2011)
• Publications:2011 11th International Conference on ITSTelecommunications  + (2011)
• Publications:An embedded language for programming protocol stacks in embedded systems  + (2011)
• Publications:Long-run order-independence of vector-based transition systems  + (2011)
• Publications:Ultra Low Power Hardware for Computing Squared Euclidean Distances  + (2011)

• Publications:2012 2nd Baltic Congress on Future Internet Communications  + (2012)
• Publications:3GPP LTE Versus IEEE 802.11p/WAVE : Which Technology is Able to Support Cooperative Vehicular Safety Applications?  + (2012)
• Publications:A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)  + (2012)
• Publications:A Novel Reliable Routing Scheme for VANETs  + (2012)
• Publications:A Symbolic Approach to Human Motion Analysis Using Inertial Sensors : Framework and Gait Analysis Study  + (2012)
• Publications:A wearable gait analysis system using inertial sensors Part I : Evaluation of measures of gait symmetry and normality against 3D kinematic data  + (2012)
• Publications:A wearable gait analysis system using inertial sensors Part I: evaluation of measures of gait symmetry and normality against 3D kinematic data  + (2012)
• Publications:A wearable gait analysis system using inertial sensors Part II : Evaluation in a clinical setting  + (2012)
• Publications:A wearable gait analysis system using inertial sensors Part II: Evaluation in a clinical setting  + (2012)
• Publications:An Overtaking Assistance System Based on Joint Beaconing and Real-Time Video Transmission  + (2012)
• Publications:Brain Emotional Learning Based Fuzzy Inference System (BELFIS) for Solar Activity Forecasting  + (2012)
• Publications:Column Generation for Discrete-Rate Multi-User and Multi-Carrier Power Control  + (2012)
• Publications:Communications Technologies for Vehicles : 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012, Proceedings  + (2012)
• Publications:Computaionla design and analysis of Kinematic close chain mechatronic applications.  + (2012)
• Publications:Deployment of a Real Vehicular Delay-Tolerant Network Testbed  + (2012)
• Publications:Deterministic real-time medium access for cognitive industrial radio networks  + (2012)
• Publications:Energy-saving by Low-Power Modes in ADSL2  + (2012)
• Publications:Esterel and the Semantics of Causality  + (2012)
• Publications:Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems  + (2012)
• Publications:Formal modeling of evolving self-adaptive systems  + (2012)
• Publications:ICUMT 2011 Congress in Budapest, Hungary  + (2012)
• Publications:Imperialist Competition Algorithm for DSA in Cognitive Radio Networks  + (2012)
• Publications:Increasing the probability of timely and correct message delivery in road side unit based vehicular communication  + (2012)
• Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer  + (2012)
• Publications:Internet of Things  + (2012)
• Publications:Investigation of Personal Mobility Vehicle stability and maneuverability under various road scenarios  + (2012)
• Publications:MC-EDF: A control-channel based wireless multichannel MAC protocol with real-time support  + (2012)
• Publications:Managing Dynamic Reconfiguration for Fault-tolerance on a Manycore Architecture  + (2012)
• Publications:Mechanized Extraction of Topology Anti-patterns in Wireless Networks  + (2012)
• Publications:Modeling Basic Aspects of Cyber-Physical Systems  + (2012)
• Publications:Modeling Prioritized Broadcasting in Multichannel Vehicular Networks  + (2012)
• Publications:Modeling and Optimization of Line-Driver Power Consumption in xDSL Systems  + (2012)
• Publications:Multiple Access Communications : 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012. Proceedings  + (2012)
• Publications:Multiple access communications in future-generation wireless networks  + (2012)
• Publications:Neuro-Fuzzy Models, BELRFS and LOLIMOT, for Prediction of Chaotic Time Series  + (2012)
• Publications:Nominal SOS  + (2012)
• Publications:Occam-pi for Programming of Massively Parallel Reconfigurable Architectures  + (2012)
• Publications:On relaying for wireless industrial communications : Is careful placement of relayers strictly necessary?  + (2012)
• Publications:On the performance of packet aggregation in IEEE 802.11ac MU-MIMO WLANs  + (2012)
• Publications:Parallelization of the Estimation Algorithm of the 3D Structure Tensor  + (2012)
• Publications:Reasoning About Multi-Stage Programs  + (2012)
• Publications:Report on Wireless Vehicular Communications : VTS News  + (2012)
• Publications:Roadside Networks for Vehicular Communications: Architectures, Applications, and Test Fields  + (2012)
• Publications:Rule Formats for Determinism and Idempotence  + (2012)
• Publications:Rule Formats for Distributivity  + (2012)
• Publications:Scalability analysis of infrastructure networks for vehicular safety applications  + (2012)
• Publications:Special Section on Telematics Advances for Vehicular Communication Networks  + (2012)
• Publications:Synthetic-Aperture Radar Processing on a Manycore Architecture  + (2012)
• Publications:The Nets4Cars & Nets4Trains Workshop Series  + (2012)
• Publications:The effects of relay behavior and position in wireless industrial networks  + (2012)
• Publications:Two Protocols with Heterogeneous Real-Time Services for High-Performance Embedded Networks  + (2012)
• Publications:Using of beaconing for robust video transmission in overtaking assistance applications  + (2012)
• Publications:Using the grouping genetic algorithm (GGA) for channel assignment in a cluster-based mobile ad hoc network  + (2012)
• Publications:Vehicle-to-Vehicle Communications  + (2012)
• Publications:Virtual Testing for Smart Buildings  + (2012)

• Publications:An emotional learning-inspired ensemble classifier (ELiEC)  + (2013)
• Publications:Communication Technologies for Vehicles : 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d' Ascq, France, May 14-15, 2013, Proceedings  + (2013)
• Publications:Energy-Efficient Synthetic-Aperture Radar Processing on a Manycore Architecture  + (2013)
• Publications:Algebraic Meta-Theory of Processes with Data  + (2013)
• Publications:Radar frequency band invariant pedestrian classification  + (2013)
• Publications:A Centralized Channel Assignment Algorithm for Clustered Ad Hoc Networks  + (2013)
• Publications:Performance analysis of vectored wireline systems embracing channel uncertainty  + (2013)
• Publications:The Use of Automotive Radars in Video-Based Overtaking Assistance Applications  + (2013)
• Publications:An Evaluation of High-Performance Embedded Processing on MPPAs  + (2013)
• Publications:Modular Semantics for Transition System Specifications with Negative Premises  + (2013)
• Publications:Some Challenges for Model-Based Simulation  + (2013)
• Publications:The Impact of Rank Attack on Network Topology of Routing Protocol for Low-Power and Lossy Networks  + (2013)
• Publications:A real-time medium access protocol supporting dynamic spectrum allocation in industrial networks  + (2013)
• Publications:On the Complexity of Input Output Conformance Testing  + (2013)
• Publications:Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point  + (2013)
• Publications:Assessment of Gait Symmetry and Gait Normality Using Inertial Sensors : In-Lab and In-Situ Evaluation  + (2013)
• Publications:Chaotic Time Series Prediction Using Brain Emotional Learning Based Recurrent Fuzzy System (BELRFS)  + (2013)
• Publications:A "Smart Bedroom" as an Active Database System  + (2013)
• Publications:Multiple Access Communications : 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013, Proceedings  + (2013)
• Publications:Pseudo-elastic wire application in robotized cutting systems  + (2013)
• Publications:Synchrony and asynchrony in conformance testing  + (2013)
• Publications:Video transmission over IEEE 802.11p : Real-world measurements  + (2013)
• Publications:Ant Colony Optimization for Channel Assignment Problem in Clustered Mobile Ad Hoc Network  + (2013)
• Publications:A Communication Library for Mapping Dataflow Applicationson Manycore Architectures  + (2013)
• Publications:A Communication Library for Mapping Dataflow Applications on Manycore Architectures  + (2013)
• Publications:Modeling Event-Driven Safety Messages Delivery in IEEE 802.11p/WAVE Vehicular Networks  + (2013)
• Publications:Co-Existing Periodic Beaconing and Hazard Warnings in IEEE 802.11p-Based Platooning Applications  + (2013)
• Publications:Early Fault Detection in DSLs using SMT Solving and Automated Debugging  + (2013)
• Publications:Cooperation among wirelessly connected static and mobile sensor nodes for surveillance applications  + (2013)
• Publications:Brain Emotional Learning Based Fuzzy Inference System (Modified using Radial Basis Function)  + (2013)
• Publications:Low-Complexity OptimalDiscrete-Rate Spectrum Balancing in Digital Subscriber Lines  + (2013)
• Publications:Power Control in See-Through Overtaking Assistance System  + (2013)
• Publications:Real-time Radar Signal Processing on Massively Parallel Processor Arrays  + (2013)
• Publications:Interpreted Systems Semantics for Process Algebra with Identity Annotations  + (2013)
• Publications:A First Course on Cyber Physical Systems  + (2013)
• Publications:Stackelberg Game Based Cooperative User Relay Assisted Load Balancing in Cellular Networks  + (2013)
• Publications:Increased communication reliability for delay-sensitive platooning applications on top of IEEE 802.11p  + (2013)
• Publications:Exploring geographic context awareness for data dissemination on mobile ad hoc networks  + (2013)
• Publications:Performance Analysis of CSMA/CA Protocols with Multi-packet Transmission  + (2013)
• Publications:Programming Real-time Image Processing for Manycores in a High-level Language  + (2013)
• Publications:Exploiting Algebraic Laws to Improve Mechanized Axiomatizations  + (2013)
• Publications:Sleep and night activities of care beneficiaries at the "Trygg om Natten" (Safe at Night) Project  + (2013)
• Publications:ICUMT 2012 Congress in St. Petersburg, Russia  + (2013)
• Publications:Modeling Basic Aspects of Cyber-Physical Systems, Part II  + (2013)
• Publications:Decomposability in Input Output Conformance Testing  + (2013)
• Publications:Symbolic Approach to Motion Analysis : Framework and Gait Analysis Case Studies  + (2013)
• Publications:Merging ant colony optimization based clustering and an imperialist competitive algorithm for spectrum management of a cognitive mobile ad hoc network  + (2013)
• Publications:A Database-Centric Architecture for Home-Based Health Monitoring  + (2013)
• Publications:Vehicular Delay-Tolerant Networks? A Novel Solution for Vehicular Communications  + (2013)
• 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  + (2013)
• Publications:Special issue: software verification and testing  + (2013)
• Publications:On the Investigation of Cloud-Based Mobile Media Environments With Service-Populating and QoS-Aware Mechanisms  + (2013)
• Publications:Interference-Aware Clustering Algorithms for Mobile ad hoc Network : Ant Colony optimization-based Algorithm  + (2013)
• Publications:Enabling Greener DSL Access Networks by their Stabilization with Artificial Noise and SNR Margin  + (2013)
• Publications:An Evaluation of Code Generation of Dataflow Languages on Manycore Architectures  + (2014)
• Publications:Brain Emotional Learning-Inspired Models  + (2014)
• Publications:An Imperialist Competitive Algorithm For Interference-Aware Cluster-heads Selection in Ad hoc Networks  + (2014)
• Publications:ARC13 : Assessment of Research and Coproduction : Reports from the assessment of all research at Halmstad University 2013  + (2014)
• Publications:Comparative Simulation Study of Fast Heuristics for Power Control in Copper Broadband Networks  + (2014)
• Publications:Performance and Reliability Evaluation of BSM Broadcasting in DSRC with Multi-channel Schemes  + (2014)
• Publications:A lightweight method for detecting sleep-related activities based on load sensing  + (2014)
• Publications:Use of Local Intelligence to Reduce Energy Consumption of Wireless Sensor Nodes in Elderly Health Monitoring Systems  + (2014)
• Publications:Active In-Database Processing to Support Ambient Assisted Living Systems  + (2014)
• Publications:Fundamental Approaches to Behavioral Modeling and Model-Based Testing of Software Product Lines  + (2014)
• Publications:Special issue on the 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011)  + (2014)
• Publications:Deadline-Aware Scheduling of Cooperative Relayers in TDMA-Based Wireless Industrial Networks  + (2014)
• Publications:DSLs Should be Online Applications  + (2014)
• Publications:A New Two-Degree-of-Freedom Space Heating Model for Demand Response  + (2014)
• Publications:Cooperative partly automated and coordinated vehicles and transports  + (2014)
• Publications:Real-time Detection of Denial-of-Service Attacks in IEEE 802.11p Vehicular Networks  + (2014)
• Publications:Ambient Intelligence and Robotics: complementing one another to support Ambient Assisted Living  + (2014)
• Publications:Specoal Issue on foundations of coordination languages and software architectures (selected papers from FOCLASA'11) : Foreword  + (2014)

 

Property:     Value: