7961 search results - page 156 / 1593 » Input-Output Model Programs |
136
click to vote
ICLP
2001
Springer
15 years 7 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
138
Voted
PPL
2008
15 years 3 months ago
2008
Execution of programs with data parallel language constructs is either based on the fork/join or on the SPMD model. Whereas the former executes a program sequentially and confines...
IEAAIE
1999
Springer
15 years 7 months ago
1999
Springer
This paper introduces a new approach in the debugging of hardware designs. The design is given as a VHDL program and converted in a component connection model. The conversion is si...
134
click to vote
CPHYSICS
2006
15 years 3 months ago
2006
A computer program is described to calculate momentum distributions in stripping and diffraction dissociation reactions. A Glauber model is used with the scattering wavefunctions ...
147
click to vote
ANOR
2011
14 years 10 months ago
2011
Abstract. Scheduling problems in the forest industry have received significant attention in the recent years and have contributed many challenging applications for optimization te...