1168 search results - page 87 / 234 » Influencing Software Usage |
PARA
2004
Springer
14 years 2 months ago
2004
Springer
A big challenge in implementing up to date simulation software for various applications is to bring together highly efficient mathematical methods on the one hand side and an ef...
CODES
2003
IEEE
14 years 2 months ago
2003
IEEE
Recently, the transaction-level modeling has been widely referred to in system-level design community. However, the transaction-level models(TLMs) are not well defined and the us...
ADAEUROPE
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. In this paper we present a proposal to integrate the POSIX.1 executiontime clocks and execution-time timers into the Ada 95 language. This proposal defines a new package...
COMPSAC
1997
IEEE
14 years 1 months ago
1997
IEEE
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still’be considered a niche market, there is growing evidenc...
ADAEUROPE
2008
Springer
13 years 11 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...