EMSOFT 2005 - PDF Preprint Papers

EMSOFT 2005 International Conference On Embedded Software

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed EMSOFT-2005 Paper

click to vote

EMSOFT
2005
Springer

165views Software Engineering» more EMSOFT 2005»

Compiler-guided register reliability improvement against soft errors

14 years 5 months ago

Download www.cecs.uci.edu

With the scaling of technology, transient errors caused by external particle strikes have become a critical challenge for microprocessor design. As embedded processors are widely ...

Jun Yan, Wei Zhang

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Related Conferences

Id	Views	Title	Status

1	165	Compiler-guided register reliability improvement against soft errors	claim
2	154	Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling	claim
3	145	AutoDVS: an automatic, general-purpose, dynamic clock scheduling system for hand-held devices	claim
4	142	Communication strategies for shared-bus embedded multiprocessors	claim
5	142	Synchronization of periodic clocks	claim
6	141	Model-based analysis of distributed real-time embedded system composition	claim
7	140	Testing real-time embedded software using UPPAAL-TRON: an industrial case study	claim
8	138	Minimizing expected energy in real-time embedded systems	claim
9	136	Passive mid-stream monitoring of real-time properties	claim
10	129	High performance annotation-aware JVM for Java cards	claim
11	127	High-level real-time programming in Java	claim
12	124	Random testing of interrupt-driven software	claim
13	124	Optimizing inter-processor data locality on embedded chip multiprocessors	claim
14	122	A sink-n-hoist framework for leakage power reduction	claim
15	120	Deeply embedded XML communication: towards an interoperable and seamless world	claim
16	117	From statecharts to ESP: programming with events, states and predicates for embedded systems	claim
17	115	Using separation of concerns for embedded systems design	claim
18	108	From multi-clocked synchronous processes to latency-insensitive modules	claim
19	106	Code aware resource management	claim
20	106	Towards real-time enabled Microsoft Windows	claim
21	104	A unified HW/SW interface model to remove discontinuities between HW and SW design	claim
22	103	A GA-based scheduling method for FlexRay systems	claim
23	100	Tag machines	claim
24	99	Using de-optimization to re-optimize code	claim
25	99	A structural approach to quasi-static schedulability analysis of communicating concurrent programs	claim
26	95	Distributed-code generation from hybrid systems models for time-delayed multirate systems	claim
27	95	Semantics-based optimization across uncoordinated tasks in networked embedded systems	claim
28	94	QoS control for optimality and safety	claim
29	93	Model-based run-time monitoring of end-to-end deadlines	claim
30	93	Systems architecture: the empirical way: abstract architectures to 'optimal' systems	claim
31	93	HAIL: a language for easy and correct device access	claim
32	91	Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip	claim
33	91	SHIM: a deterministic model for heterogeneous embedded systems	claim
34	86	Distributing synchronous programs using bounded queues	claim
35	85	Exploiting last idle periods of links for network power management	claim
36	84	Centralized end-to-end flow control in a best-effort network-on-chip	claim
37	84	The formal verification of a reintegration protocol	claim
38	83	Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks	claim
39	82	Power consumption profile analysis for security attack simulation in smart cards at high abstraction level	claim
40	77	Uniform object modeling methodology and reuse of real-time system using UML	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers