4763 search results - page 261 / 953 » On the Execution of Deep Models |
160
click to vote
IICS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
157
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
Kahn defined a formal model for networks of processes that communicate through channels carrying streams of data tokens. His mathematical results show the necessary conditions fo...
200
click to vote
ATAL
2001
Springer
15 years 11 months ago
2001
Springer
We develop an approach in which we model communication protocols via commitment machines. Commitment machines supply a content to protocol states and actions in terms of the social...
262
click to vote
SAIG
2001
Springer
15 years 11 months ago
2001
Springer
A characteristic of aspect-oriented programming, as embodied in AspectJ, is the use of advice to incrementally modify the behavior of a program. An advice declaration specifies a...
165
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Interprocessor communication times can be a significant fraction of the overall execution time required for data parallel applications. Large communication to computation ratios o...