854 search results - page 142 / 171 » Addressing Dynamic Issues of Program Model Checking |
130
click to vote
FCCM
2006
IEEE
15 years 8 months ago
2006
IEEE
It has been shown that a small number of FPGAs can significantly accelerate certain computing tasks by up to two or three orders of magnitude. However, particularly intensive lar...
103
click to vote
RECOMB
2005
Springer
16 years 2 months ago
2005
Springer
We introduce a new scoring method for calculation of alignments of optical maps. Missing cuts, false cuts, and sizing errors present in optical maps are addressed by our alignment...
128
click to vote
AAMAS
2000
Springer
15 years 2 months ago
2000
Springer
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents, and present a framework that uses this paradigm t...
143
click to vote
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Integrating contributions received from other agents is an essential activity in multi-agent systems (MASs). Not only must related contributions be integrated together, but the co...
163
Voted
RTSS
2007
IEEE
15 years 8 months ago
2007
IEEE
Recent technological advances have opened up several distributed real-time applications involving battery-driven embedded devices with local processing and wireless communication ...