1237 search results - page 189 / 248 » Strictness and Totality Analysis |
158
click to vote
HPCC
2009
Springer
15 years 10 months ago
2009
Springer
This paper studies a load scheduling strategy with nearoptimal processing time leveraging the computational characteristics of parallel DNA sequence alignment algorithms, specific...
160
click to vote
SBMF
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
157
click to vote
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
The Boolean satisfiability problem (SAT) has various applications in electronic design automation (EDA) fields such as testing, timing analysis and logic verification. SAT has bee...
129
click to vote
HICSS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper explores the marketing of daily consumer goods in a pilot Web-based supermarket, in which no regular customers existed from among 65 registered ones at the end of the p...
121
click to vote
HICSS
2000
IEEE
15 years 10 months ago
2000
IEEE
Traditionally in industrial system development, the total project is decomposed into phases. The result from one phase, normally a document or a system component, is passed to the...