1597 search results - page 76 / 320 » A Design Method for Object-Oriented Programming |
OOPSLA
2009
Springer
15 years 2 months ago
2009
Springer
The “Killer Examples” series of workshops are highly interactive workshops which have been an annual occurrence at OOPSLA since 2002. The goals of the workshop are to bring to...
DAC
2004
ACM
15 years 11 months ago
2004
ACM
We present a method for designing operational amplifiers using reversed geometric programming, which is an extension of geometric programming that allows both convex and non-conve...
102
click to vote
TASE
2007
IEEE
15 years 4 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
ASPDAC
2004
ACM
15 years 1 months ago
2004
ACM
- In this paper, a novel strategy for designing the heterogeneous-tree multiplexer is proposed. We build the multiplexer delay model by curve fitting and then formulate the heterog...
VL
2005
IEEE
15 years 3 months ago
2005
IEEE
Previous research has revealed gender differences that impact females’ willingness to adopt software features in end users’ programming environments. Since these features have...