1150 search results - page 153 / 230 » Specifying Information-Flow Controls |
RSP
1999
IEEE
14 years 13 days ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
TIME
1999
IEEE
14 years 13 days ago
1999
IEEE
We present a new forward chaining planner, TALplanner, based on ideas developed by Bacchus [5] and Kabanza [11], where domain-dependent search control knowledge represented as tem...
VISUALIZATION
1999
IEEE
14 years 13 days ago
1999
IEEE
Computer simulation and digital measuring systems are now generating data of unprecedented size. The size of data is becoming so large that conventional visualization tools are in...
PKC
1999
Springer
14 years 13 days ago
1999
Springer
Abstract. In a distributed system, dynamically dividing execution between nodes is essential for service robustness. However, when all of the nodes cannot be equally trusted, and w...
PEPM
1997
ACM
14 years 9 days ago
1997
ACM
We present the design of a dynamic compilation system for C. Directed by a few declarative user annotations specifying where and on what dynamic compilation is to take place, a bi...