Sciweavers

2050 search results - page 14 / 410
» constraints 2010
Sort
View
108
Voted
SAS
2010
Springer
148views Formal Methods» more  SAS 2010»
15 years 2 months ago
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis
Isil Dillig, Thomas Dillig, Alex Aiken
SCHOLARPEDIA
2010
56views more  SCHOLARPEDIA 2010»
15 years 2 months ago
Theory of Constraints
John Blackstone
113
Voted
SIGOPS
2010
73views more  SIGOPS 2010»
15 years 2 months ago
Control strategies for H.264 video decoding under resources constraints
Anne-Marie Alt, Daniel Simon
TOPLAS
2010
76views more  TOPLAS 2010»
15 years 2 months ago
Typing linear constraints
Salvatore Ruggieri, Fred Mesnard