1358 search results - page 40 / 272 » Proceedings |
FOSSACS
2007
Springer
14 years 4 months ago
2007
Springer
We study the complexity of satisfiability for the expressive extension ICPDL of PDL (Propositional Dynamic Logic), which admits intersection and converse as program operations. Ou...
GW
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This work aims to recognize signs which have both manual and nonmanual components by providing a sequential belief-based fusion mechanism. We propose a methodology based ...
CLUSTER
2006
IEEE
14 years 3 months ago
2006
IEEE
The MPI-IO standard creates a huge opportunity to break out of the traditional file system I/O methods. As a software layer between the user and the file system, an MPI-IO libra...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
Transparent-scan was proposed as an approach to test generation and test compaction for scan circuits. Its effectiveness was demonstrated earlier in reducing the test application ...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper we show how high-level UML models of mobile computing applications can be analysed for classical performance measures such as throughput. The approach proceeds by co...