Search Sciweavers | Sciweavers

31387 search results - page 119 / 6278

» Abstracts

119

click to vote

ICFEM
2009
Springer

80views Software Engineering» more ICFEM 2009»

Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction

16 years 29 days ago

Download www.comp.nus.edu.sg

Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Z...

claim paper

Read More »

142

click to vote

IFM
2009
Springer

91views Formal Methods» more IFM 2009»

Predicate Abstraction in a Program Logic Calculus

16 years 29 days ago

Download lfm.iti.uni-karlsruhe.de

Benjamin Weiß

claim paper

Read More »

131

click to vote

ISSAC
2009
Springer

137views Mathematics» more ISSAC 2009»

Computing with abstract matrix structures

16 years 29 days ago

Download www.csd.uwo.ca

Alan P. Sexton, Volker Sorge, Stephen M. Watt

claim paper

Read More »

153

click to vote

IWOMP
2009
Springer

112views Programming Languages» more IWOMP 2009»

Extending Automatic Parallelization to Optimize High-Level Abstractions for Multicore

16 years 28 days ago

Download www.rosecompiler.org

Chunhua Liao, Daniel J. Quinlan, Jeremiah Willcock...

claim paper

Read More »

130

click to vote

LPNMR
2009
Springer

173views Automated Reasoning» more LPNMR 2009»

Argumentation Context Systems: A Framework for Abstract Group Argumentation

16 years 28 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers