2364 search results - page 44 / 473 » An Engine for Computing Well-Founded Models |
PVM
2007
Springer
15 years 6 months ago
2007
Springer
We propose a parallel MPI search engine that is capable of automatically switching between asynchronous message passing and bulk-synchronous message passing modes of operation. Whe...
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
— In this paper, we propose a control strategy to improve the combustion efficiency of Spark Ignited engines. More precisely, we adapt the spark ignition time according to varia...
106
click to vote
DAC
2002
ACM
16 years 23 days ago
2002
ACM
This paper proposes a general hierarchical analysis methodology, HiPRIME, to efficiently analyze RLKC power delivery systems. After partitioning the circuits into blocks, we devel...
101
click to vote
AINA
2006
IEEE
15 years 3 months ago
2006
IEEE
The design and development process of complex systems require an adequate methodology and efficient instrumental support in order to early detect and correct anomalies in the func...
IEEESCC
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...