7623 search results - page 351 / 1525 » Constructive Volume Modeling |
150
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Although current programming models provide adequate performance, many prove inadequate to support the effective development of efficient Grid applications. Many of the ...
150
click to vote
AGP
1993
IEEE
15 years 10 months ago
1993
IEEE
In this paper, we present an account of classical Logic Programming fixed-point semantics in terms of two standard categorical constructions in which the least Herbrand model is ...
176
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
We give the rst single-layer clock tree construction with exact zero skew according to the Elmore delay model. The previous Linear-Planar-DME method 11 guarantees a planar solutio...
204
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we propose two new unfolding semantics for general Petri nets combining the concept of prime event structures with the idea of token flows developed in [11]. In contr...
130
click to vote
WSC
2001
15 years 8 months ago
2001
This paper introduces EZStrobe, a very simple but powerful general-purpose simulation system. Although designed for modeling construction operations, EZStrobe is domain independen...