16206 search results - page 3142 / 3242 » Software Engineering is Not Enough |
151
click to vote
ICFEM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
147
click to vote
ISMIR
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents ACE (Autonomous Classification Engine), a framework for using and optimizing classifiers. Given a set of feature vectors, ACE experiments with a variety of cla...
146
click to vote
LCPC
2005
Springer
15 years 11 months ago
2005
Springer
We briefly introduce the notion of Semantically Enhanced Library Languages, SELL, as a practical and economical alternative to special-purpose programming languages for high-perfo...
167
click to vote
LCTRTS
2005
Springer
15 years 11 months ago
2005
Springer
Performance guarantees can be given to tasks in an embedded system by ensuring that access to each shared resource is mediated by an appropriate scheduler. However, almost all pre...
153
click to vote
LCTRTS
2005
Springer
15 years 11 months ago
2005
Springer
Mobile computing based upon wireless technology as the interconnect and PDAs, Web-enabled cell phones etc. as the end devices provide a rich infrastructure for anywhere, anytime i...