Semantic search

From CERES
Jump to: navigation, search

[Edit query]| Show embed code


Previous     Results 101 – 379    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.

Yan Wang, Veronica Gaspes (2010). A Domain-Specific Language Approach to Protocol Stack Implementation. Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010.

Alexey Vinel (2009). Performance Aspects of Vehicular Ad-hoc Networks : Current Research and Possible Trends. 5. GI/ITG-Workshop Leistungs-, Zuverlässigkeits- und Verlässlichkeitsbewertung von Kommunikationsnetzen und verteilten Systemen, MMBnet, Hamburg, Germany, 10-11 Sep..

Alexey Vinel, Yevgeni Koucheryavy (2009). A novel model for study of broadcasting in wireless networks. Distributed Computer and Communication Networks. Theory and Applications – DCCN-2009, Sofia, Bulgaria, October 5-9.

Alexey Vinel, Konstantin Fedorov (2009). Random multiple access with successive interference cancellation for centralized networks. International IEEE Conference Devoted to the 150-Anniversary of Alexander S Popov, St Petersburg, RUSSIA, MAY 18-23, 2009.

Alexey Vinel, Yevgeni Koucheryavy, Sergey Andreev, Dirk Staehle (2009). Estimation of a successful beacon reception probability in vehicular ad-hoc networks. 2009 ACM International Wireless Communications and Mobile Computing Conference, IWCMC 2009, Leipzig, Germany, 21-24 June.

Alexey Vinel, Yevgeni Koucheryavy (2009). On the delay lower bound for the emergency message dissemination in vehicular ad-hoc networks. IEEE 34th Conference on Local Computer Networks, Zurich, SWITZERLAND, OCT 20-23, 2009.

Alexey Vinel, Dirk Staehle, Andrey Turlikov (2009). Study of Beaconing for Car-to-Car Communication in Vehicular Ad-Hoc Networks. IEEE International Conference on Communications (ICC 2009), Dresden, GERMANY, JUN 14-18, 2009.

Angela Yun Zhu, Jun Inoue, Marisa Linnea Peralta, Walid Taha, Marcia O’Malley, Dane Powell (2009). Implementing Haptic Feedback Environments from High-level Descriptions. 6th International Conference on Embedded Software and Systems, Hangzhou, PEOPLES R CHINA, MAY 25-27, 2009.

Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek (2009). In Pursuit of Real Answers. ICESS'09, 6th International Conference on Embedded Software and Systems, Hangzhou, China, May 25-27.

Anita Sant'Anna, Nicholas Wickström (2009). Developing a Motion Language: Gait Analysis from Accelerometer Sensor Systems. 3rd International Conference on Pervasive Computing Technologies for Healthcare - Pervasive Health 2009, PCTHealth 2009, London, 1-3 April, 2009.

Annette Böhm, Magnus Jonsson (2009). Position-based data traffic prioritization in safety-critical, real-time vehicle-to-infrastructure communication. IEEE International Conference on Communications Workshops, 14 - 18 June 2009; Dresden, Germany.

Björn Nilsson, Lars Bengtsson, Bertil Svensson (2009). An application dependent medium access protocol for active RFID using dynamic tuning of the back-off algorithm. The 2009 IEEE International Conference on RFID, April 27-28, 2009, Walt Disney World Swan & Dolphin, Orlando, Florida.

Cherif Salama, Gregory Malecha, Walid Taha, John O'Leary, Jim Grundy (2009). Static Consistency Checking for Verilog Wire Interconnects : Using dependent types to check the sanity of verilog descriptions. PEPM '09 Partial Evaluation and Program Manipulation (co-located with POPL 2009) Savannah, GA, USA. January 19 - 20, 2009.

Dirk Staehle, Rastin Pries, Alexey Vinel, Andreas Mäder (2009). Performance evaluation and parameterization of the IEEE 802.16 contention-based CDMA bandwidth request mechanism for the OFDMA physical layer. 12th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems, Tenerife, SPAIN, OCT 26-29, 2009.

Edison Pignaton de Freitas, Tales Heimfarth, Armando Morado Ferreira, Flávio Rech Wagner, Carlos Eduardo Pereira, Tony Larsson (2009). An agent framework to support sensor networks’ setup and adaptation. International Multiconference on Computer Science and Information Technology, IMCSIT '09, Mragowo, Poland, 12 - 14 October, 2009.

Edison Pignaton de Freitas, Marco Aurélio Wehrmeister, Armando Morado Ferreira, Carlos Eduardo Pereira, Tony Larsson (2009). Multi-agents supporting reflection in a middleware for mission-driven heterogeneous sensor networks. Third International Workshop on Agent Technology for Sensor Networks (ATSN-09). A workshop of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-09), 12th May, Budapest, Hungary.

Edison Pignaton de Freitas, Armando Morado Ferreia, Carlos Eduardo Pereira, Tony Larsson (2009). Middleware Support in Unmanned Aerial Vehicles and Wireless Sensor Networks for Surveillance Applications. 3rd International Symposium on Intelligent and Distributed Computing (IDC 2009), OCT 13-14, 2009, Syia Napa, CYPRUS.

Edison Pignaton de Freitas, Alécio Pedro Delazari Binotto, Carlos Eduardo Pereira, Andre Stork, Tony Larsson (2009). Dynamic activity and task allocation supporting uav teams in surveillance systems. International Multiconference on computer science and information technology, October 12 - 14 2009, Mragowo, Poland.

Elisabeth Uhlemann, Thomas Nolte (2009). Scheduling relay nodes for reliable wireless real-time communications. IEEE Conference on Emerging Technologies & Factory Automation, 22-25 Sept. 2009, Mallorca, Spain, 2009.

Erik Hertz, Peter Nilsson (2009). Parabolic Synthesis Methodology Implemented on the Sine Function. IEEE International Symposium on Circuits and Systems (ISCAS 2009), Taipei, Taiwan, May 24-27, 2009.

Jeremy Siek, Ronald Garcia, Walid Taha (2009). Exploring the Design Space of Higher-Order Casts. 18th European Symposium on Programming, ESOP 2009; York; 22 March 2009 through 29 March 2009.

Jerker Bengtsson, Bertil Svensson (2009). Manycore performance analysis using timed configuration graphs. 2009 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2009, Samos, 20 - 23 July, 2009.

Katrin Bilstrup, Elisabeth Uhlemann, Erik G. Ström, Urban Bilstrup (2009). On the ability of the IEEE 802.11p and STDMA to provide predictable channel access. 16th World Congress on Intelligent Transport Systems (ITS), 21-25 september, Stockholm, Sweden, 2009.

