2342 search results - page 266 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
127
click to vote
CODES
1997
IEEE
15 years 8 months ago
1997
IEEE
The Pia hardware-software co-simulator provides substantial speedups over traditional co-simulation methods by permitting dynamic changes in the level of detail when simulating co...
127
click to vote
AMOST
2005
ACM
15 years 9 months ago
2005
ACM
Despite the fact that EJB (Enterprise Java Beans) is a widely used technology, research in the area of performance modelling of EJB application servers is quite sparse. This paper...
159
click to vote
AMAST
2010
Springer
14 years 11 months ago
2010
Springer
mu-term is a tool which can be used to verify a number of termination properties of (variants of) Term Rewriting Systems (TRSs): termination of rewriting, termination of innermost ...
188
click to vote
FATES
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...
160
click to vote
AADEBUG
2005
Springer
15 years 6 months ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...