Search Sciweavers | Sciweavers

15777 search results - page 503 / 3156

» The Reformulation-Optimization Software Engine

121

click to vote

ISSTA
1994
ACM

118views Software Engineering» more ISSTA 1994»

Testing a Safety-Critical Application

15 years 9 months ago

Download cs.union.edu

John C. Knight, Aaron G. Cass, Antonio M. Fern&aac...

claim paper

Read More »

110

click to vote

PEPM
1993
ACM

95views Software Engineering» more PEPM 1993»

Improving Abstract Interpretations by Combining Domains

15 years 9 months ago

Download www.csse.monash.edu.au

Michael Codish, Anne Mulkers, Maurice Bruynooghe, ...

claim paper

Read More »

click to vote

UIST
1994
ACM

87views Software Engineering» more UIST 1994»

A Survey of Design Issues in Spatial Input

15 years 9 months ago

Download research.microsoft.com

Ken Hinckley, Randy F. Pausch, John C. Goble, Neal...

claim paper

Read More »

123

click to vote

FOSSACS
2007
Springer

100views Software Engineering» more FOSSACS 2007»

An Effective Algorithm for the Membership Problem for Extended Regular Expressions

15 years 8 months ago

Download fsl.cs.uiuc.edu

By adding the complement operator (

Grigore Rosu

claim paper

Read More »

112

click to vote

CGO
2004
IEEE

82views Software Engineering» more CGO 2004»

Ispike: A Post-link Optimizer for the Intel®Itanium®Architecture

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers