308 search results - page 24 / 62 » Modular Verification of Interactive Systems with an Applicat... |
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
General purpose object-oriented programs typically aren’t embarrassingly parallel. For these applications, finding enough concurrency remains a challenge in program design. To ...
KDD
2003
ACM
14 years 7 months ago
2003
ACM
DNA microarray provides a powerful basis for analysis of gene expression. Data mining methods such as clustering have been widely applied to microarray data to link genes that sho...
ITC
2003
IEEE
14 years 20 days ago
2003
IEEE
The long term impact of MEMS technology will be in its ability to integrate novel sensing and actuation functionality on traditional computing and communication devices enabling t...
ENTCS
2007
13 years 7 months ago
2007
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
COMSIS
2007
13 years 7 months ago
2007
Ambient Intelligence aims to enhance the way people interact with their environment to promote safety and to enrich their lives. A Smart Home is one such system but the idea extend...