35 search results - page 6 / 7 » Modeling complex multi-issue negotiations using utility grap... |
ENC
2004
IEEE
15 years 3 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...
ICPR
2006
IEEE
16 years 21 days 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...
102
click to vote
ECRTS
2008
IEEE
15 years 6 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 ...
CSREASAM
2006
15 years 1 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...
113
click to vote
IPPS
2010
IEEE
14 years 8 months 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 ...