Search Sciweavers | Sciweavers

1631 search results - page 2 / 327

» Software engineering technology watch

click to vote

DAC
2009
ACM

141views Computer Architecture» more DAC 2009»

Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts

14 years 5 months ago

Download www.cs.cmu.edu

Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...

Himanshu Jain, Edmund M. Clarke

claim paper

Read More »

click to vote

ICSE
2001
IEEE-ACM

93views Software Engineering» more ICSE 2001»

XML Technologies and Software Engineering

13 years 9 months ago

Download www.cl.cam.ac.uk

Cecilia Mascolo, Wolfgang Emmerich, Anthony Finkel...

claim paper

Read More »

click to vote

WOSP
2000
ACM

103views Software Engineering» more WOSP 2000»

Design of a performance technology infrastructure to support the construction of responsive software

13 years 9 months ago

Download research.microsoft.com

Efstathios Papaefstathiou

claim paper

Read More »

click to vote

CSMR
1999
IEEE

103views Software Engineering» more CSMR 1999»

Querying as an Enabling Technology in Software Reengineering

13 years 9 months ago

Download www.gupro.de

Bernt Kullbach, Andreas Winter

claim paper

Read More »

click to vote

ICSE
1999
IEEE-ACM

151views Software Engineering» more ICSE 1999»

Risk Management in Software Development: A Technology Overview and the Riskit Method

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers