2881 search results - page 572 / 577 » Model Checking for Programming Languages using Verisoft |
ICALP
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. In experimental psychology, the method of paired comparisons was proposed as a means for ranking preferences amongst n elements of a human subject. The method requires pe...
102
Voted
IEEEPACT
2007
IEEE
15 years 6 months ago
2007
IEEE
With the advent of chip-multiprocessors, we are faced with the challenge of parallelizing performance-critical software. Transactional memory (TM) has emerged as a promising progr...
96
Voted
DAGSTUHL
2007
15 years 1 months ago
2007
rocesses involve modeling – simplifying or abstracting some aspects of the problem domain in order to plan and evaluate design decisions. The use of representations to reason abo...
154
click to vote
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
The parallel packet switch (PPS) extends the inverse multiplexing architecture, and is extensively used as the core of contemporary commercial switches. A key factor in the perfor...
109
click to vote
HPDC
2009
IEEE
15 years 6 months ago
2009
IEEE
This article deals with TakTuk, a middleware that deploys efficiently parallel remote executions on large scale grids (thousands of nodes). This tool is mostly intended for intera...