1064 search results - page 139 / 213 » Disjoint Systems (Extended Abstract) |
142
Voted
AMR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Automatic structuring is one means to ease access to document collections, be it for organization or for exploration. Of even greater help would be a presentation that ad...
133
click to vote
CP
2007
Springer
15 years 9 months ago
2007
Springer
The increasing levels of system integration in Multi-Processor System-on-Chips (MPSoCs) emphasize the need for new design flows for efficient mapping of multi-task applications o...
109
Voted
CSL
2004
Springer
15 years 9 months ago
2004
Springer
Subtyping rules can be fairly complex for union types, due to interactions with other types, such as function types. Furthermore, these interactions turn out to depend on the calc...
119
Voted
GG
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Graph constraints and application conditions are most important for graph grammars and transformation systems in a large variety of application areas. Although different...
114
Voted
GG
2004
Springer
15 years 9 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...