2266 search results - page 409 / 454 » A generic component model for building systems software |
170
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
160
click to vote
ACL
2003
15 years 7 months ago
2003
Recent text and speech processing applications such as speech mining raise new and more general problems related to the construction of language models. We present and describe in...
178
click to vote
IPPS
2007
IEEE
16 years 14 days ago
2007
IEEE
OpenMP has gained wide popularity as an API for parallel programming on shared memory and distributed shared memory platforms. It is also a promising candidate to exploit the emer...
181
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...
165
click to vote
CW
2008
IEEE
16 years 19 days ago
2008
IEEE
The availability of intuitive, user-friendly and specialized software to work with 3D models of cultural heritage artifacts is as important as the availability of low-cost and rob...