2410 search results - page 291 / 482 » Multiset Ordering Constraints |
172
Voted
PERCOM
2006
ACM
15 years 6 months ago
2006
ACM
Sensor network operating systems have to operate with limited hardware resources. Constraints on power consumption greatly reduce the resources available to such an operating syst...
130
click to vote
JAPLL
2007
15 years 6 months ago
2007
We propose a novel method of determining the appropriateness of an answer to a question through a proof of logical relevance rather than a logical proof of truth. We define logic...
159
click to vote
JCO
2007
15 years 6 months ago
2007
In adversarial environments, disabling the communication capabilities of the enemy is a high priority. We introduce the problem of determining the optimal number and locations for ...
161
click to vote
TOPNOC
2008
15 years 6 months ago
2008
Recursive Petri Nets (RPNs) allow to design and analyze complex discrete event systems. Indeed, RPNs enable to model patterns of discrete event systems related to the dynamic struc...
146
click to vote
TVLSI
2008
15 years 6 months ago
2008
In this paper, we present a dynamic thermal management (DTM) algorithm based on (i) accurate estimation of the workload of frames in a group of pictures (GOP) in an MPEG-2 video st...