10038 search results - page 1715 / 2008 » Model Checking for Managers |
178
click to vote
MICRO
2007
IEEE
16 years 24 days ago
2007
IEEE
A significant part of future microprocessor real estate will be dedicated to L2 or L3 caches. These on-chip caches will heavily impact processor performance, power dissipation, a...
210
click to vote
ICS
2007
Tsinghua U.
16 years 20 days ago
2007
Tsinghua U.
Grid Workflows are emerging as practical programming models for solving large e-scientific problems on the Grid. However, it is typically assumed that the workflow components eith...
154
click to vote
OOPSLA
2007
Springer
16 years 20 days ago
2007
Springer
Custom House's new currency exchange system is integrated with a legacy system. After a few years of growth, the two systems were so intricately tangled that even small chang...
202
click to vote
ISMAR
2006
IEEE
16 years 16 days ago
2006
IEEE
One of the key requirements of augmented reality systems is a robust real-time camera pose estimation. In this paper we present a robust approach, which does neither depend on of...
144
click to vote
ELPUB
2006
ACM
16 years 15 days ago
2006
ACM
Walking is becoming increasingly popular as a leisure activity across Europe. Outdoor equipment has modernized, gained flexibility and lost weight. GPS devices are gaining popular...