3229 search results - page 481 / 646 » The Theory of Timed Automata |
157
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Information foraging models have predicted the navigation paths of people browsing the web and (more recently) of programmers while debugging, but these models do not explicitly m...
180
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
159
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Instant messaging (IM) is a common and popular way for co-workers, friends, and family to stay in touch, but its “always-on” properties can sometimes lead people to feel overe...
159
click to vote
DAC
2009
ACM
16 years 1 months ago
2009
ACM
With new technologies, temperature has become a major issue to be considered at system level design. Without taking temperature aspects into consideration, no approach to energy o...
190
click to vote
DAC
2009
ACM
16 years 1 months ago
2009
ACM
It is known that temperature gradients and thermal hotspots affect the reliability of microprocessors. Temperature is also an important constraint when maximizing the performance...