Search Sciweavers | Sciweavers

31387 search results - page 90 / 6278

» Abstracting abstract machines

122

click to vote

CONCUR
2007
Springer

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

Solving Games Via Three-Valued Abstraction Refinement

15 years 11 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 »

128

click to vote

IEEEPACT
2005
IEEE

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

Parallel Programming and Parallel Abstractions in Fortress

15 years 11 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 »

138

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 11 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 »

148

Voted

HIPEAC
2005
Springer

86views System Software» more HIPEAC 2005»

Induction Variable Analysis with Delayed Abstractions

15 years 11 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 »

100

Voted

IFIP
2004
Springer

101views Programming Languages» more IFIP 2004»

Basic concepts of abstract interpretation

15 years 11 months ago