36320 search results - page 649 / 7264 » From Code to Models |
208
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We develop an accurate, unified treatment of elastica. Following the method of resultant-based formulation to its logical extreme, we derive a higher-order integration rule, or el...
174
click to vote
HPCN
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. High Performance Fortran (hpf) is a data-parallel Fortran for Distributed Memory Multiprocessors. Hpf provides an interesting programming model but compilers are yet to c...
197
click to vote
IFIP
1994
Springer
15 years 11 months ago
1994
Springer
In recent years, systems for processing environmental information have been evolving from research and development systems to practical applications. Today, many of these systems ...
249
click to vote
APLAS
2007
ACM
2007
ACM
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer
15 years 11 months ago
We rationally reconstruct the core of the Coccinelle system, used for automating and documenting collateral evolutions in Linux device drivers. A denotational semantics of the syst...
202
click to vote
APSEC
2004
IEEE
15 years 11 months ago
2004
IEEE
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...