1105 search results - page 154 / 221 » Performance Engineering Models of CORBA-based Distributed-Ob... |
119
Voted
IUI
2010
ACM
15 years 11 months ago
2010
ACM
We present an extension of a computational cognitive model of social tagging and exploratory search called the semantic imitation model. The model assumes a probabilistic represen...
114
Voted
EMSOFT
2008
Springer
15 years 4 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 ...
113
click to vote
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
128
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
We describe the commercial application of agents to the handling of catalogue and stock-control for the selling of books on the internet. The primary characteristic of the target ...
123
click to vote
SIAMJO
2002
15 years 2 months ago
2002
In this paper we propose a novel finite-horizon, discrete-time, time-varying filtering method based on the robust semidefinite programming (SDP) technique. The proposed method prov...