2453 search results - page 161 / 491 » Design Knowledge Collection by Modeling |
242
click to vote
JCDL
2011
ACM
14 years 9 months ago
2011
ACM
A pattern is a model or a template used to summarize and describe the behavior (or the trend) of a data having generally some recurrent events. Patterns have received a considerab...
222
click to vote
SIGKDD
2010
15 years 1 months ago
2010
Mobile devices are becoming increasingly sophisticated and the latest generation of smart cell phones now incorporates many diverse and powerful sensors. These sensors include GPS...
191
click to vote
ISESE
2005
IEEE
16 years 4 days ago
2005
IEEE
The development of High-Performance Computing (HPC) programs is crucial to progress in many fields of scientific endeavor. We have run initial studies of the productivity of HPC d...
198
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
151
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
A programming system is the user interface between the programmer and the computer. Programming is a notoriously difficult activity, and some of this difficulty can be attribute...