4418 search results - page 834 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
164
click to vote
SPAA
2006
ACM
16 years 3 days ago
2006
ACM
Synchronization is often necessary in parallel computing, but it can create delays whenever the receiving processor is idle, waiting for the information to arrive. This is especia...
205
click to vote
SIGGRAPH
1992
ACM
15 years 10 months ago
1992
ACM
To reduce the cost of correcting design errors, assemblies of mechanical parts are modeled using CAD systems and verified electronically before the designs are sent to manufacturi...
171
click to vote
HRI
2007
ACM
15 years 10 months ago
2007
ACM
Intelligent planning algorithms such as the Partially Observable Markov Decision Process (POMDP) have succeeded in dialog management applications [10, 11, 12] because of their rob...
403
click to vote
DAC
2012
ACM
13 years 8 months ago
2012
ACM
Due to the breakdown of Dennardian scaling, the percentage of a silicon chip that can switch at full frequency is dropping exponentially with each process generation. This utiliza...
164
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
In automated trust negotiation (ATN), two parties exchange digitally signed credentials that contain attribute information to establish trust and make access control decisions. Be...