Search Sciweavers | Sciweavers

800 search results - page 2 / 160

» Towards a formalization of budgets

click to vote

ISCA
2007
IEEE

114views Hardware» more ISCA 2007»

Mechanisms for bounding vulnerabilities of processor structures

14 years 4 months 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 »

click to vote

FOIS
2008

102views Information Technology» more FOIS 2008»

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

13 years 11 months ago

Download fois08.dfki.de

Frank Loebe, Heinrich Herre

claim paper

Read More »

click to vote

FTRTFT
1998
Springer

108views Formal Methods» more FTRTFT 1998»

Towards a Formal Semantics of Verilog Using Duration Calculus

14 years 2 months ago

Download folk.uio.no

Gerardo Schneider, Qiwen Xu

claim paper

Read More »

click to vote

FM
1999
Springer

122views Formal Methods» more FM 1999»

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

14 years 2 months ago

Download www.cs.unh.edu

Michel Charpentier, K. Mani Chandy

claim paper

Read More »

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

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers