4476 search results - page 754 / 896 » Modeling software architectures in the Unified Modeling Lang... |
187
click to vote
DAC
2006
ACM
15 years 8 months ago
2006
ACM
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...
230
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...
152
click to vote
ICDIM
2008
IEEE
16 years 27 days ago
2008
IEEE
Client-server architectures with clients on divergent platforms are in need of services that serve a high level of interoperability and a loose binding. It should be prevented tha...
187
click to vote
EMSOFT
2007
Springer
16 years 18 days ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
188
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
: This paper describes the development of an open source CASE tool, the ArgoCASEGEO, and its modular architecture. The ArgoCASEGEO allows the geographic database modelling based on...