1128 search results - page 123 / 226 » Little Engines of Proof |
84
Voted
VLSI
2007
Springer
15 years 7 months 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 ...
122
click to vote
APSEC
2006
IEEE
15 years 6 months 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...
95
Voted
CCECE
2006
IEEE
15 years 6 months 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...
63
Voted
CSMR
2006
IEEE
15 years 6 months 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 ...
AUIC
2005
IEEE
15 years 6 months 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...