Search Sciweavers | Sciweavers

1116 search results - page 5 / 224

» Applying Predicate Abstraction to Abstract State Machines

109

click to vote

ADBIS
2010
Springer

333views Database» more ADBIS 2010»

Horizontal Partitioning by Predicate Abstraction and Its Application to Data Warehouse Design

15 years 4 days ago

Download www.dcs.warwick.ac.uk

al Partitioning by Predicate Abstraction and its Application to Data Warehouse Design Aleksandar Dimovski1 , Goran Velinov2 , and Dragan Sahpaski2 1 Faculty of Information-Communic...

Aleksandar Dimovski, Goran Velinov, Dragan Sahpask...

claim paper

Read More »

click to vote

SRDS
2000
IEEE

81views Operating System» more SRDS 2000»

Abstractions for Devising Byzantine-Resilient State Machine Replication

15 years 3 months ago

Download infoscience.epfl.ch

Assia Doudou, Rachid Guerraoui, Benoît Garbi...

claim paper

Read More »

click to vote

ASM
2000
ASM

133views Computational Biology» more ASM 2000»

Using Abstract State Machines at Microsoft: A Case Study

15 years 3 months ago

Download research.microsoft.com

Michael Barnett, Egon Börger, Yuri Gurevich, ...

claim paper

Read More »

click to vote

FM
1999
Springer

99views Formal Methods» more FM 1999»

Logspace Reducibility via Abstract State Machines

15 years 3 months ago

Download www.eecs.umich.edu

Erich Grädel, Marc Spielmann

claim paper

Read More »

click to vote

CODES
1998
IEEE

80views Software Engineering» more CODES 1998»

Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers