Sciweavers

16091 search results - page 228 / 3219
» Solving
Sort
View
TOS
2008
89views more  TOS 2008»
15 years 5 months ago
Portably solving file races with hardness amplification
Dan Tsafrir, Tomer Hertz, David Wagner, Dilma Da S...
TPDS
2008
88views more  TPDS 2008»
15 years 5 months ago
A Two-Hop Solution to Solving Topology Mismatch
The efficiency of Peer-to-Peer (P2P) systems is largely dependent on the overlay constructions. Due to the random selection of logical neighbors, there often exists serious topolog...
Yunhao Liu
JOT
2007
104views more  JOT 2007»
15 years 5 months ago
Common Requirements Problems, Their Negative Consequences, and the Industry Best Practices to Help Solve Them
In this column, I summarize the 12 worst of the most common requirements engineering problems I have observed over many years working on and with real projects as a requirements e...
Donald Firesmith
AI
2004
Springer
15 years 5 months ago
Solving weighted CSP by maintaining arc consistency
Javier Larrosa, Thomas Schiex
JSAT
2007
47views more  JSAT 2007»
15 years 5 months ago
On Solving Boolean Combinations of UTVPI Constraints
We consider the satisfiability problem for Boolean combinations of unit two variable per inequality (UTVPI) constraints. A UTVPI constraint is linear constraint containing at mos...
Sanjit A. Seshia, K. Subramani, Randal E. Bryant