Sciweavers

11653 search results - page 198 / 2331
» The Development of the C Language
Sort
View
CP
2007
Springer
16 years 23 days 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 22 days ago
Model-Driven Construction of Certified Binaries
Sagar Chaki, James Ivers, Peter Lee, Kurt C. Walln...
FDL
2005
IEEE
16 years 6 days ago
Compiled and Synthesized UML, a practical Approach for Codesign
C. Berhouzoz, Francois Corthay, Thomas Sterren, R....
CP
2005
Springer
16 years 3 days ago
Methods to Learn Abstract Scheduling Models
Tom Carchrae, J. Christopher Beck, Eugene C. Freud...
ICALP
2005
Springer
16 years 3 days ago
Optimal Cover Time for a Graph-Based Coupon Collector Process
Nedialko B. Dimitrov, C. Greg Plaxton