1972 search results - page 274 / 395 » Testing Mobile and Distributed Systems: Method and Experimen... |
124
click to vote
FPGA
2004
ACM
15 years 9 months ago
2004
ACM
This paper shows a method to verifying the thermal status of complex FPGA-based circuits like microprocessors. Thus, the designer can evaluate if a particular block is working bey...
144
click to vote
OSDI
2002
ACM
16 years 4 months ago
2002
ACM
This paper shows how to quickly move the state of a running computer across a network, including the state in its disks, memory, CPU registers, and I/O devices. We call this state...
112
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents an agent strategy for complex bilateral negotiations over many issues with inter-dependent valuations. We use ideas inspired by graph theory and probabilistic ...
110
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Accurate annotation of translation initiation sites (TISs) is essential for understanding the translation initiation mechanism. However, the reliability of TIS annotat...
200
click to vote
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
The field of information retrieval still strives to develop models which allow semantic information to be integrated in the ranking process to improve performance in comparison to...