Kristoffer Lidström, Tony Larsson (2009). Act normal : using uncertainty about driver intentions as a warning criterion. 16th World Congress on Intelligent Transportation Systems (ITS WC), 21-25 September, 2009, Stockholm, Sweden.

M. Wolkerstorfer, Tomas Nordström, D. Statovci (2009). Delay-Constrained Scheduling for Interference-Limited Multi-Carrier Systems. International Workshop on Cross Layer Design (IWCLD-2009), Palma de Mallorca, Mallorca, Spain, June 11-12, 2009.

Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-Willem Roorda, Chris Strolenberg, Hans Zantema (2009). Formal analysis of non-determinism in Verilog cell library simulation models. 14th International Workshop on Formal Methods for Industrial Critical Systems, Eindhoven, NETHERLANDS, NOV 02-03, 2009.

Matthias Raffelsieper, Jan-Willem Roorda, Mohammad Reza Mousavi (2009). Model checking Verilog descriptions of cell libraries. 9th International Conference on Application of Concurrency to System Design, Augsburg, GERMANY, JUL 01-03, 2009.

Michael Okhtilev, Boris Sokolov, Alexey Vinel, Eugene Zaichik (2009). Information and telecommunication intellectual monitoring technology and system for complex technical objects under dynamic conditions in real time. 1st International Workshop on Networked Embedded and Control System Technologies/European and Russian R&D Cooperation Workshop, Milan, ITALY, JUL 04-05, 2009.

Sergey Andreev, Zsolt Saffer, Andrey Turlikov, Alexey Vinel (2009). Overall Delay in IEEE 802.16 with Contention-Based Random Access. 16th International Conference, Analytical and Stochastic Modeling Techniques and Applications (ASMTA) 2009, Madrid, Spain, June 9-12.

Tomas Nordström, Göran Ökvist, Mikael Isaksson (2009). VDSL2 Multi-Processor System-on-Chip Design. Extended abstract for Second Swedish Workshop on Multi-Core Computing MCC09, Uppsala, Sweden, Nov. 26-27.

Tomas Nordström, D. Statovci, M. Wolkerstorfer (2009). Energy Efficient Power Back-Off Management for VDSL2 Transmission. 17th European Signal Processing Conference (EUSIPCO 2009), Glasgow, UK, August 24-28, 2009.

Tony Larsson (2009). A Two Level Approach to the Design of Software for Cooperating Embedded Systems. 7th IEEE International Conference on Industrial Informatics (INDIN 2009) Cardiff, Wales, UK, 24-26 June.

Yan Wang, Veronica Gaspes (2009). Integrating a data description language with protocol stack development. IASTED International Conference on Communication Systems, Networks and Applications, October 12 – 14, 2009, Beijing, China.

Yan Wang, Veronica Gaspes (2009). A Domain Specific Approach to Network Software Architecture : Assuring Conformance Between Architecture and Code. Fourth International Conference on Digital Telecommunications, 2009. ICDT '09.

Zain Ul-Abdin (2009). High-level programming of coarse-grained reconfigurable architectures. 19th International Conference on Field Programmable Logic and Applications, Prague, Czech Republic, August 31-September 2, 2009.

