9974 search results - page 393 / 1995 » Software Interconnection Models |
157
click to vote
IJET
2008
15 years 6 months ago
2008
Within the TENCompetence project we aim to develop and integrate models and tools into an open source infrastructure for the creation, storage and exchange of learning objects, sui...
169
click to vote
SIGSOFT
2003
ACM
16 years 4 hour ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
170
click to vote
ISSTA
2006
ACM
16 years 21 days ago
2006
ACM
Software product line modeling has received a great deal of attention for its potential in fostering reuse of software artifacts across development phases. Research on the testing...
203
click to vote
CODES
2006
IEEE
16 years 25 days ago
2006
IEEE
Virtual platform (ViP), or ESL (Electronic System Level) simulation model, is one of the most widely renowned system level design techniques. In this paper, we present a case stud...
190
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
Software Defined Radio (SDR) is an emerging embedded domain where the physical layer of wireless protocols is implemented in software rather than the traditional application speci...