Sciweavers

7623 search results - page 1178 / 1525
» Constructive Volume Modeling
Sort
View
ICLP
1995
Springer
15 years 8 months ago
Operational Semantics of Constraint Logic Programs with Coroutining
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
Andreas Podelski, Gert Smolka
PODC
1995
ACM
15 years 8 months ago
A Framework for Protocol Composition in Horus
The Horus system supports a communication architecture ats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into...
Robbert van Renesse, Kenneth P. Birman, Roy Friedm...
SMA
1995
ACM
132views Solid Modeling» more  SMA 1995»
15 years 8 months ago
Assembly sequencing with toleranced parts
The goal of assembly sequencing is to plan a feasible series of operations to construct a product from its individual parts. Previous research has investigated assembly sequencing...
Jean-Claude Latombe, Randall H. Wilson
ANSS
1991
IEEE
15 years 8 months ago
Supercritical speedup
The notions of the critical path of events and critical time of an event are key concepts in analyzing the performance of a parallel discrete event simulation. The highest critica...
David R. Jefferson, Peter L. Reiher
159
Voted
WSC
2008
15 years 7 months ago
Improving performance by replicating simulations with alternative synchronization approaches
Parallel and distributed simulation facilitates the construction of a simulation application (i.e., federation in HLA terminology) with a number of simulation components (federate...
Zengxiang Li, Wentong Cai, Stephen John Turner, Ke...
« Prev « First page 1178 / 1525 Last » Next »