2496 search results - page 421 / 500 » On covering by translates of a set |
108
Voted
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
We address the design of algorithms for multicores that are oblivious to machine parameters. We propose HM, a multicore model consisting of a parallel shared-memory machine with hi...
121
click to vote
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
133
Voted
SPIN
2010
Springer
14 years 11 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
170
click to vote
WISE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Regarding web searches, users have become used to keywordbased search interfaces due to their ease of use. However, this implies a semantic gap between the user's in...
110
click to vote
ASWEC
2009
IEEE
14 years 11 months ago
2009
IEEE
Complex data mapping tasks often arise in software engineering, particularly in code generation and model transformation. We describe Marama Torua, a tool supporting high-level sp...