7892 search results - page 10 / 1579 » Programming with Models |
JOT
2006
13 years 8 months ago
2006
on, a model is an abstraction of the real thing. In practice, engineers work with partial descriptions (models) and add/remove model at each level of abstraction. Models describe a...
FCCM
2008
IEEE
14 years 2 months ago
2008
IEEE
This work proposes a set of requirements for programming emerging FPGA-based high performance computing systems, and uses them to evaluate a number of existing parallel programmin...
ASP
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. We define a translation of aggregate programs to normal logic programs which preserves the set of partial stable models. We then define the classes of definite and str...
FORTE
2007
13 years 10 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
POPL
2005
ACM
14 years 8 months ago
2005
ACM