7189 search results - page 275 / 1438 » Connecting Design with Code |
142
Voted
EH
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper proposes an original approach to the reliability analysis for Embryonics [4], by introducing the accuracy threshold measure, borrowed from fault-tolerant quantum comput...
GFKL
2004
Springer
15 years 9 months ago
2004
Springer
This paper analyses the influence of 13 stylized facts of the German economy on the West German business cycles from 1955 to 1994. The method used in this investigation is Statist...
121
click to vote
ECRTS
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
122
Voted
ISQED
2005
IEEE
15 years 9 months ago
2005
IEEE
Double-Gate (DG) transistor has emerged as the most promising device for nano-scale circuit design. Independent control of front and back gate in DG devices can be effectively use...
140
Voted
CPM
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we propose new solution methods for designing tag sets for use in universal DNA arrays. First, we give integer linear programming formulations for two previous formal...