899 search results - page 87 / 180 » Using Method Engineering for the Construction of Agent-Orien... |
CODES
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper, we describe a new methodology based on game theory for minimizing the average power of a circuit during scheduling in behavioral synthesis. The problem of schedulin...
SPIRE
2010
Springer
13 years 7 months ago
2010
Springer
The retrieval of similar documents in the Web from a given document is different in many aspects from information retrieval based on queries generated by regular search engine use...
IJIT
2004
13 years 10 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
SIGMOD
2007
ACM
14 years 9 months ago
2007
ACM
We present GPUQP, a relational query engine that employs both CPUs and GPUs (Graphics Processing Units) for in-memory query co-processing. GPUs are commodity processors traditiona...
IUI
2006
ACM
14 years 2 months ago
2006
ACM
The paper presents a novel approach to the peripheral display of information by applying audio effects to an arbitrary selection of music. We examine a specific instance: the comm...