Search Sciweavers | Sciweavers

31387 search results - page 90 / 6278

» Abstracting abstract machines

click to vote

CONCUR
2007
Springer

95views Distributed And Parallel Com...» more CONCUR 2007»

Solving Games Via Three-Valued Abstraction Refinement

15 years 4 months ago

Download users.soe.ucsc.edu

Games via Three-Valued Abstraction Refinement Luca de Alfaro, Pritam Roy PII: S0890-5401(10)00018-0 DOI: 10.1016/j.ic.2009.05.007 Reference: YINCO 3711 To appear in: Information an...

Luca de Alfaro, Pritam Roy

claim paper

Read More »

click to vote

IEEEPACT
2005
IEEE

104views Distributed And Parallel Com...» more IEEEPACT 2005»

Parallel Programming and Parallel Abstractions in Fortress

15 years 3 months ago

Download labs.oracle.com

llel Abstractions in Fortress Guy Steele Sun Microsystems Laboratories April 24, 2006

Guy L. Steele Jr.

claim paper

Read More »

click to vote

AIME
2005
Springer

91views Artificial Intelligence» more AIME 2005»

A New Approach to the Abstraction of Monitoring Data in Intensive Care

15 years 3 months ago

Download www.csd.abdn.ac.uk

proach to the Abstraction of Monitoring Data in Intensive Care S. Sharshar, L. Allart, M-C. Chambrin University of Lille 2, France

S. Sharshar, L. Allart, Marie-Christine Chambrin

claim paper

Read More »

click to vote

HIPEAC
2005
Springer

86views System Software» more HIPEAC 2005»

Induction Variable Analysis with Delayed Abstractions

15 years 3 months ago

Download www.cri.ensmp.fr

ions Sebastian Pop 1 , Albert Cohen 2 , and Georges-Andr´e Silber 1 1 CRI, Mines Paris, Fontainebleau, France 2 ALCHEMY group, INRIA Futurs, Orsay, France Abstract. This paper pre...

Sebastian Pop, Albert Cohen, Georges-André ...

claim paper

Read More »

click to vote

IFIP
2004
Springer

101views Programming Languages» more IFIP 2004»

Basic concepts of abstract interpretation

15 years 3 months ago