9626 search results - page 1458 / 1926 » Invariant Based Programming |
235
click to vote
AMAST
2004
Springer
16 years 11 days ago
2004
Springer
concerns, abstraction (particularly hierarchical abstraction), simplicity, and restricted visibility (locality of information). The overall goal behind these principles was stated ...
163
click to vote
LCPC
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. This paper describes performance of OSCAR multigrain parallelizing compiler on various SMP servers, such as IBM pSeries 690, Sun Fire V880, Sun Ultra 80, NEC TX7/i6010 an...
183
click to vote
PADL
2004
Springer
16 years 9 days ago
2004
Springer
Message Sequence Charts (MSC) have traditionally been used as a weak form of behavioral requirements in software design; they denote scenarios which may happen. Live Sequence Chart...
197
click to vote
CLUSTER
2003
IEEE
16 years 7 days ago
2003
IEEE
— Large Clusters, high availability clusters and Grid deployments often suffer from network, node or operating system faults and thus require the use of fault tolerant programmin...
170
click to vote
DATE
2003
IEEE
16 years 7 days ago
2003
IEEE
This paper presents an efficient methodology for estimating the energy consumption of application programs running on extensible processors. Extensible processors, which are incr...