12333 search results - page 558 / 2467 » System Level Modelling for Hardware Software Systems |
156
click to vote
IRI
2007
IEEE
16 years 1 months ago
2007
IEEE
Software development standards such as the UML provide complex modeling languages for specifying, visualizing, constructing, and documenting the artifacts of software systems [1]....
194
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Software distributed shared memory (DSM) systems have successfully provided the illusion of shared memory on distributed memory machines. However, most software DSM systems use th...
219
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
154
click to vote
ICECCS
2005
IEEE
16 years 20 days ago
2005
IEEE
We take here a broad view of model engineering as encompassing different approaches such as the OMG MDA™ proposal [9], the Microsoft Software Factories view [5], and many others...
165
click to vote
CAINE
2006
15 years 8 months ago
2006
There is a tendency to overlook or play down software issues in industrial systems design. However the very best hardware will only be as effective as the programs that control it...