Search results for "SEUs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
72	Michael Nicolaidis, Renaud Perez, Dan Alexandrescu	Low-Cost Highly-Robust Hardened Cells Using Blocking Feedback Transistors.	VTS	2008	DBLP DOI BibTeX RDF	radiation hardened cells, soft errors, SEUs
71	Luca Sterpone, Matteo Sonza Reorda, Massimo Violante, Fernanda Lima Kastensmidt, Luigi Carro	Evaluating Different Solutions to Design Fault Tolerant Systems with SRAM-based FPGAs.	J. Electron. Test.	2007	DBLP DOI BibTeX RDF	reliability, fault tolerant systems, SEU, SRAM-based FPGA
71	Luca Sterpone, Massimo Violante	A New Reliability-Oriented Place and Route Algorithm for SRAM-Based FPGAs.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	transient fault injection, FPGA, reliability, place and route
57	David de Andrés, José Albaladejo, Lenin Lemus, Pedro J. Gil	Fast Run-Time Reconfiguration for SEU Injection.	EDCC	2005	DBLP DOI BibTeX RDF
57	Ghazanfar Asadi, Seyed Ghassem Miremadi, Hamid R. Zarandi, Ali Reza Ejlali	Evaluation of Fault-Tolerant Designs Implemented on SRAM-Based FPGAs.	PRDC	2004	DBLP DOI BibTeX RDF
57	Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante	Accurate Analysis of Single Event Upsets in a Pipelined Microprocessor.	J. Electron. Test.	2003	DBLP DOI BibTeX RDF	fault injection, single event upsets, dependability evaluation
53	Mahdi Fazeli, Seyed Ghassem Miremadi	A Power Efficient Masking Technique for Design of Robust Embedded Systems against SEUs and SET.	DFT	2008	DBLP DOI BibTeX RDF
48	João Gabriel Saraceni Lima da Silva, Fernando Meirelles	O uso de bases de dados públicos por empresas em seus sistemas de Business Intelligence e seus benefícios para o negócio.	CONF-IRM	2017	DBLP BibTeX RDF
44	Sang Lyul Min, Robert G. Pettit IV, Peter P. Puschner, Theo Ungerer (eds.)	Software Technologies for Embedded and Ubiquitous Systems - 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings	SEUS	2010	DBLP DOI BibTeX RDF
44	Charbel El Kaed, Yves Denneulin, François-Gaël Ottogalli, Luis Felipe Melo Mora	Combining Ontology Alignment with Model Driven Engineering Techniques for Home Devices Interoperability.	SEUS	2010	DBLP DOI BibTeX RDF
44	Christo Angelov, Feng Zhou, Krzysztof Sierszecki	Specification of Embedded Control Systems Behaviour Using Actor Interface Automata.	SEUS	2010	DBLP DOI BibTeX RDF
44	Kai Beckmann, Marcus Thoss	A Model-Driven Software Development Approach Using OMG DDS for Wireless Sensor Networks.	SEUS	2010	DBLP DOI BibTeX RDF
44	Shuichi Oikawa, Jin Kawasaki	Simultaneous Logging and Replay for Recording Evidences of System Failures.	SEUS	2010	DBLP DOI BibTeX RDF
44	Martin Schoeberl, Christopher X. Brooks, Edward A. Lee	Code Generation for Embedded Java with Ptolemy.	SEUS	2010	DBLP DOI BibTeX RDF
44	Luís Almeida 0001, Ricardo Marau, Karthik Lakshmanan, Raj Rajkumar	On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems.	SEUS	2010	DBLP DOI BibTeX RDF
44	José Rufino, João Craveiro, Paulo Veríssimo	Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics.	SEUS	2010	DBLP DOI BibTeX RDF
44	Michael Bauer, Mathias Pacher, Uwe Brinkschulte	Chip-Size Evaluation of a Multithreaded Processor Enhanced with a PID Controller.	SEUS	2010	DBLP DOI BibTeX RDF
44	Bert Böddeker, Rafael Zalman	AUTOSAR Appropriates Functional Safety and Multi-core Exploitation.	SEUS	2010	DBLP DOI BibTeX RDF
44	Andreas Baumgart, Philipp Reinkemeier, Achim Rettberg, Ingo Stierand, Eike Thaden, Raphael Weber	A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems.	SEUS	2010	DBLP DOI BibTeX RDF
44	Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat	OTAWA: An Open Toolbox for Adaptive WCET Analysis.	SEUS	2010	DBLP DOI BibTeX RDF
44	Sungup Moon, Sang-Phil Lim, Dong-Joo Park, Sang-Won Lee 0001	Crash Recovery in FAST FTL.	SEUS	2010	DBLP DOI BibTeX RDF
44	Shin Nakajima 0001, Masaki Ishiguro, Kazuyuki Tanaka	Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems.	SEUS	2010	DBLP DOI BibTeX RDF
44	Ting-Shuo Chou, Yu Chi Huang, Yung Chun Wang, Wai-Chi Chen, Chi-Sheng Shih 0001, Jane W.-S. Liu	EMWF: A Middleware for Flexible Automation and Assistive Devices.	SEUS	2010	DBLP DOI BibTeX RDF
44	Sang Hoon Lee, Yunmook Nah, Lynn Choi	Reactive Clock Synchronization for Wireless Sensor Networks with Asynchronous Wakeup Scheduling.	SEUS	2010	DBLP DOI BibTeX RDF
44	Christian Esposito 0001, Domenico Cotroneo, Stefano Russo 0001	An Investigation on Flexible Communications in Publish/Subscribe Services.	SEUS	2010	DBLP DOI BibTeX RDF
44	Susanne Kandl, Raimund Kirner	Error Detection Rate of MC/DC for a Case Study from the Automotive Domain.	SEUS	2010	DBLP DOI BibTeX RDF
44	Tatsuo Nakajima, Yuki Kinebuchi, Alexandre Courbot, Hiromasa Shimada, Tsung-Han Lin, Hitoshi Mitake	Composition Kernel: A Multi-core Processor Virtualization Layer for Rich Functional Smart Products.	SEUS	2010	DBLP DOI BibTeX RDF
44	Raimund Kirner, Peter P. Puschner	Time-Predictable Computing.	SEUS	2010	DBLP DOI BibTeX RDF
44	Reinhard Wilhelm, Matteo Maffei	Ubiquitous Verification of Ubiquitous Systems.	SEUS	2010	DBLP DOI BibTeX RDF
44	Robert Diemer, Samarjit Chakraborty	Mobile Phone Assisted Cooperative On-Node Processing for Physical Activity Monitoring.	SEUS	2010	DBLP DOI BibTeX RDF
44	Ichiro Satoh	Mobile Agents for Digital Signage.	SEUS	2010	DBLP DOI BibTeX RDF
44	Hermann Kopetz	Component-Based Design of Embedded Systems.	SEUS	2010	DBLP DOI BibTeX RDF
44	Sunggu Lee, Priya Narasimhan (eds.)	Software Technologies for Embedded and Ubiquitous Systems, 7th IFIP WG 10.2 International Workshop, SEUS 2009, Newport Beach, CA, USA, November 16-18, 2009, Proceedings	SEUS	2009	DBLP DOI BibTeX RDF
44	Georgiana Macariu, Vladimir Cretu	Model-Based Analysis of Contract-Based Real-Time Scheduling.	SEUS	2009	DBLP DOI BibTeX RDF
44	Hyun-Wook Jin, Junbeom Yoo	Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems.	SEUS	2009	DBLP DOI BibTeX RDF	Network Protocol Stacks, Network Gateway, Formal Verification, Protocol Verification, Embedded Operating Systems, Embedded Networks
44	Ailixier Aikebaier, Tomoya Enokido, Makoto Takizawa 0001	Energy-Efficient Process Allocation Algorithms in Peer-to-Peer Systems.	SEUS	2009	DBLP DOI BibTeX RDF
44	Jinha Park, Sungjoo Yoo, Sunggu Lee, Chanik Park	Power Modeling of Solid State Disk for Dynamic Power Management Policy Design in Embedded Systems.	SEUS	2009	DBLP DOI BibTeX RDF	low power states, measurement, power consumption, dynamic power management, Solid state disk, trace-based simulation
44	Chang-Sun Shin, Meong-hun Lee, Yong-Woong Lee, Jong-Sik Cho, Su-Chong Joo, Hyun Yoe	Development of Field Monitoring Server System and Its Application in Agriculture.	SEUS	2009	DBLP DOI BibTeX RDF
44	Uwe Brinkschulte, Daniel Lohn, Mathias Pacher	Towards a Statistical Model of a Microprocessor's Throughput by Analyzing Pipeline Stalls.	SEUS	2009	DBLP DOI BibTeX RDF
44	Ute Schiffel, André Schmitt, Martin Süßkraut, Stefan Weigert, Christof Fetzer	Parallelizing Software-Implemented Error Detection.	SEUS	2009	DBLP DOI BibTeX RDF
44	Jae-Kwan Yun, Jonghyun Jang, Kwang-Roh Park, Dong-Won Han	Real-Sense Media Representation Technology Using Multiple Devices Synchronization.	SEUS	2009	DBLP DOI BibTeX RDF	SMMD, Media/Device Synchronization, Real-Sense Media, SEM
44	Ingu Han, Kee-Wook Rim, Jung-Hyun Lee	DPDP: An Algorithm for Reliable and Smaller Congestion in the Mobile Ad-Hoc Network.	SEUS	2009	DBLP DOI BibTeX RDF	partial dominant pruning, mobile ad-hoc network, selected broadcasting
44	Jan Gustafsson, Peter Altenbernd, Andreas Ermedahl, Björn Lisper	Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development.	SEUS	2009	DBLP DOI BibTeX RDF
44	Andrea Bondavalli, Francesco Brancati, Andrea Ceccarelli, Lorenzo Falai	An Experimental Framework for the Analysis and Validation of Software Clocks.	SEUS	2009	DBLP DOI BibTeX RDF	experimental framework andmethodology, assessment and measurements, software clocks, R? NTP
44	Joseph P. Loyall, Richard E. Schantz	Using Context Awareness to Improve Quality of Information Retrieval in Pervasive Computing.	SEUS	2009	DBLP DOI BibTeX RDF	publish-subscribe-query information management, quality of service, Context awareness, location based computing
44	Benjamin Satzger, Florian Mutschelknaus, Faruk Bagci, Florian Kluge, Theo Ungerer	Towards Trustworthy Self-optimization for Distributed Systems.	SEUS	2009	DBLP DOI BibTeX RDF	self-*, Trust, Autonomic Computing, self-optimization, Organic Computing
44	YongUk Kim, Chulbum Ahn, Joonwoo Lee, Yunmook Nah	Location-Aware Web Service by Utilizing Web Contents Including Location Information.	SEUS	2009	DBLP DOI BibTeX RDF	GeoRSS, GeoWEB, Web Service, search engine, Location-Based Service
44	Franz J. Rammig, Yuhong Zhao 0001, Sufyan Samara	On-Line Model Checking as Operating System Service.	SEUS	2009	DBLP DOI BibTeX RDF	On-line model checking, Verification service, Real-time operating system
44	Martin Schoeberl, Wolfgang Puffitsch, Benedikt Huber	Towards Time-Predictable Data Caches for Chip-Multiprocessors.	SEUS	2009	DBLP DOI BibTeX RDF
44	Luigi Coppolino, Salvatore D'Antonio, Ivano Alessandro Elia, Luigi Romano	From Intrusion Detection to Intrusion Detection and Diagnosis: An Ontology-Based Approach.	SEUS	2009	DBLP DOI BibTeX RDF	Intrusion Detection and Diagnosis, Information Diversity, Stealthy and non-vulnerability attacks, Ontologies
44	Roberto Baldoni, Silvia Bonomi, Michel Raynal	Joining a Distributed Shared Memory Computation in a Dynamic Distributed System.	SEUS	2009	DBLP DOI BibTeX RDF	Provable guarantee, Regular register, Set object, Dynamic system, Synchronous system, Churn
44	Se-Gi Kim, Seung-Hwa Song, Chun-Hyon Chang, Doo-Hyun Kim, Shin Heu, Jung-Guk Kim	Design and Implementation of an Operational Flight Program for an Unmanned Helicopter FCC Based on the TMO Scheme.	SEUS	2009	DBLP DOI BibTeX RDF	unmanned helicopter, on-flight software, TMO
44	Pai H. Chou, Chong-Jing Chen, Stephen F. Jenks, Sung-Jin Kim	HiperSense: An Integrated System for Dense Wireless Sensing and Massively Scalable Data Visualization.	SEUS	2009	DBLP DOI BibTeX RDF
44	Peter R. Elespuru, Sagun Shakya, Shivakant Mishra	MapReduce System over Heterogeneous Mobile Devices.	SEUS	2009	DBLP DOI BibTeX RDF	jQuery, JavaScript, MapReduce, AJAX, PHP, Android, iPhone, Ruby, Mobile Platforms, Apache
44	Nelson Matthys, Danny Hughes 0001, Sam Michiels, Christophe Huygens, Wouter Joosen	Fine-Grained Tailoring of Component Behaviour for Embedded Systems.	SEUS	2009	DBLP DOI BibTeX RDF
44	Chris Thompson, Jules White, Brian Dougherty, Douglas C. Schmidt	Optimizing Mobile Application Performance with Model-Driven Engineering.	SEUS	2009	DBLP DOI BibTeX RDF
44	Vivien Chinnapongse, Insup Lee 0001, Oleg Sokolsky, Shaohui Wang, Paul L. Jones	Model-Based Testing of GUI-Driven Applications.	SEUS	2009	DBLP DOI BibTeX RDF
44	António Casimiro, José Rufino, Luis Marques, Mario Calha, Paulo Veríssimo	Applying Architectural Hybridization in Networked Embedded Systems.	SEUS	2009	DBLP DOI BibTeX RDF
44	Pieter-Jan Vandormael, Paul Couderc	An Algorithm to Ensure Spatial Consistency in Collaborative Photo Collections.	SEUS	2009	DBLP DOI BibTeX RDF	distributed capture, digital pictures, geotagging
44	K. H. Kim	Lifting the Level of Abstraction Dealt with in Programming of Networked Embedded Computing Systems.	SEUS	2009	DBLP DOI BibTeX RDF	networked embedded computing, real time, distributed computing, object, TMO, timeliness, time-trigger, message-trigger, guarantee
44	Ingu Han, Kee-Wook Rim, Jung-Hyun Lee	BSART (Broadcasting with Selected Acknowledgements and Repeat Transmissions) for Reliable and Low-Cost Broadcasting in the Mobile Ad-Hoc Network.	SEUS	2009	DBLP DOI BibTeX RDF	mobile ad-hoc network, node selection, selected broadcasting
44	Ina Podolski, Achim Rettberg	Overview of Multicore Requirements towards Real-Time Communication.	SEUS	2009	DBLP DOI BibTeX RDF
44	Roman Obermaisser, Bernhard Huber	The GENESYS Architecture: A Conceptual Model for Component-Based Distributed Real-Time Systems.	SEUS	2009	DBLP DOI BibTeX RDF
44	Roberto Baldoni, Adriano Cerocchi, Giorgia Lodi, Luca Montanari, Leonardo Querzoni	Designing Highly Available Repositories for Heterogeneous Sensor Data in Open Home Automation Systems.	SEUS	2009	DBLP DOI BibTeX RDF
44	Stephen A. Edwards	Concurrency and Communication: Lessons from the SHIM Project.	SEUS	2009	DBLP DOI BibTeX RDF
44	Martin Schoeberl, Peter P. Puschner, Raimund Kirner	A Single-Path Chip-Multiprocessor System.	SEUS	2009	DBLP DOI BibTeX RDF
44	Uwe Brinkschulte, Tony Givargis, Stefano Russo 0001 (eds.)	Software Technologies for Embedded and Ubiquitous Systems, 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008, Proceedings	SEUS	2008	DBLP DOI BibTeX RDF
44	Brahim Hamid, Ansgar Radermacher, Agnes Lanusse, Christophe Jouvray, Sébastien Gérard, François Terrier	Designing Fault-Tolerant Component Based Applications with a Model Driven Approach.	SEUS	2008	DBLP DOI BibTeX RDF	Profile QoS+FT, Replication, Distributed applications, Connector, CORBA Component Model, Model-driven approach
44	Federica Paci, Elisa Bertino, Sam Kerr, Aaron Lint, Anna Cinzia Squicciarini, Jungha Woo	VeryIDX - A Digital Identity Management System for Pervasive Computing Environments.	SEUS	2008	DBLP DOI BibTeX RDF
44	Seongje Cho, Hyeyoung Chang, Yookun Cho	Implementation of an Obfuscation Tool for C/C++ Source Code Protection on the XScale Architecture.	SEUS	2008	DBLP DOI BibTeX RDF	Source Code Protection, Reverse Engineering, Obfuscation
44	Isabell Jahnich, Ina Podolski, Achim Rettberg	Towards a Middleware Approach for a Self-configurable Automotive Embedded System.	SEUS	2008	DBLP DOI BibTeX RDF
44	Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen	On Scalable Synchronization for Distributed Embedded Real-Time Systems.	SEUS	2008	DBLP DOI BibTeX RDF
44	Boyoung Rhee, Sungchol Cho, Sunyoung Han, Chun-Hyon Chang, Jung-Guk Kim	QoS-Adaptive Router Based on Per-Flow Management over NGN.	SEUS	2008	DBLP DOI BibTeX RDF	NGN(Next Generation Network), QoS, Resource Management, Bandwidth, Data Flow, Service Level, User Level
44	Siddharth Choudhuri, Tony Givargis	Real-Time Access Guarantees for NAND Flash Using Partial Block Cleaning.	SEUS	2008	DBLP DOI BibTeX RDF	embedded systems, real-time, file system, NAND flash
44	Yukikazu Nakamoto, Issei Abe, Tatsunori Osaki, Hiroyuki Terada, Yu Moriyama	Toward Integrated Virtual Execution Platform for Large-Scale Distributed Embedded Systems.	SEUS	2008	DBLP DOI BibTeX RDF
44	Jackei H. K. Wong, Wilfred W. K. Lin, Allan K. Y. Wong, Tharam S. Dillon	An Ontology Supported Meta-interface for the Development and Installation of Customized Web Based Telemedicine Systems.	SEUS	2008	DBLP DOI BibTeX RDF	Meta-interface paradigm, CTSS, WTS, telemedicine system, enterprise vocabulary, ontology, software development, automated, CAI
44	Jean-Pierre Banâtre, Thierry Priol, Yann Radenac	Service Orchestration Using the Chemical Metaphor.	SEUS	2008	DBLP DOI BibTeX RDF
44	Darshan S. Dillon, Tharam S. Dillon, Elizabeth Chang 0001	Using UML 2.1 to Model Multi-agent Systems.	SEUS	2008	DBLP DOI BibTeX RDF
44	Paolo Bellavista, Antonio Corradi, Carlo Giannelli	Context-Aware Middleware for Reliable Multi-hop Multi-path Connectivity.	SEUS	2008	DBLP DOI BibTeX RDF
44	Brahim Ayari, Abdelmajid Khelil, Neeraj Suri	Delay-Aware Mobile Transactions.	SEUS	2008	DBLP DOI BibTeX RDF	mobile database systems, dependability, Transactions
44	Adam Ji Dou, Vana Kalogeraki	RG-EDF: An I/O Scheduling Policy for Flash Equipped Sensor Devices.	SEUS	2008	DBLP DOI BibTeX RDF
44	Julie S. Fant, Robert G. Pettit IV	Cost-Performance Tradeoff for Embedded Systems.	SEUS	2008	DBLP DOI BibTeX RDF	UML, embedded systems, cost, software performance, tradeoff, model-driven design
44	Tatsuo Nakajima, Hiroo Ishikawa, Yuki Kinebuchi, Midori Sugaya, Lei Sun, Alexandre Courbot, Andrej van der Zee, Aleksi Aalto, Kwon Ki Duk	An Operating System Architecture for Future Information Appliances.	SEUS	2008	DBLP DOI BibTeX RDF
44	Guenter Khyo, Peter P. Puschner, Martin Delvai	An Operating System for a Time-Predictable Computing Node.	SEUS	2008	DBLP DOI BibTeX RDF	Temporal Predictability, Determinism, Real-Time Operating Systems, Time-Triggered Architecture
44	Lynn Choi, Jae Kyun Jung, Byong-Ha Cho, Hyohyun Choi	M-Geocast: Robust and Energy-Efficient Geometric Routing for Mobile Sensor Networks.	SEUS	2008	DBLP DOI BibTeX RDF	void, sensor networks, mobility, MANET, geometric routing
44	Mohammad Iftekhar Husain, Shambhu J. Upadhyaya, Madhusudhanan Chandrasekaran	A Novel Approach for Security and Robustness in Wireless Embedded Systems.	SEUS	2008	DBLP DOI BibTeX RDF	RTS/CTS, Security, Embedded systems, Wireless networks, Media Access Control (MAC), Covert channel
44	Megumi Ito, Shuichi Oikawa	Improving Real-Time Performance of a Virtual Machine Monitor Based System.	SEUS	2008	DBLP DOI BibTeX RDF
44	Franz J. Rammig	Cyber Biosphere for Future Embedded Systems.	SEUS	2008	DBLP DOI BibTeX RDF	Biologically Inspired Techniques, Artificial Hormone Systems, Artificial Immune Systems, Ant Colony Algorithms
44	See-hwan Yoo, Tae-Kyung Kim, Chuck Yoo	Resolving Performance Anomaly Using ARF-Aware TCP.	SEUS	2008	DBLP DOI BibTeX RDF
44	Woochul Kang, Sang Hyuk Son	Data Services in Distributed Real-Time Embedded Systems.	SEUS	2008	DBLP DOI BibTeX RDF
44	Gabor Karsai, Janos Sztipanovits	Model-Integrated Development of Cyber-Physical Systems.	SEUS	2008	DBLP DOI BibTeX RDF	model-driven development, system integration, executable models, cyber-physical systems, model-integrated computing
44	Fabrice Kordon, Jérôme Hugues, Xavier Renault	From Model Driven Engineering to Verification Driven Engineering.	SEUS	2008	DBLP DOI BibTeX RDF
44	Gabriella Carrozza, Marcello Cinque	The Role of Field Data for Analyzing the Dependability of Short Range Wireless Technologies.	SEUS	2008	DBLP DOI BibTeX RDF
44	Sunggu Lee, Younggyu Yang	Methods for Increasing Coverage in Wireless Sensor Networks.	SEUS	2008	DBLP DOI BibTeX RDF	Wireless Sensor Network (WSN), Algorithm, Coverage
44	Cristiano di Flora, Christian Prehofer	Leveraging GIS Technologies for Web-Based Smart Places Services.	SEUS	2008	DBLP DOI BibTeX RDF	GIS, Smart Spaces, Indoor
44	Roman Obermaisser	Formal Specification of Gateways in Integrated Architectures.	SEUS	2008	DBLP DOI BibTeX RDF
44	Florian Kluge, Sascha Uhrig, Jörg Mische, Theo Ungerer	A Two-Layered Management Architecture for Building Adaptive Real-Time Systems.	SEUS	2008	DBLP DOI BibTeX RDF
44	Daniel D. Gajski, Samar Abdi, Ines Viskic	Model Based Synthesis of Embedded Software.	SEUS	2008	DBLP DOI BibTeX RDF
44	Ichiro Satoh	Context-Aware Deployment of Services in Public Spaces.	SEUS	2008	DBLP DOI BibTeX RDF
44	George Din, Diana Vega, Ina Schieferdecker	Automated Maintainability of TTCN-3 Test Suites Based on Guideline Checking.	SEUS	2008	DBLP DOI BibTeX RDF