7892 search results - page 252 / 1579 » Programming with Models |
139
click to vote
ISQED
2002
IEEE
15 years 6 months ago
2002
IEEE
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
210
click to vote
POPL
2003
ACM
16 years 2 months ago
2003
ACM
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...
112
click to vote
ICSM
2006
IEEE
15 years 7 months ago
2006
IEEE
Spatial cognition and program development have both been examined using contrasting models. We suggest that sex-based differences in one’s perception of risk is the key to relat...
167
click to vote
JDCTA
2010
14 years 8 months ago
2010
To solve the cruise two-dimensional revenue management problem and develop such an automated system under uncertain environment, a static model which is a stochastic integer progr...
IWFM
2003
15 years 3 months ago
2003
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...