1205 search results - page 186 / 241 » Program Extraction from Large Proof Developments |
IFIP
2010
Springer
14 years 12 months ago
2010
Springer
In online shopping scenarios, it can be difficult for consumers to process the vast amounts of information available and to make satisfactory buying decisions. Interactive decision...
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
. Organizations are increasingly turning to large, enterprise-wide software systems as potential solutions to managing complex business-to-business (B2B) relationships. These syste...
142
click to vote
PVLDB
2008
15 years 25 days ago
2008
Companies providing cloud-scale services have an increasing need to store and analyze massive data sets such as search logs and click streams. For cost and performance reasons, pr...
ISVLSI
2007
IEEE
15 years 7 months ago
2007
IEEE
The new design challenges imposed by the increasing difficulties of today’s electronic systems obligated designers to develop new methodologies. System-level design and Platfor...
101
click to vote
SPAA
1990
ACM
15 years 5 months ago
1990
ACM
Multithreading has been proposed as an architectural strategy for tolerating latency in multiprocessors and, through limited empirical studies, shown to offer promise. This paper ...