2757 search results - page 99 / 552 » On separating systems |
152
Voted
JOT
2008
15 years 4 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
135
click to vote
PCI
2001
Springer
15 years 8 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
155
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...
137
click to vote
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Robots are autonomous agents whose actions are performed in the real world during a period of time. There are a number of general constraints on such actions, for example that the ...
152
click to vote
AMC
2010
15 years 4 months ago
2010
: Parallel iterative methods are powerful tool for solving large system of linear equations (LEs). The existing parallel computing research results are focussed mainly on sparse sy...