3799 search results - page 679 / 760 » An Engineering Approach to Formal Methods |
140
click to vote
GLVLSI
2003
IEEE
15 years 9 months ago
2003
IEEE
We propose an approach for reducing the energy consumption of address buses that targets both the switching and the crosstalk components of power dissipation. The method is based ...
160
click to vote
ICAT
2003
IEEE
15 years 9 months ago
2003
IEEE
Forest resource management systems and forest landscape visualization applications often need usersteered interactive displays of a forest landscape representing the underlying fo...
165
click to vote
IWPSE
2003
IEEE
15 years 9 months ago
2003
IEEE
The dependencies and interrelations between classes and modules affect the maintainability of object-oriented systems. It is therefore important to capture weaknesses of the softw...
152
click to vote
SAC
2009
ACM
15 years 9 months ago
2009
ACM
Identification and specification of business requirements are extremely important when development of Enterprise Resource Planning systems (ERPs) take place. It can be stated that...
162
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
This paper presents a novel approach for synthesis of analog systems from behavioral VHDL-AMS specifications. We implemented this approach in the VASE behavioral-synthesis tool. ...