15754 search results - page 763 / 3151 » Programs are Knowledge Bases |
193
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
195
click to vote
HICSS
2003
IEEE
16 years 25 days ago
2003
IEEE
Efficacy and Sustainability of a Telerehabilitation Program Sustainability and appropriateness of care are important components for healthcare systems as they begin integrating te...
269
click to vote
IFIP
2001
Springer
16 years 6 hour ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
294
click to vote
EMSOFT
2006
Springer
15 years 11 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
194
click to vote
ASPLOS
2008
ACM
15 years 9 months ago
2008
ACM
Integrating more processor cores on-die has become the unanimous trend in the microprocessor industry. Most of the current research thrusts using chip multiprocessors (CMPs) as th...