223 search results - page 18 / 45 » Automated Implicit Computational Complexity Analysis (System... |
139
Voted
JSS
2010
14 years 10 months ago
2010
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...
167
click to vote
DSN
2000
IEEE
15 years 8 months ago
2000
IEEE
Multiple-Phased Systems, whose operational life can be partitioned in a set of disjoint periods, called “phases”, include several classes of systems such as Phased Mission Sys...
172
Voted
CSL
2007
Springer
15 years 9 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ...
123
Voted
DAC
2002
ACM
16 years 4 months ago
2002
ACM
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...
119
Voted
FASE
2000
Springer
15 years 7 months ago
2000
Springer
g higher levels of abstraction with automated downward transformations has always been the way to go, as long as the engineers who do the actual work are th the abstractions. A dev...