1105 search results - page 149 / 221 » Performance Engineering Models of CORBA-based Distributed-Ob... |
120
click to vote
ISMS
2004
Springer
15 years 8 months ago
2004
Springer
Physically based modeling of deformable objects such as cloth or human tissue has grown to be very important for virtual simulations. However, interactive simulation of these nonl...
161
click to vote
POPL
2011
ACM
14 years 5 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
118
click to vote
EICS
2009
ACM
15 years 7 months ago
2009
ACM
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...
129
Voted
CGO
2009
IEEE
15 years 9 months ago
2009
IEEE
—Most research into high-performance software transactional memory (STM) assumes that transactions will run on a processor with a relatively strict memory model, such as Total St...
138
Voted
MIDDLEWARE
2007
Springer
15 years 8 months ago
2007
Springer
The emergence of applications domains such as pervasive and autonomic computing has increased the need for customisation and dynamic adaptation of both distributed systems, and th...