4480 search results - page 838 / 896 » Prototyping Completion with Constraints Using Computational ... |
155
click to vote
RTSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Power management in data centers has become an increasingly important concern. Large server installations are designed to handle peak load, which may be significantly larger than...
143
Voted
SIGGRAPH
2003
ACM
15 years 11 months ago
2003
ACM
Our design goal for OnLive Traveler was to develop a virtual community system that emulates natural social paradigms, allowing the participants to sense a tele-presence, the subje...
156
click to vote
ICPP
2002
IEEE
15 years 10 months ago
2002
IEEE
Code size expansion of software-pipelined loops is a critical problem for DSP systems with strict code size constraint. Some ad-hoc code size reduction techniques were used to try...
195
click to vote
CSL
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
153
Voted
ISICT
2003
15 years 7 months ago
2003
Situational information can enrich the interactions between a user and the services they wish to utilize. Such information encompasses details about the user, the physical environ...