1205 search results - page 193 / 241 » Program Extraction from Large Proof Developments |
120
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
111
click to vote
SIGMETRICS
2010
ACM
15 years 6 months ago
2010
ACM
Perhaps surprisingly, no practical performance models exist for popular (and complex) client applications such as Adobe’s Creative Suite, Microsoft’s Office and Visual Studio...
121
click to vote
KI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract Recent progress in mobile broadband communication and semantic web technology is enabling innovative internet services that provide advanced personalization and localizati...
157
click to vote
JOBIM
2000
15 years 5 months ago
2000
Protein-protein interactions are critical to many biological processes, extending from the formation of cellular macromolecular structures and enzymatic complexes to the regulation...
111
click to vote
ICPP
2009
IEEE
15 years 8 months ago
2009
IEEE
—In an attempt to increase the performance/cost ratio, large compute clusters are becoming heterogeneous at multiple levels: from asymmetric processors, to different system archi...