10072 search results - page 308 / 2015 » Composition of Model Programs |
188
click to vote
IJIPT
2006
15 years 6 months ago
2006
Service-oriented development offers a novel architectural approach that addresses crucial characteristics of modern business process development such as dynamic evolution, intra- ...
202
click to vote
DAC
2007
ACM
16 years 7 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...
168
click to vote
AMAI
2008
Springer
15 years 6 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....
156
Voted
PEPM
2009
ACM
16 years 3 months 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...
163
click to vote
FCCM
2007
IEEE
16 years 1 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 ...