1982 search results - page 266 / 397 » Parametricity and dependent types |
ICCD
2003
IEEE
15 years 7 months ago
2003
IEEE
Embedded processors like Intel’s XScale use dynamic branch prediction to improve performance. Due to the presence of context switches, the accuracy of these predictors is reduce...
ICCAD
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents figures of merit and error formulae to determine which interconnects require volume discretization in the GHZ range. Most of the previous work focused mainly o...
79
Voted
CSCW
2010
ACM
15 years 7 months ago
2010
ACM
Synchronous groupware depends on the assumption that people are fully connected to the others in the group, but there are many situations (network delay, network outage, or explic...
85
Voted
CISIS
2010
IEEE
15 years 5 months ago
2010
IEEE
— In pervasive environment, it is essential for computing applications to be context-aware. However, one of the major challenges is the establishment of a generic and dynamic con...
DASFAA
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract. The lack of flexibility is often seen as an inhibitor for the successful application of workflow technology. Many researchers have proposed different ways of addressin...