9974 search results - page 1329 / 1995 » Software Interconnection Models |
183
Voted
ISPASS
2005
IEEE
16 years 26 days ago
2005
IEEE
We have previously presented Qsilver, a flexible simulation system for graphics architectures. In this paper we describe our extensions to this system, which we use— instrument...
224
click to vote
QSIC
2005
IEEE
16 years 26 days ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
182
click to vote
SEFM
2005
IEEE
16 years 26 days ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
184
click to vote
SEW
2005
IEEE
16 years 26 days ago
2005
IEEE
The structural stability of an object-oriented design (OOD) refers to the extent to which the structure of the design is preserved throughout the evolution of the software from on...
189
click to vote
IUI
2005
ACM
16 years 26 days ago
2005
ACM
SemanticTalk is a tool for supporting face-to-face meetings and discussions by automatically generating a semantic context from spoken conversations. We use speech recognition and...