1317 search results - page 135 / 264 » context 2005 |
FM
2003
Springer
14 years 2 months ago
2003
Springer
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...
CHI
1997
ACM
14 years 1 months ago
1997
ACM
This paper describes a project that was carried out by Philips Corporate Design (PCD) to explore ideas for products and services, which could be part of our future in the year 200...
GREC
2009
Springer
14 years 28 days ago
2009
Springer
Abstract. In this paper we propose a new approach to recognize symbols by the use of a concept lattice. We propose to build a concept lattice in terms of graphical patterns. Each m...
ASPDAC
2005
ACM
13 years 11 months ago
2005
ACM
In modern VLSI designs, the increasingly severe power problem requests to minimize clock routing wirelength so that both power consumption and power supply noise can be alleviated...
ASPDAC
2005
ACM
13 years 11 months ago
2005
ACM
Abstract— Today’s embedded systems are typically distributed and more often confronted with timevarying demands. Existing methodologies that optimize the partitioning of comput...