56 search results - page 9 / 12 » Dynamically Partitioning for Solving QBF |
149
click to vote
AI
2011
Springer
15 years 18 days ago
2011
Springer
The Extended Global Cardinality Constraint (EGCC) is a vital component of constraint solving systems, since it is very widely used to model diverse problems. The literature contai...
167
click to vote
CODES
2003
IEEE
15 years 11 months ago
2003
IEEE
Distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate over bus protocols consisting of both static and dynamic phases...
164
click to vote
LCPC
1997
Springer
15 years 9 months ago
1997
Springer
The data distribution problem is very complex, because it involves trade-offdecisions between minimizing communication and maximizing parallelism. A common approach towards solving...
183
click to vote
ICPP
1998
IEEE
15 years 9 months ago
1998
IEEE
MPEG-4 which is currently being developed by MPEG (Moving Pictures Experts Group), is poised to become a standard for supporting current and emerging interactive multimedia applic...
165
click to vote
DAC
1999
ACM
16 years 6 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...