A.P.D. Binotto, Edison Pignaton de Freitas, Carlos Eduardo Pereira, André Stork, Tony Larsson (2008). Real-time task reconfiguration support applied to an UAV-based surveillance system. International Workshop on Real Time Software (RTS'08), Wisla, Poland, Oct. 20-22, 2008. Part of the International Multiconference on Computer Science and Information Technology..

Alexey Vinel, Vladimir Vishnevsky, Yevgeni Koucheryavy (2008). A Simple Analytical Model for the Periodic Broadcasting in Vehicular Ad-Hoc Networks. 2008 IEEE Globecom Workshops, GLOBECOM 2008, New Orleans, USA, 30 November-4 December.

Ali Mahmood, Annette Böhm, Magnus Jonsson (2008). Wireless Sensor Networks for Surveillance Applications - A Comparative Survey of MAC Protocols. ICWMC 2008, The Fourth International Conference on Wireless and Mobile Communiations, Athens, Greece, July 27 - August 01, 2008.

Alécio P. D. Binotto, Edison P. Freitas, Marcelo Götz, Carlos E. Pereira, André Stork, Tony Larsson (2008). Dynamic Self-Rescheduling of Tasks over a Heterogeneous Platform. 2008 International Conference on Reconfigurable Computing and FPGAs (ReConFig 2008), 3-5 December 2008, Cancun, Mexico.

Andreas Willig, Elisabeth Uhlemann (2008). PRIOREL-COMB : A protocol framework supporting relaying and packet combining forwireless industrial networking. 2008 IEEE International Workshop on Factory Communication Systems, May 21st-23rd, 2008, Dresden, Germany.

Annette Böhm, Magnus Jonsson (2008). Real-Time Communication in Infrastructure-Based Safety-Critical Information Exchange. 15th World Congress on Intelligent Transport Systems and ITS America's 2008 annual meeting, New York, USA, 16-20 November, 2008.

Annette Böhm, Magnus Jonsson (2008). Supporting real-time data traffic in safety-critical vehicle-to-infrastructure communication. 33rd Annual IEEE Conference on Local Computer Networks, Montreal, CANADA, OCT 14-17, 2008.

Annette Böhm, Magnus Jonsson (2008). Position-based forwarding techniques for vehicular ad-hoc networks. 5th Swedish National Computer Networking Workshop (SNCNW 2008), Karlskrona, April 9-10, 2008.

Bertil Svensson, Zain Ul-Abdin (2008). Using a CSP based programming model for reconfigurable processor arrays. 2008 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2008, 3-5 December 2008, Cancun, Mexico.

Björn Nilsson, Lars Bengtsson, Bertil Svensson (2008). Selecting back off algorithm in active RFID CSMA/CA based medium-access protocols. Third International Symposium on Industrial Embedded Systems, June 11-13, 2008, Montpellier-Le Grande Motte, France.

Chaitanya Belwal, Albert M.K. Cheng, Walid Taha, Angela Zhu (2008). Timing Analysis of the Priority based FRP System. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP Session, St. Louis, MO, USA, April 22-24.

D. Statovci, Tomas Nordström (2008). Performance Evaluation of the Cable Bundle Unique Power Back-Off Algorithm. International Conference on Access Networks (Accessnets 2008), Oct. 15-17, Las Vegas, Nevada, USA, 2008.

Edison Pignaton de Freitas, A. P. D. Binotto, Carlos Eduardo Pereira, A. Stork, Tony Larsson (2008). Dynamic Reconfigurable Task Schedule Support towards a Reflective Middleware for Sensor Network. The 2008 International Symposium on Parallel and Distributed Processing with Applications, 10-12 December 2008, Sydney, NSW, Australia.

Edison Pignaton de Freitas, A. P. D. Binotto, Carlos Eduardo Pereira, Andre Stork, Tony Larsson (2008). Dynamic Tasks' Reconfiguration for UAV System using Aspect Orientation. 2008 International Symposium on Parallel and Distributed Processing with Applications, ISPA 2008, Sydney, 10-12 December.

Edison Pignaton de Freitas, Marco Aurélio Wehrmeister, Carlos Eduardo Pereira, Tony Larsson (2008). Using aspects and component concepts to improve reuse of software for embedded systems product lines. Early aspects workshop at the 12th international software product line conference (SPLC 2008), 8-12 September 2008, Limerick, Ireland.

Edison Pignaton de Freitas, Marco Aurélio Wehrmeister, Carlos Eduardo Pereira, Tony Larsson (2008). Reflective middleware for heterogeneous sensor networks. 7th Workshop on Reflective and Adaptive Middleware (ARM'08), December 1-5 2008, Leuven, Belgium.

Edison Pignaton de Freitas, Marco Aurélio Wehrmeister, Carlos Eduardo Pereira, Tony Larsson (2008). Real-time Support in Adaptable Middleware for Heterogeneous Sensor Networks. International Multiconference on Computer Science and Information Technology (IMCSIT 2008), 20-22 Oct. 2008, Wisla, Poland.

Edison Pignaton de Freitas, Per Söderstam, Wagner Ourique de Morais, Carlos Eduardo Pereira, Tony Larsson (2008). Adaptable middleware for heterogeneous wireless sensor networks. 10th European Agent Systems Summer School (EASSS), 7th of May 2008, New University of Lisbon, Portugal.

Elisabeth Uhlemann, Andreas Willig (2008). Hard decision packet combining methods for industrial wireless relay networks. Second International Conference on Communications and Electronics, Hoi An City, Vietnam from, 4-6 June, 2008.

Elisabeth Uhlemann, Andreas Willig (2008). Joint design of relay and packet combining schemes for wireless industrial networks. 67th Vehicular Technology Conference, Marina Bay, Singapore, 11-14 May 2008.

H. Hojjat, Mohammad Reza Mousavi, M. Sirjani (2008). Process algebraic verification of SystemC codes. 8th International Conference on Application of Concurrence System Design, Xian, PEOPLES R CHINA, JUN 23-27, 2008.

Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani (2008). A framework for performance evaluation and functional verification in stochastic process algebras. 23rd Annual ACM Symposium on Applied Computing, Fortaleza, BRAZIL, MAR 16-20, 2008.

Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary (2008). Synthesizable high level hardware descriptions : using statically typed two-level languages to guarantee verilog synthesizability. 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, California, USA, January 7-8, 2008.

Jerker Bengtsson, Bertil Svensson (2008). Methodologies and tools for development of signal processing software on multicore platforms. Workshop on Streaming Systems in conjunction with the 41st Annual IEEE/ACM International Symposium on Michroarchitecture (MICRO), Lake Como, Italy, November 08 - 12, 2008.

Jerker Bengtsson, Bertil Svensson (2008). A domain-specic approach for software development on manycore platforms. First Swedish Workshop on Multi-Core Computing MCC-08 November 27-28, 2008 Ronneby, Sweden.

Katrin Bilstrup, Elisabeth Uhlemann, Erik G. Ström, Urban Bilstrup (2008). Evaluation of the IEEE 802.11p MAC method for vehicle-to-vehicle communication. 68th IEEE Vehicular Technology Conference, 2008. VTC Fall 2008, 21-24 September 2008, Calgary, Alberta, Canada.

Katrin Bilstrup, Elisabeth Uhlemann, Erik G. Ström (2008). Medium access control in vehicular networks based on the upcoming IEEE 802.11p standard. 15th World Congress on Intelligent Transport Systems (ITS), 15 - 20 November, 2008, Jacob K. Javits Convention Center, 36th St. & Eleventh Av. Manhattan, New York.

Kristoffer Lidström, Tony Larsson (2008). Model-based estimation of driver intentions using particle filtering. 11th International IEEE Conference on Intelligent Transportation Systems, Beijing, China, October 12-15, 2008.

Lars Strandén, Elisabeth Uhlemann, Erik G. Ström (2008). State of the art survey of wireless vehicular communication projects. 15th World Congress on Intelligent Transport Systems, New York, November 16-20, 2008.

M. Wolkerstorfer, D. Statovci, Tomas Nordström (2008). Dynamic spectrum management for energy-efficient transmission in DSL. The 11th IEEE International Conference on Communications Systems (ICCS2008), Guangzhou, China, Nov. 19-21, 2008.

Magnus Jonsson, Kristina Kunert (2008). Meeting reliability and real-time demands in wireless industrial communication. 13th IEEE International Conference on Emerging Technologies and Factory Automation, 15-18 September 2008, Hamburg, Germany.

Magnus Jonsson, Kristina Kunert (2008). Reliable hard real-time communication in industrial and embedded systems. Third International Symposium on Industrial Embedded Systems, June 11-13, 2008, Montpellier-La Grande Motte, France.

Mattias Wecksten, Magnus Jonsson (2008). Less pessimistic worst-case delay analysis for packet-switched networks. 13th IEEE International Conference on Emerging Technologies and Factory Automation, Hamburg, GERMANY, SEP 15-18, 2008.

Mohamed Morsi Mahmod, Issam Khalil, Elisabeth Uhlemann, Niclas Nygren (2008). Wireless strategies for future and emerging ITS applications. 15th World Congress on Intelligent Transport Systems, New York, USA, November 16-20, 2008.

Máirtín O’Droma, Ivan Ganchev, Alexey Vinel (2008). The use of WiMAX as a carrier technology for Wireless Billboard Channels. International Conference on Telecommunications, St Petersburg, RUSSIA, JUN 16-19, 2008.

Sergey Andreev, Andrey Turlikov, Alexey Vinel (2008). Contention-Based Polling Efficiency in Broadband Wireless Networks. 15th International Conference on Analytical and Stochastic Modelling Techniques and Applications, Nicosia, CYPRUS, JUN 04-06, 2008.

Sergey Andreev, Andrey Turlikov, Alexey Vinel (2008). Symmetric User Grouping for Multicast and Broadcast Polling in IEEE 802.16 Networks. International Workshop on Multiple Access Communications (MACOM-2008), Saint-Petersburg, Russia, 16-17th June.

Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers (2008). A rule format for associativity. 19th International Conference on Concurrency Theory, Toronto, CANADA, AUG 19-22, 2008.

Vladimir Vishnevsky, Alexey Vinel (2008). Optimization of the frame structure for the IEEE 802.16 in the error-prone channel. International Workshop on Multiple Access Communications - MACOM-2008, Saint-Petersburg, Russia, 16-17 June.

Walid Taha (2008). A Gentle Introduction to Multi-stage Programming, Part II. International Summer School on Generative and Transformational Techniques in Software Engineering II, GTTSE 2007, Braga, 2-7 July.

Walid Taha (2008). Domain-Specific Languages. ICCES'08. International Conference on Computer Engineering & Systems, Cairo, Egypt, 25-27 November.

Alexey Vinel, Dirk Staehle, Rastin Pries (2007). Random Multiple Access in WiMAX : Problems and Solutions. 1st Workshop on WiMAX Wireless and Mobility (WEIRD) in conjunction with the WWIC 2007 Conference, Coimbra, Portugal, May 22-25.

Alexey Vinel, Dirk Staehle, Rastin Pries, Qiang Ni (2007). Performance Analysis of the Polling Scheme in IEEE 802.16. Distributed Computer and Communication Networks (DCCN-2007), Theory and Applications, Moscow, Russia, September 10-12.

Anders Åhlander, H. Hellsten, K. Lind, J. Lindgren, Bertil Svensson (2007). Architectural challenges in memory-intensive, real-time image forming. International Conference on Parallel Processing, 2007. ICPP 2007.

Andrey Turlikov, Alexey Vinel (2007). Capacity Estimation of Centralized Reservation-Based Random Multiple-Access System. XI International Symposium on Problems of Redundancy in Information and Control Systems, Saint Petersburg, Russia, 2-6 July.

Björn Nilsson, Lars Bengtsson, Bertil Svensson, Per-Arne Wiberg (2007). Protocols for active RFID - the energy consumption aspect. 2007 International Symposium on Industrial Embedded Systems, 2007. Hotel Costa da Caparica, Lisbon, Portugal, 4 - 6 July 2007.

D. Statovci, Tomas Nordström, R. Nilsson (2007). Dynamic Spectrum Management for Standardized VDSL. 32st International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2007), Honolulu, Hawaii (USA), April 15-20, 2007.

D. Statovci, Tomas Nordström, R. Nilsson (2007). Spectrum Balancing for DSL with Restrictions on Maximum Transmit PSD. The Second International Conference on Access Networks (Accessnet2007), Ottawa, Ontario, Canada, August 22-24, 2007..

Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan (2007). Operational and epistemic approaches to protocol analysis : bridging the gap. The 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007) 15-19 October 2007, Yerevan, Armenia.

