2555 search results - page 437 / 511 » Putting complex systems to work |
117
click to vote
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...
100
click to vote
DLOG
2009
14 years 10 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
101
Voted
ICS
2009
Tsinghua U.
14 years 10 months ago
2009
Tsinghua U.
In the search for high performance, most transactional memory (TM) systems execute atomic blocks concurrently and must thus be prepared for data conflicts. The TM system must then...
168
Voted
CCS
2011
ACM
14 years 21 days ago
2011
ACM
Cloud computing is quickly becoming the platform of choice for many web services. Virtualization is the key underlying technology enabling cloud providers to host services for a l...
123
Voted
MICCAI
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We develop a general approach that uses holomorphic 1forms to parameterize anatomical surfaces with complex (possibly branching) topology. Rather than evolve the surface ...