2558 search results - page 306 / 512 » Model Composition Contracts |
130
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
With the emergence of multicore network processors in support of high-performance computing and networking applications, power consumption has become a problem of increasing signi...
140
click to vote
TOOLS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
123
click to vote
CICLING
2005
Springer
15 years 10 months ago
2005
Springer
In this paper a computational model of the Spanish clitic system is presented. In this model clitic pronouns receive a dual analysis in which enclitics are considered inflexions wh...
137
click to vote
SIGGRAPH
1999
ACM
15 years 9 months ago
1999
ACM
Stone is widespread in its use as a building material and artistic medium. One of its most remarkable qualities is that it changes appearance as it interacts with the environment....
139
click to vote
ICDCS
1996
IEEE
15 years 9 months ago
1996
IEEE
We introduce a shared memory software prototype system for executing programs with nested parallelism on a network of workstations. This programming model exhibits a very convenie...