H. Hojjat, M. Sirjani, Mohammad Reza Mousavi, J. F. Groote (2007). Sarir : a Rebeca to mCRL2 translator. The 7th International Conference on Application of Concurrency to System Design (ACSD ’07) 10-13 July 2007, Bratislava, Slovak Republic.

Hoai Hoang, Giorgio Buttazzo, Magnus Jonsson (2007). Reducing delay and jitter in software control systems. Real-Time in Sweden (RTiS), August 21st - 22nd, 2007, MRTC/PROGRESS research centre at Mälardalen University, Västerås, Sweden.

Jawad Masood (2007). Portable mechatronic system for demining applications: control unit design and development. “HUMANITARIAN DEMINING 2007” International Symposium 24 – 27 April 2007, Šibenik, Croatia.

Jeremy Siek, Walid Taha (2007). Gradual Typing for Functional Languages. 21st European Conference on Object-Oriented Programming, ECOOP 2007, Berlin, Germany, 30 July-3 August.

Jeremy Siek, Walid Taha (2007). Gradual typing for objects. 21st European Conference on Object-Oriented Programming (ECOOP 2007), Tech Univ Berlin, Berlin, GERMANY, JUL 30-AUG 03, 2007.

Jerker Bengtsson, Veronica Gaspes, Bertil Svensson (2007). Machine Assisted Code Generation for Manycore Processors. 9th biennial SNART Conference on Real-Time Systems (Real-Time in Sweden - RTiS'07) August 21-22, Västerås, Sweden.

Katrin Bilstrup, Annette Böhm, Kristoffer Lidström, Magnus Jonsson, Tony Larsson, Lars Strandén, Hossein Zakizadeh (2007). Vehicle Alert System. 14th world congress on intelligent transport system (ITS),Beijing, China, 9-13 October, 2007.

Kristina Kunert, Mattias Weckstén, Magnus Jonsson (2007). Algorithm for the choice of topology in reconfigurable on-chip networks with real-time support. Nanonet07 Second International Conference on Nano-NetworksCatania, Italy, September 24 - 26, 2007.

Kristoffer Lidström, Tony Larsson (2007). Cooperative Communication Disturbance Detection in Vehicle Safety Systems. IEEE Intelligent Transportation Systems Conference, 2007. ITSC 2007.

Kristoffer Lidström, Tony Larsson, Lars Strandén (2007). Safety Considerations for Cooperating Vehicles using Wireless Communication. INDIN 2007, The 5th IEEE International Conference on Industrial Informatics, July 23 - 27, 2007, Vienna, Austria.

Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi (2007). Impossibility results for the equational theory of timed CCS. 2nd International Conference on Algebra and Coalgebra in Computer Science, Bergen, NORWAY, AUG 20-24, 2007.

M. Jakovljevic, D. Statovci, Tomas Nordström, R. Nilsson, S. Zazo (2007). VDSL Power Back-Off Parameter Optimization for a Cable Bundle. 15th European Signal Processing Conference (EUSIPCO 2007), Poznan, Polen, Sep. 3-7, 2007.

Mattias Weckstén, Magnus Jonsson, Jonas Vasell (2007). Derivation of implementation constraints – implementation simulation and treatment of multiple design choices. 9th biennial SNART Conference on Real-Time Systems (Real-Time in Sweden – RTiS’07), Västerås, Sweden, Aug. 21-22.

Mohammad Reza Mousavi, M. A. Reniers (2007). On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference. The 3rd Workshop on Structural Operational Semantics (SOS 2006) 26 August 2006, Bonn, Germany.

Mohammad Reza Mousavi, M. A. Reniers (2007). A Congruence Rule Format with Universal Quantification. The 4th Workshop on Structural Operational Semantics (SOS 2007), 9 July 2007, Wroclaw, Poland.

Peter Lerchbaumer, Alejandro Ochoa, Elisabeth Uhlemann (2007). Test environment design for wireless vehicle communications. IEEE Vehicular Technology Conference, VTC 2007-Fall, Sept. 30 2007-Oct. 3 2007, Baltimore, MD, USA.

Roumen Kaiabachev, Walid Taha, Angela Zhu (2007). E-FRP with Priorities. ESWEEK - Embedded Systems Week; EMSOFT’07, September 30–October 3, 2007, Salzburg, Austria.

Sergey Andreev, Alexey Vinel (2007). Gilbert-Elliot Model Parameters Derivation for the IEEE 802.11 Wireless Channel. International Workshop on Distributed Computer and Communication Networks (DCCN), Moscow, Russia, September 10-12.

Sergey Andreev, Andrey Turlikov, Alexey Vinel (2007). Performance analysis of a high-speed ultra-wideband WPAN MAC. Analytical and Stochastic Modeling Techniques and Applications (ASMTA) '07, Prague, Czech Republic, 4-6 June.

Sergey Andreev, Alexey Vinel (2007). Performance analysis and enhancement of an ultra-wideband WPAN MAC in the presence of noise. XI International Symposium on Problems of Redundancy in Information and Control Systems, 2-6 July, St. Petersburg, Russian Federation.

Seth Fogarty, Emir Pasalic, Jeremy Siek, Walid Taha (2007). Concoqtion : Indexed Types Now!. PEPM'07. 2007 ACM SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, Nice, France, January 15-16.

Stephan Ellner, Walid Taha (2007). The Semantics of Graphical Languages. PEPM'07. 2007 ACM SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, Nice, France, January 15-16.

Tony Larsson (2007). Surveillance of mobile objects using coordinated wireless sensor nodes. 12th IEEE International Conference on Emerging Technologies and Factory Automation, SEP 25-28, 2007 Univ Patras, Patras, GREECE.

Urban Bilstrup, Katrin Bilstrup, Bertil Svensson, Per-Arne Wiberg (2007). The use of clustered wireless multihop networks in industrial settings. 12th IEEE International Conference on Emerging Technologies and Factory Automation Location: Univ Patras, Patras, GREECE, SEP 25-28, 2007.

Zain Ul-Abdin, Bertil Svensson (2007). A Study of Design Efficiency with a High-Level Language for FPGAs. 21st International Parallel and Distributed Processing Symposium, IPDPS 2007, Long Beach, CA, 26 - 30 March, 2007.

A. H. Ghamarian, M. C. W. Geilen, S. Stuijk, T. Basten, A. J. M. Moonen, M. J. G. Bekooij, B. D. Theelen, Mohammad Reza Mousavi (2006). Throughput analysis of synchronous data flow graphs. The 6th International Conference on Application of Concurrency to System Design (ACSD 2006), Turku, Finland, 28-30 June.

Alexey Vinel, Ying Zhang, Qiang Ni, Andrey Lyakhov (2006). Efficient Request Mechanism Usage in IEEE 802.16. IEEE Global Telecommunications Conference (GLOBECOM 06),San Francisco, CA, NOV 27-DEC 01, 2006.

Bin Wang, Magnus Jonsson, Xing Fan (2006). Analysis of Efficient TDMA Schedules via the Fat-Tree Network with Real-Time Many-to-Many Communication. 24th IASTED International Multi-Conference on Applied Informatics, February 14-16, 2006, Innsbruck, Austria.

Björn Nilsson, Lars Bengtsson, Urban Bilstrup, Per-Arne Wiberg, Bertil Svensson (2006). Towards an Energy Efficient Protocol for Active RFID. Industrial Embedded Systems, IES '2006, October 18-20, 2006 Antibes Juan-Les-Pins, France.

Carl Bergenhem, Magnus Jonsson (2006). A pipelined fiber-ribbon ring network with heterogeneous real-time support. ARTES - A network for Real-Time research and graduate Education in Sweden 1997-2006.

D. Statovci, Tomas Nordström, R. Nilsson, Vladimir Oksman (2006). Revised Upstream Power back-off for VDSL. 31st International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2006), Toulouse, France, May 14-19, 2006.

