6456 search results - page 922 / 1292 » Constraint Solving on Terms |
158
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we present a design space exploration flow to achieve energy efficiency for streaming applications on MPSoCs while meeting the specified throughput constraints. The ...
173
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
168
click to vote
IMC
2007
ACM
15 years 8 months ago
2007
ACM
Several route monitoring systems have been set up to help understand the Internet routing system. They operate by gathering realtime BGP updates from different networks. Many stud...
188
click to vote
BCSHCI
2007
15 years 8 months ago
2007
Second Life is an online 3D virtual environment that offers interesting potential for use in education due to its widespread availability, flexibility, and its use of standard pla...
179
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
We address the problem of finding sparse wavelet representations of high-dimensional vectors. We present a lower-bounding technique and use it to develop an algorithm for computi...