Search Sciweavers | Sciweavers

800 search results - page 2 / 160

» Towards a formalization of budgets

155

click to vote

ISCA
2007
IEEE

114views Hardware» more ISCA 2007»

Mechanisms for bounding vulnerabilities of processor structures

16 years 7 days ago

Download www.cse.psu.edu

Concern for the increasing susceptibility of processor structures to transient errors has led to several recent research efforts that propose architectural techniques to enhance r...

Niranjan Soundararajan, Angshuman Parashar, Anand ...

claim paper

Read More »

120

click to vote

FOIS
2008

102views Information Technology» more FOIS 2008»

Formal Semantics and Ontologies - Towards an Ontological Account of Formal Semantics

15 years 7 months ago

Download fois08.dfki.de

Frank Loebe, Heinrich Herre

claim paper

Read More »

155

click to vote

FTRTFT
1998
Springer

108views Formal Methods» more FTRTFT 1998»

Towards a Formal Semantics of Verilog Using Duration Calculus

15 years 10 months ago

Download folk.uio.no

Gerardo Schneider, Qiwen Xu

claim paper

Read More »

132

click to vote

FM
1999
Springer

122views Formal Methods» more FM 1999»

Towards a Compositional Approach to the Design and Verification of Distributed Systems

15 years 10 months ago

Download www.cs.unh.edu

Michel Charpentier, K. Mani Chandy

claim paper

Read More »

145

click to vote

FM
1998
Springer

155views Formal Methods» more FM 1998»

Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers