3828 search results - page 332 / 766 » Proof-Based System Engineering Using a Virtual System Model |
248
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Heterogeneous multi-core processors, such as the IBM Cell processor, can deliver high performance. However, these processors are notoriously difficult to program: different cores...
150
click to vote
WCRE
1996
IEEE
15 years 10 months ago
1996
IEEE
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy progr...
182
click to vote
SOCO
2002
Springer
15 years 6 months ago
2002
Springer
Conventional industrial control systems are in majority based on the single-input-single-output design principle with linearized models of the processes. However, most industrial p...
206
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
In e-Science, scientific workflow systems are used to share data and knowledge in collaborative experiments. In recent work we discussed the concepts of a workflow bus [1], allowin...
194
click to vote
APSEC
1996
IEEE
15 years 10 months ago
1996
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as aformula of "adom...