Sciweavers

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