1451 search results - page 37 / 291 » Order independence and rationalizability |
128
Voted
FMCAD
1998
Springer
15 years 5 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
101
Voted
AAAI
1993
15 years 2 months ago
1993
In [Dague, 1993], a formal system ROM(K) involving four relations has been defined to reason with relative orders of magnitude. In this paper, problems of introducing quantitative...
104
Voted
MP
2002
15 years 22 days ago
2002
Using standard nonlinear programming (NLP) theory, we establish formulas for first and second order directional derivatives for optimal value functions of parametric mathematical ...
112
Voted
CSCW
2010
ACM
15 years 10 months ago
2010
ACM
In this paper, we examine the social roles of software tools in the English-language Wikipedia, specifically focusing on autonomous editing programs and assisted editing tools. Th...
97
Voted
FSTTCS
2007
Springer
15 years 7 months ago
2007
Springer
We consider scheduling problems in which a job consists of components of different types to be processed on m machines. Each machine is capable of processing components of a singl...