9974 search results - page 1526 / 1995 » Software Interconnection Models |
165
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
Custom House's new currency exchange system is integrated with a legacy system. After a few years of growth, the two systems were so intricately tangled that even small chang...
192
click to vote
CODES
2006
IEEE
16 years 29 days ago
2006
IEEE
Traditionally, instruction-set simulators (ISS’s) are sequential programs running on individual processors. Besides the advances of simulation techniques, ISS’s have been main...
218
click to vote
IUI
2006
ACM
16 years 26 days ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
174
click to vote
CODES
2005
IEEE
16 years 16 days ago
2005
IEEE
Design of programmable processors and embedded applications requires instruction-set simulators for early exploration and validation of candidate architectures. Interpretive simul...
190
click to vote
ICFEM
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...