9626 search results - page 1628 / 1926 » Invariant Based Programming |
175
click to vote
IPPS
2006
IEEE
16 years 21 days ago
2006
IEEE
Applications for constrained embedded systems are subject to strict time constraints and restrictive resource utilization. With soft core processors, application developers can cu...
153
click to vote
IROS
2006
IEEE
16 years 21 days ago
2006
IEEE
— In this paper we present a novel method for visual scanning and target tracking by means of independent pan-tilt cameras which mimic the chameleon visual system. We present a s...
133
click to vote
ISCAS
2006
IEEE
16 years 21 days ago
2006
IEEE
A low-power output feedback controlled frequency synthesizer. Our proposed circuit can be used for low-power multiplier is proposed for Delay Locked Loop (DLL) based application an...
150
click to vote
LICS
2006
IEEE
16 years 20 days ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
175
click to vote
SAINT
2006
IEEE
16 years 20 days ago
2006
IEEE
We present a novel approach to conserve power in networked mobile devices. Our approach exploits communication within a pervasive smart space as an opportunity to save power as op...