1128 search results - page 123 / 226 » Little Engines of Proof |
161
click to vote
VLSI
2007
Springer
16 years 15 days ago
2007
Springer
System design complexity is growing rapidly. As a result, current development costs are constantly increasing. It is becoming increasingly difficult to estimate how much time it ...
183
click to vote
APSEC
2006
IEEE
16 years 14 days ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
160
click to vote
CCECE
2006
IEEE
16 years 14 days ago
2006
IEEE
A high-speed low-power rail-to-rail class-B buffer amplifier, which is suitable for liquid crystal display applications, is proposed. The summing circuit is biased by the constant...
116
click to vote
CSMR
2006
IEEE
16 years 14 days ago
2006
IEEE
Automated formatting is an important technique for the software maintainer. It is either applied separately to improve the readability of source code, or as part of a source code ...
142
click to vote
AUIC
2005
IEEE
16 years 1 days ago
2005
IEEE
Many researchers have developed many programming environments for children. Typically each of these environments contains its own programming notation ranging from computer code t...