875 search results - page 113 / 175 » Specification Modules for Methodical System Development |
116
click to vote
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
The majority of current Network on Chip (NoC) architectures employ mesh topology and use simple static routing, to reduce power and area. However, regular mesh topology is unreali...
ICCD
1994
IEEE
15 years 1 months ago
1994
IEEE
Systems for multi-level logic optimization are usually based on a set of specialized, loosely-related transformations which work on a network representation. The sequence of trans...
DLOG
2006
14 years 11 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
ICSM
1997
IEEE
15 years 2 months ago
1997
IEEE
Conventional software engineering tends to focus on a small part of the software life cycle: the design and implementation of a product. The bulk of the lifetime cost is in the ma...
JUCS
2006
14 years 9 months ago
2006
: The lack of appropriate and accurate information on the ability of a frail individual to accomplish specific task oriented activities can place the individual at risk or result i...