2015 search results - page 172 / 403 » Hidden Software Capabilities |
104
click to vote
ADAEUROPE
2003
Springer
15 years 6 months ago
2003
Springer
Starting in 2000, the ISO technical group in charge of maintaining the Ada language has been looking into possible changes for the next revision of the standard, around 2005. Based...
104
click to vote
ICSE
2003
IEEE-ACM
15 years 6 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
ASAP
2002
IEEE
15 years 6 months ago
2002
IEEE
† Introducing FPGA components into DSP system implementations creates an assortment of challenges across system architecture and logic design. Recognizing that some of the greate...
105
click to vote
EUROMICRO
2002
IEEE
15 years 6 months ago
2002
IEEE
The Mobile Multimedia Modem (M3)-DSP is based on a scalable, highly parallel DSP platform concept capable of delivering the processing power to create software solutions for tasks...
ADAEUROPE
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Ada 95 has been the first standardized language to include distribution in the core language itself. However, the set of features required by the Distributed Systems Ann...