1511 search results - page 277 / 303 » Relational Parametricity for Computational Effects |
128
click to vote
BIRD
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Gaussian graphical models are widely used to tackle the important and challenging problem of inferring genetic regulatory networks from expression data. These models have...
142
click to vote
CHI
2008
ACM
15 years 6 months ago
2008
ACM
Usability evaluation methods have a long history of research. Latest contributions significantly raised the validity of method evaluation studies. But there is still a measurement...
155
click to vote
DAC
2005
ACM
15 years 6 months ago
2005
ACM
Reliability of nanometer circuits is becoming a major concern in today’s VLSI chip design due to interferences from multiple noise sources as well as radiation-induced soft erro...
167
click to vote
DAC
2008
ACM
15 years 6 months ago
2008
ACM
Battery lifetime and safety are primary concerns in the design of battery operated systems. Lifetime management is typically supervised by the system via battery-aware task schedu...
144
click to vote
DMIN
2008
15 years 5 months ago
2008
Abstract - The rapid advances of wireless and web technologies enable the mobile users to request various kinds of services via mobile devices at anytime and anywhere. To provide t...