Hoai Hoang, Giorgio Buttazzo, Magnus Jonsson, Stefan Karlsson (2006). Computing the minimum EDF feasible deadline in periodic systems. 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 16-18 August 2006, Sydney, Australia.

Jeremy Siek, Walid Taha (2006). A Semantic Analysis of C++ Templates. 20th European Conference on Object-Oriented Programming (ECOOP 2006), Nantes, FRANCE, APR 03-JUL 07, 2006.

Jerker Bengtsson, Bertil Svensson (2006). A configurable framework for stream programming exploration in baseband applications. 20th International Parallel and Distributed Processing Symposium, IPDPS 2006, Rhodes Island, Greece : 25-29 April, 2006.

Kedar Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic (2006). A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions. PEPM'06. International Symposium on Partial Evaluation and Semantics Based Program Manipulation, Charleston, South Carolina, USA, January 9–10.

Lars K. Rasmussen, Elisabeth Uhlemann, Fredrik Brännström (2006). Concatenated systems and cross-layer design. 7th Australian Communications Theory Workshop, 1-3 February 2006, The University of Western Australia, Perth, Australia.

Mohammad Reza Mousavi, M. A. Reniers (2006). Prototyping SOS meta-theory in Maude. 2nd Workshop on Structural Operational Semantics (SOS 2005), Lisbon, Portugal, July 10, 2005; satellite to ICALP200.

Urban Bilstrup, Katrin Bilstrup, Bertil Svensson, Per-Arne Wiberg (2006). Using Dual-Radio Nodes to Enable Quality of Service in a Clustered Wireless Mesh Network. 11th IEEE International Conference on Emerging Technologies and Factory Automation : September 20-22, 2006 Diplomat Hotel, Prague, Czech Republic.

Vladimir Kobliakov, Andrey Turlikov, Alexey Vinel (2006). Distributed Queue Random Multiple Access Algorithm for Centralized Data Networks. 10th IEEE International Symposium on Consumer Electronics (ISCE 2006), St Petersburg, RUSSIA, JUN 28-JUL 01, 2006.

Alexey Vinel, Yin Zhang, Matthias Lott, Andrey Turlikov (2005). Performance Analysis of the Random Access in IEEE 802.16. IEEE 2005, 16th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2005, 11 - 14 September, 2005, Berlin, Germany.

Anders Åhlander, Anders Åström, Bertil Svensson, Mikael Taveniku (2005). Meeting Engineer Efficiency Requirements in Highly Parallel Signal Processing by Using Platforms. International Conference on Parallel and Distributed Computing Systems, PDCS 2005, November 14-16, 2005, Phoenix, AZ, USA.

