35 search results - page 6 / 7 » Modeling complex multi-issue negotiations using utility grap... |
134
Voted
ENC
2004
IEEE
15 years 7 months ago
2004
IEEE
This article deals with the problem of data cache for dynamic web servers. A set of requests (which number could be large) is submitted to a server for computing. Every request is...
103
Voted
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
There are different approaches to pose estimation and registration of different body parts using voxel data. We propose a general bottom-up approach in order to segment the voxels...
142
Voted
ECRTS
2008
IEEE
15 years 10 months ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
119
Voted
CSREASAM
2006
15 years 5 months ago
2006
: Traditional state modeling techniques have several limitations. One of these is the reduced ability to model a large number of variables simultaneously. Another limitation is tha...
159
Voted
IPPS
2010
IEEE
15 years 28 days ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...