15840 search results - page 2600 / 3168 » The Control of Synchronous Systems |
176
click to vote
ENTCS
2007
15 years 7 months ago
2007
In this paper we present an analysis of a MAC (Medium Access Control) protocol for wireless sensor networks. The purpose of this protocol is to manage wireless media access by con...
200
click to vote
NC
2006
15 years 7 months ago
2006
Previously, we described ways to implement the functions AND and OR in a DNA computer consisting of microreactors with attached heating elements that control annealing of DNA. Base...
200
click to vote
RAS
2006
15 years 7 months ago
2006
A class of biped locomotion called Passive Dynamic Walking (PDW) has been recognized to be efficient in energy consumption and a key to understand human walking. Although PDW is s...
201
click to vote
TASLP
2008
15 years 7 months ago
2008
Wave digital filters (WDFs) were originally developed for robust discrete-time simulation of analog filters, but recently they have been applied successfully to modeling of physica...
177
click to vote
APAL
2005
15 years 7 months ago
2005
We present an extension of Heyting Arithmetic in finite types called Uniform Heyting Arithmetic (HAu) that allows for the extraction of optimized programs from constructive and cla...