Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
626
search results - page 2 / 126
»
Abstract Modularity
Sort
relevance
views
votes
recent
update
View
thumb
title
20
click to vote
IJFCS
2007
98
views
more
IJFCS 2007
»
Modular Ranking Abstraction
13 years 5 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 »
13
click to vote
ICFP
2006
ACM
124
views
Programming Languages
»
more
ICFP 2006
»
Stabilizers: a modular checkpointing abstraction for concurrent functional programs
14 years 5 months ago
Download
www.cs.purdue.edu
Lukasz Ziarek, Philip Schatz, Suresh Jagannathan
claim paper
Read More »
14
click to vote
RTA
2005
Springer
128
views
Theoretical Computer Science
»
more
RTA 2005
»
Abstract Modularity
13 years 10 months ago
Download
www.informatik.uni-bremen.de
Michael Abbott, Neil Ghani, Christoph Lüth
claim paper
Read More »
5
click to vote
CASES
2004
ACM
89
views
System Software
»
more
CASES 2004
»
Modular design through component abstraction
13 years 10 months ago
Download
www.irisa.fr
David Berner, Jean-Pierre Talpin, Paul Le Guernic,...
claim paper
Read More »
15
click to vote
ACSD
2004
IEEE
90
views
Hardware
»
more
ACSD 2004
»
A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models
13 years 9 months ago
Download
ece.ut.ac.ir
Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoor...
claim paper
Read More »
« Prev
« First
page 2 / 126
Last »
Next »