MEMOCODE 2010 - PDF Preprint Papers

MEMOCODE 2010 ACM/IEEE International Conference on Formal Methods and Models for Co-Design

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed MEMOCODE-2010 Paper

click to vote

MEMOCODE
2010
IEEE

87views Formal Methods» more MEMOCODE 2010»

Predictable multithreading of embedded applications using PRET-C

1 years 3 months ago

Download www.ece.auckland.ac.nz

Sidharta Andalam, Partha S. Roop, Alain Girault

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.

Id	Views	Title	Status
1	87	Predictable multithreading of embedded applications using PRET-C	claim
2	75	FPGA-based combined architecture for stream categorization and intrusion detection	claim
3	70	Proving transaction and system-level properties of untimed SystemC TLM designs	claim
4	66	A regular expression matching using non-deterministic finite automaton	claim
5	60	Feldspar: A domain specific language for digital signal processing algorithms	claim
6	60	Monitoring temporal SystemC properties	claim
7	58	Compilation of imperative synchronous programs with refined clocks	claim
8	57	A formal executable semantics of Verilog	claim
9	57	Elastic systems	claim
10	56	A flexible schema for generating explanations in lazy theory propagation	claim
11	55	Modular verification of synchronization with reentrant locks	claim
12	54	LTSs for translation validation of (multi-clocked) SIGNAL specifications	claim
13	49	ATLAS: Automatic Term-level abstraction of RTL designs	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers