1229 search results - page 103 / 246 » Associated type synonyms |
145
click to vote
ICECCS
2007
IEEE
15 years 8 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
154
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
To alleviate the system performance unpredictability of multitasking applications running on multiprocessor platforms with shared memory hierarchies we propose a task level set ba...
122
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Several applications of graph rewriting systems (notably, some encodings of calculi with name passing) require rules which, besides deleting and generating graph items, are able to...
155
click to vote
DEXA
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents a new framework for users to select relevant data from an XML document and store it in an existing relational database, as opposed to previous approaches that s...
123
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
This paper investigates the limits of the predictions based on the classical progress rate theory for Evolution Strategies. We explain on the sphere function why positive progress...