4698 search results - page 95 / 940 » Making Functionality More General |
104
click to vote
PLDI
2010
ACM
16 years 20 days ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
128
click to vote
TCAD
2002
15 years 2 months ago
2002
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
130
click to vote
TPDS
2010
15 years 1 months ago
2010
Message passing using the Message Passing Interface (MPI) is at present the most widely adopted framework for programming parallel applications for distributed-memory and clustere...
127
click to vote
NIPS
1993
15 years 4 months ago
1993
Dynamic programming provides a methodology to develop planners and controllers for nonlinear systems. However, general dynamic programming is computationally intractable. We have ...
117
click to vote
IJCAI
2003
15 years 4 months ago
2003
Intelligent agents often need to assess user utility functions in order to make decisions on their behalf, or predict their behavior. When uncertainty exists over the precise natu...