477 search results - page 52 / 96 » Design patterns in separation logic |
ITC
1997
IEEE
14 years 1 months ago
1997
IEEE
Tri-state buses and pass transistor logic are used in many complex applications to achieve high performance and small area. Such circuits often contain logic requiring one-hot sig...
ICCS
2009
Springer
14 years 4 months ago
2009
Springer
We present a modular approach to realizing fine-grained adaptation of program behavior in a parallel environment. Using a compositional framework based on function call intercepti...
EUROSSC
2007
Springer
14 years 3 months ago
2007
Springer
Context-aware applications require context information to adapt their behaviour to the current situation. When developing context-aware applications, application developers need to...
VR
1993
IEEE
14 years 1 months ago
1993
IEEE
Existing network management systems typically use a combination of textual displays and 2D directed graph representations of network topology. We are designing a network managemen...
NGC
1998
Springer
13 years 9 months ago
1998
Springer
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...