8109 search results - page 1267 / 1622 » A Model of Component-Based Programming |
158
Voted
SODA
2001
ACM
15 years 6 months ago
2001
ACM
Covering and packing integer programs model a large family of combinatorial optimization problems. The current-best approximation algorithms for these are an instance of the basic...
135
click to vote
SERP
2004
15 years 6 months ago
2004
Game and simulation development is a difficult process because there are many low level infrastructure concerns that need to be addressed. This is a barrier to development for ine...
152
click to vote
SERP
2004
15 years 6 months ago
2004
A common assumption for many process-centred support environments is that they provide the same process support at different levels of the organization. We believe that the requir...
152
Voted
MMNS
2003
15 years 6 months ago
2003
In this paper we present a new tool called BeanWatcher that allows the semi-automatic generation of multimedia monitoring and management applications for wireless sensor networks. ...
137
click to vote
PDPTA
2003
15 years 6 months ago
2003
We present a novel approach to parallel Boolean satisfiability (SAT) checking. A distinctive feature of our parallel SAT checker is that it incorporates all essential heuristics ...