3179 search results - page 278 / 636 » Applications of PCF Theory |
98
Voted
IWMM
2010
Springer
15 years 5 months ago
2010
Springer
This paper argues that economic theory can improve our understanding of memory management. We introduce the allocation curve, as an analogue of the demand curve from microeconomic...
104
Voted
UML
2001
Springer
15 years 5 months ago
2001
Springer
Sequence Diagrams (SDs) have proven useful for describing transaction-oriented systems, and can form a basis for creating statecharts. However, distributed embedded systems require...
82
Voted
ICRA
1998
IEEE
15 years 5 months ago
1998
IEEE
Simulation of dynamic systems possessing unilateral frictional contacts is important to many industrial applications. While rigid body models are often employed, it is well establ...
114
Voted
TAGT
1998
Springer
15 years 4 months ago
1998
Springer
Reactive systems perform their tasks through interaction with their users or with other systems (as parts of a bigger system). An essential requirement for modeling such systems is...
98
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...