2036 search results - page 366 / 408 » Analysis of the XC6000 Architecture for Embedded System Desi... |
CAV
2006
Springer
15 years 1 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
APLAS
2008
ACM
15 years 16 hour ago
2008
ACM
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
MOBIHOC
2010
ACM
14 years 8 months ago
2010
ACM
In many practical scenarios, nodes gathering at points of interest yield sizable connected components (clusters), which sometimes comprise the majority of nodes. While recent anal...
SIGSOFT
2004
ACM
15 years 3 months ago
2004
ACM
This paper presents an analysis of feature-oriented and aspectoriented modularization approaches with respect to variability management as needed in the context of system families...
UML
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an ...