Sciweavers

11653 search results - page 198 / 2331
» The Development of the C Language
Sort
View
CP
2007
Springer
16 years 1 months ago
A Cost-Based Model and Algorithms for Interleaving Solving and Elicitation of CSPs
Nic Wilson, Diarmuid Grimes, Eugene C. Freuder
MODELS
2007
Springer
16 years 1 months ago
Model-Driven Construction of Certified Binaries
Sagar Chaki, James Ivers, Peter Lee, Kurt C. Walln...
150
Voted
FDL
2005
IEEE
16 years 22 days ago
Compiled and Synthesized UML, a practical Approach for Codesign
C. Berhouzoz, Francois Corthay, Thomas Sterren, R....
CP
2005
Springer
16 years 19 days ago
Methods to Learn Abstract Scheduling Models
Tom Carchrae, J. Christopher Beck, Eugene C. Freud...
ICALP
2005
Springer
16 years 19 days ago
Optimal Cover Time for a Graph-Based Coupon Collector Process
Nedialko B. Dimitrov, C. Greg Plaxton