4726 search results - page 827 / 946 » Domain Modeling of Software Process Models |
127
click to vote
SAC
2009
ACM
15 years 9 months ago
2009
ACM
Parallel architectures are the way of the future, but are notoriously difficult to program. In addition to the low-level constructs they often present (e.g., locks, DMA, and non-...
128
click to vote
TAP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
145
click to vote
IPPS
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we present the design and implementation of a distributed sensor network application for embedded, isolated-word, real-time speech recognition. In our system design...
126
Voted
RTCSA
2008
IEEE
15 years 8 months ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
114
click to vote
CLEAR
2007
Springer
15 years 8 months ago
2007
Springer
We describe the latest version of the SRI-ICSI meeting and lecture recognition system, as was used in the NIST RT-07 evaluations, highlighting improvements made over the last year....