2501 search results - page 298 / 501 » Logics with Rank Operators |
156
click to vote
FPT
2005
IEEE
15 years 11 months ago
2005
IEEE
A methodology for supporting dynamic voltage scaling (DVS) on commercial FPGAs is described. A logic delay measurement circuit (LDMC) is used to determine the speed of an inverter...
182
click to vote
FSKD
2005
Springer
15 years 11 months ago
2005
Springer
Core operations (e.g. TDMA scheduler, synchronized sleep period, data aggregation) of many proposed protocols for different layer of sensor network necessitate clock synchronizatio...
125
click to vote
BIRTHDAY
2004
Springer
15 years 11 months ago
2004
Springer
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...
148
click to vote
DSOM
2004
Springer
15 years 11 months ago
2004
Springer
Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate...
143
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Controlling the sensing of an environment by an agent has been accepted as necessary for effective operation within most practical domains. Usually, however, agents operate in par...