5754 search results - page 533 / 1151 » Multi-class Model M |
149
Voted
CONCUR
1993
Springer
15 years 11 months ago
1993
Springer
The Communication Closed Layers law is shown to be modular complete for a model related to that of Mazurkiewicz. It is shown that in a modular style of program development the CCL...
187
Voted
DAC
1994
ACM
15 years 11 months ago
1994
ACM
Abstract -- This paper describes a new memory estimation technique for DSP applications written in an applicative language. Since no concept of storage is present in an applicative...
149
Voted
ISCA
1989
IEEE
15 years 11 months ago
1989
IEEE
Pipelining has become a common technique to increase throughput of the instruction fetch, instruction decode, and instruction execution portions of modern computers. Branch instru...
182
click to vote
BPM
2009
Springer
15 years 11 months ago
2009
Springer
Business workflow management and business process modeling are mature research areas, whose roots go far back to the early days of office automation systems. Scientific workflow ma...
172
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...