1342 search results - page 106 / 269 » Ordered Programs as Abductive Systems |
156
click to vote
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We describe our progress building the program ReductionFinder, which uses off-the-shelf SAT solvers together with the Cmodels system to automatically search for reduction...
150
click to vote
ACSC
2007
IEEE
16 years 1 months ago
2007
IEEE
Package design is concerned with the determining the best way to partition the classes in a system into subsystems. A poor package design can adversely affect the quality of a sof...
154
click to vote
VMCAI
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
187
click to vote
ICMLA
2010
15 years 4 months ago
2010
Abstract--In the Relational Reinforcement learning framework, we propose an algorithm that learns an action model allowing to predict the resulting state of each action in any give...
178
click to vote
EMSOFT
2005
Springer
16 years 11 days ago
2005
Springer
The nature of embedded systems development places a great deal of importance on meeting strict requirements in areas such as static code size, power consumption, and execution tim...