4117 search results - page 642 / 824 » On the Satisfiability of Complex Constraints |
181
click to vote
CSMR
2006
IEEE
16 years 21 days ago
2006
IEEE
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...
187
click to vote
MOMPES
2006
IEEE
16 years 19 days ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
175
click to vote
VL
2006
IEEE
16 years 19 days ago
2006
IEEE
Parsing hand-drawn diagrams is a definitely complex recognition problem. The input drawings are often intrinsically ambiguous, and require context to be interpreted in a correct w...
179
click to vote
SIGECOM
2006
ACM
16 years 17 days ago
2006
ACM
We investigate the space of two-sided multiattribute auctions, focusing on the relationship between constraints on the offers traders can express through bids, and the resulting c...
172
click to vote
CODES
2005
IEEE
16 years 7 days ago
2005
IEEE
In order to meet flexibility, performance and energy efficiency constraints, future SoC (System-on-Chip) designs will contain an increasing number of heterogeneous processor cor...