740 search results - page 49 / 148 » Constraints in Object-Oriented Analysis and Design |
FCCM
2004
IEEE
14 years 18 days ago
2004
IEEE
This paper presents a method that offers a uniform treatment for bit-width optimisation of both fixed-point and floating-point designs. Our work utilises automatic differentiation...
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
Abstract – For conventional designs of robots, manipulator motions result in forces and moments on the base. These forces and moments may cause undesirable translation and rotati...
BIRTHDAY
2007
Springer
14 years 26 days ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
ISIM
2007
13 years 10 months ago
2007
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...
GLVLSI
2008
IEEE
14 years 3 months ago
2008
IEEE
With the scaling down of the CMOS technologies, Negative Bias Temperature Instability (NBTI) has become a major concern due to its impact on PMOS transistor aging process and the ...