2036 search results - page 97 / 408 » A generic type-and-effect system |
84
Voted
CALCO
2007
Springer
15 years 6 months ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...
104
Voted
FM
2003
Springer
15 years 5 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
184
click to vote
FDL
2004
IEEE
15 years 4 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
91
Voted
IAT
2009
IEEE
15 years 7 months ago
2009
IEEE
—In this paper we present a generic approach for summarising multilingual news clusters such as the ones produced by the Europe Media Monitor (EMM) system. It is generic because ...
96
Voted
ICPPW
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Motivated by the increasing heterogeneity and complexity of MPSoC systems, we propose a component-based generic approach for MPSoC observation. We show that components...