2030 search results - page 185 / 406 » Designing Complex Software Implementation Programs |
124
click to vote
FPL
2010
Springer
15 years 13 days ago
2010
Springer
Due to the continuously decreasing cost of FPGAs, they have become a valid implementation platform for SOCs. Typically, a soft core processor implementation is used to execute the ...
151
Voted
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
152
click to vote
ISCA
2012
IEEE
13 years 4 months ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
104
click to vote
ADAEUROPE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
125
click to vote
HPCA
2006
IEEE
16 years 2 months ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...