4117 search results - page 729 / 824 » On the Satisfiability of Complex Constraints |
169
click to vote
ICPP
1991
IEEE
15 years 9 months ago
1991
IEEE
The memory consistency model supported by a multiprocessor directly affects its performance. Thus, several attempts have been made to relax the consistency models to allow for mor...
162
Voted
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract-- Optimal communication/control analysis and design of dynamical controlled systems, when there are finite capacity communication constraints often involve information and...
169
click to vote
VISSYM
2007
15 years 8 months ago
2007
We present a fast hardware-accelerated stippling method which does not require any preprocessing for placing points on surfaces. The surfaces are automatically parameterized in or...
183
click to vote
AAAI
2007
15 years 8 months ago
2007
Expressive Description Logics (DLs) have been advocated as formalisms for modeling the domain of interest in various application areas. An important requirement is the ability to ...
164
click to vote
AIPS
2007
15 years 8 months ago
2007
We introduce the Linear Resource Temporal Network (LRTN), which consists of activities that consume or produce a resource, subject to absolute and relative metric temporal constra...