7430 search results - page 590 / 1486 » Programming Applications in CIFF |
202
click to vote
HIPC
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. Lock-free shared data structures in the setting of distributed computing have received a fair amount of attention. Major motivations of lock-free data structures include ...
232
click to vote
BIRTHDAY
2003
Springer
16 years 12 days ago
2003
Springer
Combinatorial optimization problems naturally arise in many application areas, including logistics, manufacturing, supplychain management, and resource allocation. They often give...
195
click to vote
ITNG
2010
IEEE
16 years 7 days ago
2010
IEEE
—There are several institutions that accredit educational programs and require documentation to ensure that an educational program regularly meets certain criteria. This paper fo...
173
click to vote
KR
1998
Springer
15 years 11 months ago
1998
Springer
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...
188
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...