5407 search results - page 664 / 1082 » The Software Engineering Global Model |
202
click to vote
CISIS
2010
IEEE
16 years 22 days ago
2010
IEEE
- The shared data programming model is an attractive grid programming alternative to message passing solutions. This paper addresses type related improvements to a shared data grid...
220
click to vote
SEKE
2009
Springer
16 years 4 days ago
2009
Springer
Very large systems have an architecture that is designed to allow them to evolve through a long life. Such systems are developed by teams of architects. One of the first things t...
225
click to vote
ISSTA
1998
ACM
15 years 12 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
206
click to vote
IUI
1998
ACM
15 years 12 months ago
1998
ACM
Interactive3Dlearningenvironmentscanproviderichproblemsolving experiences with unparalleled visual impact. In these environments, students interactively solve problems by directin...
240
click to vote
CODES
1996
IEEE
15 years 11 months ago
1996
IEEE
Performance modeling and evaluation of embedded hardware/software systems is important to help the CoDesign process. The hardware/software partitioning needs to be evaluated befor...