13109 search results - page 334 / 2622 » The design and implementation of AspectC |
161
click to vote
ICWE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. It is more convenient to talk about changes in a domainspecific way than to formulate them at the programming construct level or—even worse—purely lexical level. Usi...
155
click to vote
IWSOC
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper explores the design and optimization of Quasi-Floating Gate MOS techniques to lowvoltage/low-power digital circuitry. The simulated power consumption of standard CMOS g...
219
click to vote
MEMOCODE
2003
IEEE
16 years 1 days ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
154
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
A locking, unactuated knee is added to the Scout II quadruped robot and trotting gaits are studied. The mechanical design of the knee is presented, trotting algorithms are discuss...
150
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
Cobots are capable of producing virtual surfaces of high quality, using mechanical transmission elements as their basic element in place of conventional motors. Most cobots built ...