1297 search results - page 110 / 260 » Control of systems integrating logic, dynamics, and constrai... |
109
click to vote
DAGSTUHL
2006
15 years 2 months ago
2006
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...
USENIX
2004
15 years 2 months ago
2004
This paper presents DTrace, a new facility for dynamic instrumentation of production systems. DTrace features the ability to dynamically instrument both user-level and kernel-leve...
112
click to vote
GPCE
2007
Springer
15 years 7 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
134
click to vote
FMCAD
2006
Springer
15 years 5 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
109
click to vote
ICCAD
2007
IEEE
15 years 7 months ago
2007
IEEE
—In latency-insensitive design shell modules are used to encapsulate system components (pearls) in order to interface them with the given latency-insensitive protocol and dynamic...