Sciweavers

14244 search results - page 412 / 2849
» Modeling Program Predictability
Sort
View
77
Voted
CORR
2007
Springer
69views Education» more  CORR 2007»
15 years 6 months ago
Mixing the Objective Caml and C# Programming Models in the .Net Framework
Emmanuel Chailloux, Grégoire Henry, Rapha&e...
INFORMS
2006
89views more  INFORMS 2006»
15 years 6 months ago
Integer Linear Programming Models for Global Routing
Laleh Behjat, Anthony Vannelli, William Rosehart
114
Voted
JACIII
2006
60views more  JACIII 2006»
15 years 6 months ago
Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model
Itaru Takarajima, Kiyoshi Akama, Ikumi Imani, Hiro...
PCS
2008
45views more  PCS 2008»
15 years 6 months ago
Modeling, specification, and verification of automaton programs
E. V. Kuzmin, Valery A. Sokolov