2978 search results - page 518 / 596 » Operations Research |
VIS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract--Much of the visualization research has focused on improving the rendering quality and speed, and enhancing the perceptibility of features in the data. Recently, significa...
DAC
2009
ACM
16 years 27 days ago
2009
ACM
Within-die variation in leakage power consumption is substantial and increasing for chip-level multiprocessors (CMPs) and multiprocessor systems-on-chip. Dealing with this problem...
86
Voted
SIGSOFT
2008
ACM
16 years 19 days ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
118
click to vote
SIGSOFT
2007
ACM
16 years 19 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
101
click to vote
WWW
2009
ACM
16 years 17 days ago
2009
ACM
Collaborative browsing, or co-browsing, is the co-navigation of the web with other people at-a-distance, supported by software that takes care of synchronizing the browsers. Curre...