3996 search results - page 455 / 800 » A Publish |
149
click to vote
EMSOFT
2003
Springer
16 years 2 days ago
2003
Springer
Since the first results published in 1973 by Liu and Layland on the Rate Monotonic (RM) and Earliest Deadline First (EDF) algorithms, a lot of progress has been made in the schedu...
194
click to vote
FPL
2003
Springer
16 years 2 days ago
2003
Springer
Local search methods such as WSAT have proven to be successful for solving SAT problems. In this paper, we propose two host-FPGA (Field Programmable Gate Array) co-implementations,...
180
click to vote
ICLP
2003
Springer
16 years 1 days ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
162
click to vote
ICOIN
2003
Springer
16 years 1 days ago
2003
Springer
Since the birth of ARPANET and the first commercial applications of computer networks, through explosion of popularity of the Internet and wireless communications, we have witnes...
174
click to vote
CBMS
2009
IEEE
15 years 12 months ago
2009
IEEE
— Real-time medical image quality is a critical requirement in a number of healthcare environments, including ophthalmology where studies suffer loss of data due to unusable (ung...