4763 search results - page 814 / 953 » On the Execution of Deep Models |
209
click to vote
MIDDLEWARE
2004
Springer
16 years 9 days ago
2004
Springer
Software frequently needs to adapt its behavior at run time to respond to changes in its execution environment. Different software components may use different approaches to adap...
179
click to vote
NMR
2004
Springer
16 years 9 days ago
2004
Springer
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting a...
232
click to vote
SCOPES
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
204
click to vote
TCC
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
178
click to vote
VECPAR
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. This paper presents PerWiz, a performance prediction tool for improving the performance of message passing programs. PerWiz focuses on locating where a significant impro...