675 search results - page 102 / 135 » Using Fairness to Make Abstractions Work |
103
click to vote
SENSYS
2009
ACM
15 years 8 months ago
2009
ACM
Creating and debugging programs for wireless embedded networks (WENs) is notoriously difficult. Macroprogramming is an emerging technology that aims to address this by providing ...
125
click to vote
SPIN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
127
click to vote
SIGIR
2005
ACM
15 years 7 months ago
2005
ACM
This paper describes an application of IR and text categorization methods to a highly practical problem in biomedicine, specifically, Gene Ontology (GO) annotation. GO annotation...
126
click to vote
LCTRTS
2004
Springer
15 years 7 months ago
2004
Springer
Application specific instruction-set processors combine an efficient general purpose core with special purpose functionality that is tailored to a particular application domain. ...
127
click to vote
DASFAA
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract The Internet and the Web are increasingly used to disseminate fast changing data such as sensor data, traffic and weather information, stock prices, sports scores, and eve...