Search Sciweavers | Sciweavers

626 search results - page 2 / 126

» Abstract Modularity

215

click to vote

IJFCS
2007

98views more IJFCS 2007»

Modular Ranking Abstraction

15 years 7 months ago

Download cs.nyu.edu

Ranking Abstraction Ittai Balaban Computer Science Department, New York University, 251 Mercer St., New York, New York 10012, United States and Amir Pnueli Computer Science Departm...

Ittai Balaban, Amir Pnueli, Lenore D. Zuck

claim paper

Read More »

167

Voted

ICFP
2006
ACM

124views Programming Languages» more ICFP 2006»

Stabilizers: a modular checkpointing abstraction for concurrent functional programs

16 years 7 months ago

Download www.cs.purdue.edu

Lukasz Ziarek, Philip Schatz, Suresh Jagannathan

claim paper

Read More »

157

click to vote

RTA
2005
Springer

128views Theoretical Computer Science» more RTA 2005»

Abstract Modularity

16 years 23 days ago

Download www.informatik.uni-bremen.de

Michael Abbott, Neil Ghani, Christoph Lüth

claim paper

Read More »

131

Voted

CASES
2004
ACM

89views System Software» more CASES 2004»

Modular design through component abstraction

16 years 21 days ago

Download www.irisa.fr

David Berner, Jean-Pierre Talpin, Paul Le Guernic,...

claim paper

Read More »

158

click to vote

ACSD
2004
IEEE

90views Hardware» more ACSD 2004»

A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers