295 search results - page 41 / 59 » SAT, SMT and Applications |
110
Voted
IPPS
2009
IEEE
15 years 8 months ago
2009
IEEE
Various studies have shown that OS jitter can degrade parallel program performance considerably at large processor counts. Most sources of system jitter fall broadly into 5 catego...
125
click to vote
ECOOP
2011
Springer
14 years 1 months ago
2011
Springer
Object ownership is useful for many applications, including program verification, thread synchronization, and memory management. However, the annotation overhead of ownership type...
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
—Mobile WiMAX is one of the most promising technologies for broadband wireless communication. The IEEE 802.16e standard for Mobile WiMAX, the enhanced version of the IEEE 802.16 ...
162
click to vote
DLOG
2011
14 years 5 months ago
2011
Abstract. For a number of problems, such as ontology learning or image labeling, we need to handle uncertainty and inconsistencies in an appropriate way. Fuzzy and Probabilistic De...
100
Voted
AIPS
2009
15 years 3 months ago
2009
Temporally expressive planning, an important class of temporal planning, has attracted much attention lately. Temporally expressive planning is difficult; few existing planners ca...