4854 search results - page 195 / 971 » It's the Programming, Stupid |
192
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
194
Voted
BCS
2008
15 years 8 months ago
2008
Research in formal description of programming languages over the past four decades has led to some significant achievements. These include formal syntax and semantics for complete...
185
click to vote
SE
2008
15 years 8 months ago
2008
: In this paper we present the language Monaco, which is a DSL for programming event-based, reactive automation solutions. The main purpose of the language is to bring automation p...
183
click to vote
AAAI
2004
15 years 8 months ago
2004
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boo...
213
click to vote
ICML
2010
IEEE
15 years 8 months ago
2010
IEEE
Approximate dynamic programming has been used successfully in a large variety of domains, but it relies on a small set of provided approximation features to calculate solutions re...