7430 search results - page 276 / 1486 » Programming Applications in CIFF |
163
click to vote
IASTEDSEA
2004
15 years 6 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
169
click to vote
SENSYS
2009
ACM
15 years 11 months ago
2009
ACM
Sensor networks have the potential to empower domain experts from a wide range of fields. However, presently they are notoriously difficult for these domain experts to program, ...
160
click to vote
MICRO
2007
IEEE
15 years 11 months ago
2007
IEEE
The emergence of multicore processors has heightened the need for effective parallel programming practices. In addition to writing new parallel programs, the next generation of pr...
170
click to vote
AADEBUG
2005
Springer
15 years 10 months ago
2005
Springer
Debugging techniques have evolved over the years in response to changes in programming languages, implementation techniques, and user needs. A new type of implementation vehicle f...
130
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a framework based on a user driven methodology to obtain analytical models of MPI applications on parallel systems in a systematic and easy to use way. This me...