1552 search results - page 159 / 311 » A Polymorphic Hardware Platform |
156
click to vote
AICCSA
2001
IEEE
15 years 9 months ago
2001
IEEE
The importance of early performance assessment grows as software systems increase in terms of size, logical distribution and interaction complexity. Lack of time from the side of ...
151
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
172
Voted
ECMDAFA
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we present a methodology supporting the definition of data models on basis of a limited set of well-known UML features, thereby allowing these models to be created an...
119
click to vote
ECMDAFA
2007
Springer
15 years 8 months ago
2007
Springer
In object technology, reusability is achieved primarily through class inheritance. In model engineering, where reusability is also important, it should be possible to extend a mode...
175
click to vote
WSC
1998
15 years 7 months ago
1998
The use of the World Wide Web and Java-based mobile code provides new opportunities for distributed simulation. First, the infrastructure provided by the Internet eliminates the n...