3 search results - page 1 / 1 » Implicit Reduced Involutive Forms and Their Application to E... |
GIAE
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...
WCRE
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract—During software development, design rules and contracts in the source code are often encoded through regularities, such as API usage protocols, coding idioms and naming ...
VEE
2009
ACM
14 years 6 months ago
2009
ACM
Runtime monitoring support serves as a foundation for the important tasks of providing security, performing debugging, and improving performance of applications. Often runtime mon...