Anette Böhm, Magnus Jonsson, Kristina Kunert, Hoai Hoang (2005). A Fibre-Optic AWG-Based Real-Time Network and Its Applicability to High-Performance Embedded Computing. 19th IEEE International Conference on Parallel and Distributed Processing Symposium (IPDPS'05), Denver, CO, USA, April 4-5, 2005.

Annette Böhm, Magnus Jonsson, Kristina Kunert (2005). AWG-based Optoelectronic Router with QoS Support. Second IFIP International Conference on Wireless and Optical Communications Networks (WOCN'2005), Dubai, United Arab Emirates, 6-8 March, 2005.

D. Lingrand, Wagner Ourique de Morais, J. Y. Tigli (2005). Ordinateur porté : dispositifs d’entrée sortie. 17th International Conference on Francophone sur l'Interaction Homme-Machine, IHM 2005, Toulouse, 27-30 September, 2005.

Dennis Johnsson, Anders Åhlander, Bertil Svensson (2005). Analyzing the Advantages of Run-Time Reconfiguration in Radar Signal Processing. 17th IASTED International Conference on Parallel and Distributed Computing Systems, PDCS 2005, November 14-16, 2005, Phoenix, AZ, USA.

Elisabeth Uhlemann, Lars K. Rasmussen (2005). Incremental redundancy deadline dependent coding for efficient wireless real-time communications. 10th IEEE Conference on Emerging Technologies and Factory Automation (ETFA), Catania, Italy, September 19-22, 2005.

Elisabeth Uhlemann, Lars K. Rasmussen (2005). Analytical approach for maximizing the average code rate of incremental redundancy schemes. Asia-Pacific Conference on Communications, Perth, Western Australia, 3-5 October 2005.

Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar Swadi, Walid Taha (2005). Implicitly Heterogeneous Multi-Stage Programming. 4th International Conference on Generative Programming and Component Engineering (GPCE), Utrecht Univ, Tallinn, ESTONIA, SEP 29-OCT 01, 2005.

Kristina Kunert, Magnus Jonsson, Annette Böhm (2005). AWG-based optoelectronic router supporting both guaranteed and best-effort QoS traffic. Swedish National Computer Networking Workshop (SNCNW’05), Halmstad, Sweden, Nov. 23-24, 2005.

Matthias Lott, Alexey Vinel, Yin Zhang (2005). Propagation Modeling for Systems Beyond 3G. International Wireless Summit 2005, Aalborg, Denmark, 17-22 September.

Mattias Weckstén, Magnus Jonsson, J. Vasell (2005). Derivation of implementation constraints - implementation simulation and treatment of multiple design choices. 10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005, 16-20 June 2005, Shanghai, China.

Mohammad Reza Mousavi, Michel A. Reniers (2005). Orthogonal extensions in structural operational semantics. 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005), Lisbon, PORTUGAL, JUL 11-15, 2005.

Sacki Agelis, Magnus Jonsson (2005). Reconfigurable optical interconnection system supporting concurrent application-specific parallel computing. 17th Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2005, 24-27 October, 2005, Rio de Janeiro, Brazil.

Tony Larsson, Mikael Taveniku, Christian Wigren, Per-Arne Wiberg, Bertil Svensson (2005). T4 - Telematics for Totally Transparent Transports. 2005 IEEE Intelligent Transportation Systems Conference (ITSC) Vienna, Austria, 13-16 September 2005.

Xing Fan, Magnus Jonsson (2005). Guaranteed real-time services over standard switched Ethernet. 30th Annual IEEE Conference on Local Computer Networks (LCN'2005), Sydney, Australia, Nov. 15-17, 2005.

Xing Fan, Magnus Jonsson (2005). Admission control for switched real-time Ethernet : scheduling analysis versus network calculus. Swedish National Computer Networking Workshop (SNCNW’05), Halmstad, Sweden, Nov. 23-24, 2005.

Y. Yang, Tony Larsson (2005). Distributed Access Framework for Embedded Device Community. IASTED International Conference on Parallel and Distributed Computing and Networks.

Zain Ul-Abdin, Bertil Svensson (2005). Compiling Stream-Language Applications to a Reconfigurable Array Processor. 2005 International Conference on Engineering of Reconfigurable Systems and Algorithms, Las Vegas, Nevada, USA, June 27-30, 2005.

Annette Böhm, Magnus Jonsson, Kristina Kunert (2004). A fibre-optic AWG-based real-time network for high-performance embedded computing. 2nd Swedish National Computer Networking Workshop (SNCNW), Karlstad University, 23-24 November, 2004.

Cristiano Calcagno, Eugenio Moggi, Walid Taha (2004). ML-like Inference for Classifiers. ESOP'04. European Symposium on Programming.

Dennis Johnsson, Jerker Bengtsson, Bertil Svensson (2004). Two-level Reconfigurable Architecture for High-Performance Signal Processing. International Conference on Engineering of Reconfigurable Systems and Algorithms, ERSA’04, Las Vegas, Nevada, June 2004.

Hoai Hoang, Stefan Karlsson, Magnus Jonsson (2004). Minimum EDF-feasible deadline calculation with low-time complexity. RTSS 2004 WIP Proceedings, The 25th IEEE International Real-Time Systems Symposium, Lisbon, Portugal, Dec. 5-8, 2004.

Krzysztof Czarnecki, John T. O’Donnell, Jörg Striegnitz, Walid Taha (2004). DSL Implementation in MetaOCaml, Template Haskell, and C++. International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003.

Mattias Wecksten, Jonas Vasell, Magnus Jonsson (2004). Towards a tool for derivation of implementation constraints. Ninth IEEE International Conference on Engineering Complex Computer Systems, 2004. Proceedings.

Oleg Kiselyov, Walid Taha (2004). Relating FFTW and Split-Radix. ICESS'04 International Conference on Embedded Software and Systems.

Oleg Kiselyov, Kedar N. Swadi, Walid Taha (2004). A Methodology for Generating Verified Combinatorial Circuits. EMSOFT'04. International Conference on Embedded Software and Systems..

Sacki Agelis, Magnus Jonsson (2004). Visualizing the Potential of Reconfigurable Shuffle-Patterns in Optoelectronic Routers by the Use of MOEMS. International Conference on Communications Systems and Networks (CSN'2004), Marbella, Spain, Sept. 1-3, 2004.

Sacki Agelis, Magnus Jonsson (2004). Optoelectronic router with MOEMS–based reconfigurable shuffle network. Proc. Swedish National Computer Networking Workshop (SNCNW’04), Karlstad, Sweden, Nov. 23-24, 2004.

Sacki Agelis, Magnus Jonsson (2004). System-Level Runtime Reconfigurablity - Optical Interconnection Networks for Switching Applications. International Conference on Engineering of Reconfigurable Systems and Algorithms, ERSA '04, Las Vegas, Nevada, USA, June 21 - 24, 2004.

Walid Taha (2004). Resource-Aware Programming - Invited paper. First International Conference on Embedded Software and Systems, ICESS 2004, Hangzhou, 9-10 December, 2004.

Walid Taha, Scott Crosby, Kedar Swadi Kedar Swadi (2004). A New Approach to Data Mining for Software Design. CSITeA'04. International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications.

Xing Fan, Magnus Jonsson, Hoai Hoang (2004). Efficient many-to-many real-time communication using an intelligent Ethernet switch. 7th International Symposium on Parallel Architectures, Algorithms and Networks, Hong Kong, China, 10-12 May 2004.

Xing Fan, Magnus Jonsson (2004). Efficient Support for High Traffic-Volumes of Short-Message Real-Time Communication Using an Active Ethernet Switch. International Conference on Real-time and Embedded Computing Systems and Applications (RTCSA’04), Göteborg, Sweden, Aug. 25-27.

Xing Fan, Magnus Jonsson (2004). Guaranteed real-time services in switched Ethernet networks with deadline scheduling in the end nodes. 2nd Swedish National Computer Networking Workshop (SNCNW), Karlstad University, 23-24 November, 2004.

Carl Bergenhem, Magnus Jonsson (2003). A Pipelined Ring Network - Heterogeneous Real-time in Radar Signal Processing. The 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), February 10-13, 2003, Innsbruck, Austria, Feb. 10-13, 2003.

Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy (2003). Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection. GPCE'03 International Conference on Generative Programming and Component Engineering..

Elisabeth Uhlemann, Lars K. Rasmussen, Alex J. Grant, Per-Arne Wiberg (2003). Optimal Incremental-redundancy strategy for type-II hybrid ARQ. IEEE International Symposium on Information Theory, Pacifico Yokohama, Yokohama, Japan, June 29-July 4, 2003.

Elisabeth Uhlemann, Tor M. Aulin, Lars K. Rasmussen, Per-Arne Wiberg (2003). Packet combining and doping in concatenated hybrid ARQ schemes using iterative decoding. The IEEE Wireless Communications and Networking Coneference, 20-20 March, New Orleans, LA, USA.

Hoai Hoang, Magnus Jonsson (2003). Switched Real-Time Ethernet in Industrial Applications - Asymmetric Deadline Partitioning Scheme. Proc. of the 2nd International Workshop on Real-Time LANs in the Internet Age (RTLIA'2003) in conjunction with the 15th Euromicro Conference on Real-Time Systems, Porto, Portugal, July 1, 2003.

Hoai Hoang, Magnus Jonsson (2003). Switched real-time Ethernet in industrial applications - deadline partitioning. APCC2003 : the Ninth Asia-Pacific Conference on Communications : in conjunction with 6th Malaysia International Conference on Communications (MICC03) : 21-24 September, 2003, City Bayview Hotel, Penang, Malaysia.

Håkan Forsberg, Magnus Jonsson, Bertil Svensson (2003). Key Issues in Implementing an Optoelectronic Planar Free-space Architecture for Signal Processing Applications. 21st IASTED International Multi-Conference on Applied Informatics, Innsbruck, 10-13 February 2003.

Niklas Mors, Anders Pettersson, Magnus Jonsson (2003). A Ethernet based Metropolitan Area Open Access Architecture. 21st IASTED International Multi-Conference on Applied Informatics, Innsbruck, February 10-13, 2003.

Urban Bilstrup, Bertil Svensson, Per-Arne Wiberg (2003). Knowledge Horizon - Dynamic limitations in a wireless ad hoc network. 1st Swedish National Computer Networking Workshop, SNCNW 2003, Stockholm, Sweden, 8-10 September 2003.

Urban Bilstrup, Katrin Sjöberg, Bertil Svensson, Per-Arne Wiberg (2003). Capacity limitations in wireless sensor networks. IEEE Conference on Emerging Technologies and Factory Automation, September 16-19, 2003, Lisbon, Portugal.

Walid Taha, Patricia Johann (2003). Staged Notational Definitions. GPCE'03 International Conference on Generative Programming and Component Engineering..

Walid Taha, Michael Florentin Nielsen (2003). Environment Classifiers. POPL'03. International Conference on Principles of Programming Languages.

Walid Taha, Stephan Ellner, Hongwei Xi (2003). Generating Heap-bounded Programs in a Functional Setting. EMSOFT'03. International Conference on Embedded Software and Systems..

Carl Bergenhem, Magnus Jonsson (2002). Fibre-ribbon ring network with inherent support for earliest deadline first message scheduling. International Parallel and Distributed Processing Symposium : April 15-19, 2002, Ft. Lauderdale, Florida, USA.

Elisabeth Uhlemann, T.M. Aulin, L.K. Rasmussen, Per-Arne Wiberg (2002). Concatenated hybrid ARQ - a flexible scheme for wireless real-time communication. Eighth Real-Time and Embedded Technology and Applications Symposium, September 25-27, 2002, San Jose, California.

Emir Pasalic, Walid Taha, Tim Sheard (2002). Tagless Staged Interpreters for Typed Languages. ICFP'02. International Conference on Functional Programming.

Hoai Hoang, Magnus Jonsson, Ulrik Hagström, Anders Kallerdahl (2002). Switched real-time Ethernet with earliest deadline first scheduling - protocols and traffic handling. International Parallel and Distributed Processing Symposium, April 15-19, 2002, Ft. Lauderdale, Florida, USA.

Hoai Hoang, Magnus Jonsson, Anders Larsson, Richard Olsson, Carl Bergenhem (2002). Deadline first scheduling in switched real-time Ethernet - deadline partitioning issues and software implementation experiments. 1st International Workshop on Real-Time LANs in the Internet Age (RTLIA’02) in conjunction with the 14th Euromicro Conference on Real-Time Systems, June 18, 2002, Vienna, Austria.

Karol Ostrovsky, K. V. S. Prasad, Walid Taha (2002). Towards a Primitive Higher Order Calculus of Broadcasting Systems. PPDP'02. Symposium on Symposium on Principles and Practice of Declarative Programming.

Sacki Agelis, Sofia Jacobsson, Magnus Jonsson, Arne Alping, Per Ligander (2002). Modular interconnection system for optical PCB and backplane communication. the 16th International Parallel and Distributed Processing Symposium, April 15-19, 2002, Ft. Lauderdale, Florida, USA.

Zhanyong Wan, Walid Taha, Paul Hudak (2002). Event-Driven FRP. PADL'02. International Symposium on Practical Aspects of Declarative Languages.

Carl Bergenhem, Magnus Jonsson, Jörgen Olsson (2001). Fibre-ribbon pipeline ring network with distributed global deadline scheduling and deterministic user services. International Conference on Parallel Processing Workshops, 3-7 September, 2001, Valencia, Spain.

Håkan Forsberg, Bertil Svensson, Anders Åhlander, Magnus Jonsson (2001). Radar signal processing using pipelined optical hypercube interconnects. Proceedings of the 15th International Parallel and Distributed Processing Symposium : IPDPS 2001 : abstracts and CD-ROM.

Magnus Jonsson, Carl Bergenhem (2001). A class of Fiber-Ribbon Pipeline Ring networks for parallel and distributed computing systems. International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2001), Las Vegas, NV, June 25-28, 2001.

Magnus Jonsson (2001). Optical Interconnection Technology in Switches, Routers and Optical Cross Connects. Workshop on Optical Networks (WON'01) in conjunction with 2001 International Conference on Parallel Processing (ICPP'01), Valencia, Spain, Sept. 3-7, 2001.

Steven Ganz, Amr Sabry, Walid Taha (2001). Macros as Multi-Stage Computations : Type-Safe, Generative, Binding Macros in MacroML. ICFP'01. International Conference on Functional Programming.

Walid Taha, Henning Makholm, John Hughes (2001). Tag Elimination and Jones-Optimality. PADO-II. Second Symposium on Programs as Data Objects.

Walid Taha, Paul Hudak, Zhanyong Wan (2001). Directions in Functional Programming for Real(-Time) Applications. First international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001.

Zhanyong Wan, Walid Taha, Paul Hudak (2001). Real-Time FRP. ICFP'01. International Conference on Functional Programming.

Alejandro Garcia, Lisbeth Johansson, Magnus Jonsson, Mattias Weckstén (2000). Guaranteed periodic real-time communication over wormhole switched networks. 13th International Conference on Parallel and Distributed Computing Systems (PDCS-00), Las Vegas, NV, USA, Aug. 8-10, 2000.

Christiano Calcagno, Eugenio Moggi, Walid Taha (2000). Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming. ICALP'00. International Colloquium on Automata, Languages, and Programming.

Elisabeth Uhlemann, Per-Arne Wiberg, Tor M. Aulin, Lars R. Rasmussen (2000). Deadline dependent coding-a framework for wireless real-time communication. Seventh International Conference on Real-Time Computing Systems and Applications, 12-14 Dec., Cheju Island, South Korea, 2000.

Håkan Forsberg, Magnus Jonsson, Bertil Svensson (2000). A scalable and pipelined embedded signal processing system using optical hypercube interconnects. 12th International Conference on Parallel and Distributed Computing and Systems (PDCS 2000), Las Vegas, NV, USA, Nov. 6-9, 2000.

Walid Taha (2000). A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. : Or, the Theory of MetaML is Non-trivial. PEPM'00. International Symposium on Partial Evaluation and Semantics Based Program Manipulation..

Walid Taha, Henning Makholm (2000). Tag Elimination - or - Type Specialisation is a Type-Indexed Effect. DTP'00. APPSEM Workshop on Subtyping & Dependent Types in Programming.

Henrik Bengtsson, Elisabeth Uhlemann, Per-Arne Wiberg (1999). Protocol for wireless real-time systems. 11th Euromicro Conference on Real-Time Systems (EUROMICRO-RTS 99), June 9-11, 1999 Univ York, York, England.

Zine El-Abidine Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard (1999). Logical Modalities and Multi-Stage Programming. IMLA'99. Intuitionistic Modal Logics and Applications Workshop.

Magnus Jonsson (1998). Control-channel based fiber-ribbon pipeline ring network. Fifth International Conference on Massively Parallel Processing : proceedings : June 15-18, 1998, Las Vegas, Nevada.

Mikael Taveniku, Anders Åhlander, Magnus Jonsson, Bertil Svensson (1998). The VEGA moderately parallel MIMD, moderately parallel SIMD, architecture for high performance array signal processing. first merged International Parallel Processing Symposium & Symposium on Parallel and Distributed Processing, March 30 - April 3, 1998 Orlando, Florida.

Walid Taha, Jim Hook (1998). The Anatomy of a Component Generator. PSE'98. International Workshop on Principles of Software Evolution.

Walid Taha, Zine El-Abidine Benaissa, Sheard Tim (1998). Multi-Stage Programming : Axiomatization and Type-Safety. ICALP'98. International Colloquium on Automata, Languages, and Programming.

Magnus Jonsson, Per-Arne Wiberg, Nicholas Wickström (1997). Vision-based low-level navigation using a feed-forward neural network. Proc. International Workshop on Mechatronical Computer Systems for Perception and Action (MCPA'97), Pisa, Italy, Feb. 10-12.

Magnus Jonsson, Klas Börjesson, Magnus Legardt (1997). Dynamic time-deterministic traffic in a fiber-optic WDM star network. Ninth Euromicro Workshop on Real Time Systems, June 11-13, 1997, Toledo, Spain.

Magnus Jonsson, Bertil Svensson (1997). On inter-cluster communication in a time-deterministic WDM star network. Proc. 2nd Workshop on Optics and Computer Science (WOCS), Geneva, Switzerland, Apr. 1, 1997.

Magnus Jonsson, Bertil Svensson, Mikael Taveniku, Anders Åhlander (1997). Fiber-ribbon pipeline ring network for high-performance distributed computing systems. Proceedings of the Third International Symposium on Parallel Architectures, Algorithms, and Networks, 1997. (I-SPAN '97).

Walid Taha, Tim Sheard (1997). Multi-Stage Programming with Explicit Annotations. PEPM'97. International Symposium on Partial Evaluation and Semantics Based Program Manipulation..

Anders Åhlander, Mikael Taveniku, Bertil Svensson (1996). A multiple SIMD approach to radar signal processing. 1996 IEEE Region 10 Conference on Digital Signal Processing Applications (TENCON'96), Perth, Western Australia, 26-29 November 1996.

Magnus Jonsson, Anders Åhlander, Mikael Taveniku, Bertil Svensson (1996). Time-deterministic WDM star network for massively parallel computing in radar systems. Third International Conference on Massively Parallel Processing Using Optical Interconnections, October 27-29, 1996, Maui, Hawaii.

Mikael Taveniku, Anders Åhlander, Magnus Jonsson, Bertil Svensson (1996). A multiple SIMD mesh architecture for multi-channel radar processing. Proceedings of: ICSPAT'96, international conference on signal processing applications & technology, Boston MA, USA, October 7-10 : Research report CCA (9602).

Magnus Jonsson, Kenneth Nilsson, Bertil Svensson (1995). A fiber-optic interconnection concept for scaleable massively parallel computing. Proceedings of the Second International Conference on Massively Parallel Processing Using Optical Interconnections : October 23 - 24, 1995, San Antonio, Texas.

Kenneth Nilsson, Bertil Svensson, Per-Arne Wiberg (1992). A modular, massively-parallel computer architecture for trainable real-time control-systems. IFAC Workshop on Algorithms and Architectures for Real-Time Control, SEOUL, SOUTH KOREA, AUG 31-SEP 02, 1992.

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