413 search results - page 27 / 83 » On Product Logic with Truth-constants |
FUIN
2008
14 years 12 months ago
2008
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of di...
SLOGICA
2002
14 years 11 months ago
2002
A survey is given of results about coherence for categories with finite products and coproducts. For these results, which were published previously by the authors in several places...
204
click to vote
DLOG
2011
14 years 3 months ago
2011
This paper examines a new technique based on tableau, that allows one to introduce composition of roles from the right hand side of complex role inclusion axioms (RIAs). Our motiva...
DAC
1996
ACM
15 years 4 months ago
1996
ACM
This paper provides a case study that shows how a demanding application stresses the capabilities of today's CAD tools, especially in the integration of products from multipl...
MICRO
2000
IEEE
15 years 4 months ago
2000
IEEE
A machine’s performance is the product of its IPC (Instructions Per Cycle) and clock frequency. Recently, Palacharla, Jouppi, and Smith [3] warned that the dynamic instruction s...