4763 search results - page 671 / 953 » On the Execution of Deep Models |
225
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
Engineering distributed systems is a challenging activity. This is partly due to the intrinsic complexity of distributed systems, and partly due to the practical obstacles that de...
190
click to vote
ECOOP
2005
Springer
16 years 29 days ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
199
click to vote
IUI
2004
ACM
16 years 26 days ago
2004
ACM
Technical support procedures are typically very complex. Users often have trouble following printed instructions describing how to perform these procedures, and these instructions...
208
click to vote
FMCAD
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
218
click to vote
EUROPAR
1997
Springer
15 years 11 months ago
1997
Springer
Instruction scheduling in general, and software pipelining in particular face the di cult task of scheduling operations in the presence of uncertain latencies. The largest contrib...