53 search results - page 1 / 11 » Difficult Configurations - On the Complexity of LTrL |
ICALP
1998
Springer
13 years 9 months ago
1998
Springer
The complexity of LTrL, a global linear time temporal logic over traces is investigated. The logic is global because the truth of a formula is evaluated in a global state, also ca...
ISSTA
2004
ACM
13 years 10 months ago
2004
ACM
—Many modern software systems are designed to be highly configurable so they can run on and be optimized for a wide variety of platforms and usage scenarios. Testing such systems...
CVPR
2007
IEEE
14 years 6 months ago
2007
IEEE
Calibration techniques for projector-based displays typically require that the display configuration remain fixed, since they are unable to adapt to changes such as the movement o...
ERSA
2010
13 years 2 months ago
2010
SRAM-based FPGA devices are an attractive option for data processing on space-based platforms, due to high computational capabilities and a lower power envelope than traditional pr...
WWW
2004
ACM
14 years 5 months ago
2004
ACM
The overwhelming success of the Web as a mechanism for facilitating information retrieval and for conducting business transactions has led to an increase in the deployment of comp...