16404 search results - page 2486 / 3281 » A set coverage problem |
193
Voted
TACAS
2010
Springer
16 years 2 months ago
2010
Springer
Deciding whether a modal formula is satisfiable with respect to a given set of (global) assumptions is a question of fundamental importance in applications of logic in computer sc...
193
click to vote
TACAS
2010
Springer
16 years 2 months ago
2010
Springer
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...
230
click to vote
CISIS
2010
IEEE
16 years 2 months ago
2010
IEEE
—Most mobile devices are now Bluetooth-enabled. This wireless technology makes it possible to transfer files or stream contents between pieces of equipment. The possibly many de...
179
click to vote
IEEEARES
2010
IEEE
16 years 2 months ago
2010
IEEE
—Increasingly, organizations collaborate with other organizations in value webs with various arrangements, such as outsourcing, partnering, joint ventures, or subcontracting. As ...
205
click to vote
CC
2010
Springer
16 years 2 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...