6239 search results - page 56 / 1248 » From Zinc to Design Model |
111
click to vote
RSP
1999
IEEE
15 years 8 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
135
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
137
Voted
ESTIMEDIA
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a technique for high-level power estimation of microprocessors. The technique, which is based on abstract execution profiles called ’event signatures’, op...
138
click to vote
SG
2005
Springer
15 years 10 months ago
2005
Springer
Shading has a great impact to the human perception of 3D objects. Thus, in order to create or to deform a 3D object, it seems natural to manipulate its perceived shading. This pape...
192
click to vote
WCE
2008
15 years 6 months ago
2008
Abstract Emotion, personality and individual differences are those effective parameters on human's activities such as learning. People with different personalities show differ...