4485 search results - page 280 / 897 » Equivalences on Observable Processes |
136
Voted
ICALT
2003
IEEE
15 years 9 months ago
2003
IEEE
We provide empirical support for the assertions that high level of knowledge construction is associated with structured design and that knowledge construction is associated with c...
140
click to vote
PPOPP
2003
ACM
15 years 9 months ago
2003
ACM
Quadtree matrices using Morton-order storage provide natural blocking on every level of a memory hierarchy. Writing the natural recursive algorithms to take advantage of this bloc...
132
click to vote
FASE
2003
Springer
15 years 9 months ago
2003
Springer
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
157
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we show that under the constant delay model the placement problem is equivalent to minimizing a weighted sum of wire lengths. The weights can be efficiently compute...
169
click to vote
EH
2002
IEEE
15 years 9 months ago
2002
IEEE
Fluid flow in porous media is a dynamic process that is traditionally modeled using PDE (Partial Differential Equations). In this approach, physical properties related to fluid fl...