685 search results - page 77 / 137 » Closure Operators for Order Structures |
123
click to vote
PATMOS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The load-store queue (LQ-SQ) of modern superscalar processors is responsible for keeping the order of memory operations. As the performance gap between processing speed a...
101
Voted
VLDB
2005
ACM
15 years 8 months ago
2005
ACM
In an “uncertain database”, an object o is associated with a multi-dimensional probability density function (pdf), which describes the likelihood that o appears at each positi...
HYBRID
2003
Springer
15 years 7 months ago
2003
Springer
We analyze the observability of the continuous and discrete states of continuous-time linear hybrid systems. For the class of jumplinear systems, we derive necessary and sufficient...
122
click to vote
AGENTS
2001
Springer
15 years 7 months ago
2001
Springer
The agent-oriented modeling process is divided in a typical sequence of activities, i.e., requirements specification, analysis, and design. The requirements are specified by des...
113
click to vote
MFPS
1993
15 years 6 months ago
1993
All known structures involving a constructively obtainable fixed point (or iteration) operation satisfy the equational laws defining iteration theories. Hence, there seems to be...