871 search results - page 112 / 175 » Modeling Architectural Patterns' Behavior Using Architectura... |
DAC
1994
ACM
13 years 12 months ago
1994
ACM
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...
CCGRID
2009
IEEE
14 years 2 months ago
2009
IEEE
As high-end computing systems continue to grow in scale, the performance that applications can achieve on such large scale systems depends heavily on their ability to avoid explic...
P2P
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—Spotify is a music streaming service offering lowlatency access to a library of over 8 million music tracks. Streaming is performed by a combination of client-server acc...
CONCUR
2012
Springer
11 years 10 months ago
2012
Springer
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem ...
VAMOS
2007
Springer
14 years 1 months ago
2007
Springer
Although feature modelling is a frequently used approach to the task of modelling commonality and variability within product lines, there is currently no standard modelling notati...