6456 search results - page 927 / 1292 » Constraint Solving on Terms |
176
click to vote
ISLPED
2010
ACM
15 years 7 months ago
2010
ACM
Booth encoding is believed to yield faster multiplier designs with higher energy consumption. 16x16-bit Booth and NonBooth multipliers are analyzed in energy and delay space under...
197
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
187
click to vote
SIGMOD
2010
ACM
15 years 7 months ago
2010
ACM
An increasing amount of personal data is automatically gathered on servers by administrations, hospitals and private companies while several security surveys highlight the failure...
190
click to vote
SPAA
2010
ACM
15 years 7 months ago
2010
ACM
We present a scheduling algorithm of stream programs for multi-core architectures called team scheduling. Compared to previous multi-core stream scheduling algorithms, team schedu...
153
click to vote
WWW
2010
ACM
15 years 7 months ago
2010
ACM
With the rapid growth in the number of online Web services, the problem of service adaptation has received significant attention. In matching and adaptation, the functional descri...