396 search results - page 68 / 80 » Combining decision procedures for the reals |
HICSS
2008
IEEE
15 years 8 months ago
2008
IEEE
We describe questions that commonly arise in early-phase user research for new technology products concerning customer needs, priorities, and market definition. We suggest that me...
112
click to vote
IEEEPACT
2007
IEEE
15 years 7 months ago
2007
IEEE
Loop nest optimization is a combinatorial problem. Due to the growing complexity of modern architectures, it involves two increasingly difficult tasks: (1) analyzing the profita...
115
click to vote
ADBIS
2006
Springer
15 years 7 months ago
2006
Springer
In many information systems, the databases that make up the system are distributed in different modules or branch offices according to the requirements of the business enterprise. ...
113
click to vote
INFOCOM
1996
IEEE
15 years 5 months ago
1996
IEEE
A number of proposals for supporting IP over ATM are under discussion in the networking community including: LAN emulation, classical IP over ATM, routing over large clouds, and m...
130
click to vote
ICS
1993
Tsinghua U.
15 years 5 months ago
1993
Tsinghua U.
Performance monitoring of large scale parallel computers creates a dilemma: we need to collect detailed information to find performance bottlenecks, yet collecting all this data ...