1604 search results - page 66 / 321 » A Logical Viewpoint on Architectures |
174
click to vote
JELIA
2010
Springer
15 years 4 months ago
2010
Springer
Stable belief sets were introduced by R. Stalnaker in the early ’80s, as a formal representation of the epistemic state for an ideal introspective agent. This notion motivated M...
136
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
This paper describes a function-based timing-driven optimization technique for the synthesis of multi-level logic circuits. Motivated by the principles of parallel prefix computat...
182
Voted
SP
2000
IEEE
15 years 10 months ago
2000
IEEE
We address the goal of making Delegation Logic (DL) into a practically implementable and tractable trustmanagement system. DL [22] is a logic-based knowledge representation (i.e.,...
184
Voted
DAC
2002
ACM
16 years 7 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
150
click to vote
PADL
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...