14244 search results - page 343 / 2849 » Modeling Program Predictability |
169
Voted
DAC
2007
ACM
16 years 4 months ago
2007
ACM
This paper argues for an implicitly parallel programming model for many-core microprocessors, and provides initial technical approaches towards this goal. In an implicitly paralle...
121
Voted
AMAI
2008
Springer
15 years 3 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
107
Voted
PEPM
2009
ACM
16 years 19 days ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
112
Voted
FCCM
2007
IEEE
15 years 10 months ago
2007
IEEE
A new platform for reconfigurable computing has an object-based programming model, with architecture, silicon and tools designed to faithfully realize this model. The platform is ...
144
Voted
HIS
2007
15 years 5 months ago
2007
Genetic programming is known to provide good solutions for many problems like the evolution of network protocols and distributed algorithms. In such cases it is most likely a hard...