Search Sciweavers | Sciweavers

1631 search results - page 2 / 327

» Software engineering technology watch

128

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

16 years 4 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

15 years 7 months ago

Download www.cl.cam.ac.uk

Cecilia Mascolo, Wolfgang Emmerich, Anthony Finkel...

claim paper

Read More »

113

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

15 years 7 months ago

Download research.microsoft.com

Efstathios Papaefstathiou

claim paper

Read More »

109

Voted

CSMR
1999
IEEE

103views Software Engineering» more CSMR 1999»

Querying as an Enabling Technology in Software Reengineering

15 years 7 months ago

Download www.gupro.de

Bernt Kullbach, Andreas Winter

claim paper

Read More »

Voted

ICSE
1999
IEEE-ACM

151views Software Engineering» more ICSE 1999»

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

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers