Semantic search

From CERES
Jump to: navigation, search

[Edit query]| Show embed code


Previous     Results 101 – 150    Next        (20 | 50 | 100 | 250 | 500)

Walid Taha, Paul Brauner, Robert Cartwright, Veronica Gaspes, Aaron Ames, Alexandre Chapoutot (2011). A Core Language for Executable Models of Cyber Physical Systems : work in progress report. Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems, ICCPS'11 WIP, Chicago, IL, USA, April 12 - 14, 2011.

Walid Taha, Robert Cartwright (2011). The Trouble with Real Numbers. INFORMATIK 2011 - Informatik schafft Communities 41. Jahrestagung der Gesellschaft für Informatik, Berlin, Germany, 4-7 October.

Yan Wang, Veronica Gaspes (2011). A Library for Processing Ad hoc Data in Haskell : Embedding a Data Description Language. 20th International Symposium, Implementation and Application of Functional Languages, IFL 2008.

Yan Wang, Veronica Gaspes (2011). A Compositional Implementation of Modbus in Protege. 6th IEEE International Symposium on Industrial Embedded Systems (SIES 2011)).

Zain Ul-Abdin, Anders Åhlander, Bertil Svensson (2011). Programming Real-time Autofocus on a Massively Parallel Reconfigurable Architecture using Occam-pi. IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM'2011), Campus Univ Utah, Salt Lake City, UT, MAY 01-03, 2011.

Zain Ul-Abdin, Bertil Svensson (2011). Occam-pi as a High-level Language for Coarse-Grained Reconfigurable Architectures. 25th IEEE International Parallel and Distributed Processing Symposium, Workshops and Phd Forum, IPDPSW 2011, Anchorage, AK, 16 - 20 May, 2011.

Alexander Pyattaev, Sergey Andreev, Alexey Vinel, Boris Sokolov (2010). Client Relay Simulation Model for Centralized Wireless Networks. 7th EUROSIM Congress on Modelling and Simulation (EUROSIM 10), Prague, Czech Republic, September 6-10.

Alexey Vinel, Alexander Dudin, Sergey Andreev, Feng Xia (2010). Performance modeling methodology of emergency dissemination algorithms for vehicular ad-hoc networks. 2010 7th International Symposium on Communication Systems Networks and Digital Signal Processing (CSNDSP), Newcastle upon Tyne, UK, 21-23 July.

Anita Sant'Anna, Nicholas Wickström (2010). A linguistic approach to the analysis of accelerometerdata for gait analysis. seventh IASTED International Conference on Biomedical Engineering, February 17-19, 2010, Innsbruck, Austria.

Annette Böhm, Kristoffer Lidström, Magnus Jonsson, Tony Larsson (2010). Evaluating CALM M5-based vehicle-to-vehicle communication in various road settings through field trials. 35th Annual IEEE Conference on Local Computer Networks, LCN 2010, Denver, CO, USA, 10 - 14 October, 2010.

Björn Nilsson, Lars Bengtsson, Bertil Svensson (2010). A snoozing frequency binary tree protocol. The Third International EURASIP Workshop on RFID Technology, 6-7 September 2010, La Manga del Mar Menor, Cartagena, Spain, 2010.

Boris Bellalta, Alexey Vinel, Miquel Oliver (2010). An upper-bound queueing model for Multi-rate Downlink SDMA systems. 2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT), Moscow, Russia, 18-20 Oct.

Boris Sokolov, Evgeny Tsivirko, Alexey Vinel (2010). Overview of broadband wireless access technologies and stochastic models for their performance evaluation. Computer Data Analysis and Modeling: Complex Stochastic Data and Systems (CDAM’2010), Minsk, Belarus, September 7-11.

Claudia Campolo, Yevgeni Koucheryavy, Antonella Molinaro, Alexey Vinel (2010). On the Performance of Beaconing in 802.11p/WAVE Vehicular Ad Hoc Networks. 10th International Conference on Intelligent Transport Systems Telecommunications (ITST 2010), Kyoto, Japan, 9-11 Nov..

D. Hassan, Mohammad Reza Mousavi, M. A. Reniers (2010). Restricted delegation and revocation in language-based security : (Position paper). The 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, Toronto, Canada, June 10.

Edison Pignaton de Freitas, Tales Heimfarth, Flávio Rech Wagner, Armando Morado Ferreira, Carlos Eduardo Pereira, Tony Larsson (2010). Geo-aware Handover of Mission Agents Using Opportunistic Communication in VANET. 10th International Conference on Next Generation Wired/Wireless Networking, NEW2AN, St Petersburg, Russia, August 23-25, 2010..

Edison Pignaton de Freitas, Tales Heimfarth, Ivayr Farah Netto, Carlos Eduardo Lino, Carlos Eduardo Pereira, Armando Morado Ferreira, Flávio Rech Wagner, Tony Larsson (2010). UAV relay network to support WSN connectivity. 2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops, Moscow, Russia, 18 - 20 October, 2010.

Edison Pignaton de Freitas, Tales Heimfarth, Armando Morado Ferreira, Carlos Eduardo Pereira, Flávio Rech Wagner, Tony Larsson (2010). Decentralized task distribution among cooperative UAVs in surveillance systems applications. 7th International Conference on Wireless On-Demand Network Systems and Services Kranjska Gora, SLOVENIA, FEB 03-05, 2010.

Edison Pignaton de Freitas, Tales Heimfarth, Carlos Eduardo Pereira, Armando Morado Ferreira, Flávio Rech Wagner, Tony Larsson (2010). Pheromone-based coordination strategy to static sensors on the ground and unmanned aerial vehicles carried sensors. Ground/Air Multi-Sensor Interoperability, Integration, and Networking for Persistent ISR, Orlando, Florida, United States, 6 - 9 April, 2010.

Edwin Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha (2010). Mint : Java Multi-stage Programming Using Weak Separability. ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, 5-10 June 2010.

Emil Nilsson, Björn Nilsson, Lars Bengtsson, Bertil Svensson, Per-Arne Wiberg, Urban Bilstrup (2010). A low power-long range active RFID-system consisting of active RFID backscatter transponders. IEEE International Conference on RFID-Technology and Applications, RFID-TA 2010, 17 - 19 June 2010 Guangzhou, China.

Erik Hertz, Peter Nilsson (2010). Parabolic Synthesis Methodology. 2010 GigaHertz Symposium.

Fahad Islam Cheema, Zain Ul-Abdin, Bertil Svensson (2010). A Design Methodology for Resource to Performance Tradeoff Adjustment in FPGAs. 7th FPGAworld Conference, FPGAworld 2010, Copenhagen, 6 September 2010.

Fulong Chen, Walid Taha, Lei Deng (2010). Multi-Stage Programming for High-Level Description of Circuit Families. 3rd International Congress on Image and Signal Processing (CISP), 16-18 October 2010, Yantai, China.

Jawad Masood, Matteo Zoppi, Rezia Molfino (2010). Application of Pseudo-Elastic Wire for Hybrid Cutting Robotic Tool. 41st International Symposium on and 2010 6th German Conference on Robotics (ROBOTIK), June 7-9, 2010, Munich, Germany.

Julien Bruneau, Charles Consel, Marcia O'Malley, Walid Taha, Wail Masry Hannourah (2010). Preliminary Results in Virtual Testing for Smart Building. MOBIQUITOUS 2010, 7th International ICST Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, Sydney, Australia, 6-9 December, 2010.

Katrin Sjöberg, Johan Karedal, Marie Moe, Øyvind Kristiansen, Runar Søråsen, Elisabeth Uhlemann, Fredrik Tufvesson, Knut Evensen, Erik Ström (2010). Measuring and using the RSSI of IEEE 802.11p. 17th World Congress on Intelligent Transport Systems (ITS), Busan, Korea, October 25-29, 2010.

Katrin Sjöberg-Bilstrup, Elisabeth Uhlemann, Erik G. Ström (2010). Scalability issues of the MAC methods STDMA and CSMA of IEEE 802.11p when used in VANETs. IEEE International Conference on Communications Workshops, Cape Town, South Africa, May 2010.

Kristina Kunert, Elisabeth Uhlemann, Magnus Jonsson (2010). Predictable real-time communications with improved reliability for IEEE 802.15.4 based industrial networks. IEEE International Workshop on Factory Communication Systems, Nancy, France, May 2010..

Kristina Kunert, Magnus Jonsson, Elisabeth Uhlemann (2010). Exploiting time and frequency diversity in IEEE 802.15.4 industrial networks for enhanced reliability and throughput. 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2010), Bilbao, Spain, Sept. 13-16, 2010.

Kristoffer Lidström, Tony Larsson (2010). A Spatial QoS Requirements Specification for V2V Applications. IEEE Intelligent Vehicles Symposium University of California, San Diego, CA, USA June 21-24, 2010.

M. Raffelsieper, Mohammad Reza Mousavi, C. Strolenberg (2010). Checking and deriving module paths in Verilog cell library descriptions. Design, Automation and Test in Europe Conference & Exhibition 2010, Dresden, Germany, March 8-12, 2010.

M. Raffelsieper, Mohammad Reza Mousavi, H. Zantema (2010). Order-independence of vector-based transition systems. The 10th International Conference on Application of Concurrency to System Design.

M. Wolkerstorfer, D. Statovci, Tomas Nordström (2010). Duality-gap bounds for multi-carrier systems and their application to periodic scheduling. IEEE International Conference on Communications (ICC), Cape Town, South Africa, May 23-27, 2010.

Mohammad Reza Mousavi (2010). Causality in the semantics of Esterel : revisited. The 6th Workshop on Structural Operational Semantics (SOS 2009), Bologna, Italy, August 31, 2009.

N. Khakpour, S. Jalili, C. Talcott, M. Sirjani, Mohammad Reza Mousavi (2010). PobSAM : policy-based managing of actors in self-adaptive systems. The 6th International Workshop on Formal Aspects of Component Software, FACS’09, Eindhoven, The Netherlands, November 2-3, 2009.

P. D. Mosses, Mohammad Reza Mousavi, M. A. Reniers (2010). Robustness of equations under operational extensions. 17th International Workshop (EXPRESS’10), Paris, France, August 30th, 2010.

Paul Brauner, Walid Taha (2010). Globally Parallel, Locally Sequential : A Preliminary Proposal for Acumen Objects. POOSC'10. Workshop on Parallel Object Oriented Scientific Computing 9th Workshop on Parallel/High-Performance Object-Oriented Scientific Computing, POOSC'10, at the ACM Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH, Reno/Tahoe, USA, 17-22 October.

Sergey Andreev, Zsolt Saffer, Andrey Turlikov, Alexey Vinel (2010). Upper Bound on Overall Delay in Wireless Broadband Networks with Non Real-Time Traffic. 17th International Conference, Analytical and Stochastic Modeling Techniques and Applications (ASMTA) 2010, Cardiff, UK, June 14-16.

Sergey Andreev, Olga Galinina, Alexey Vinel (2010). Cross-Layer Channel-Aware Approaches for Modern Wireless Networks. 3rd International workshop on Multiple Access Communications (MACOM), Barcelona, Spain, Sept. 13-14.

Suzanne Almgren Mason, Agneta Hansson, Bertil Svensson, Emma Börjesson (2010). Bridging Scientific Cultures in a Regional Health Care Context. Equality, Growth and Sustainability – Do they mix? 25-26 November 2010, Linköping University, Sweden.

Tales Heimfarth, Edison Pignaton de Freitas, Carlos Eduardo Pereira, Armando Morado Ferreira, Flavio Rech Wagner, Tony Larsson (2010). Experimental Analysis of a Wireless Sensor Network Setup Strategy Provided by an Agent-Oriented Middleware. 24th IEEE International Conference on Advanced Information Networking and Applications (AINA), Perth, AUSTRALIA, APR 20-23, 2010.

Previous     Results 101 – 150    Next        (20 | 50 | 100 | 250 | 500)