5090 search results - page 854 / 1018 » Constructing Strategies for Programming |
221
click to vote
APPT
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Grid computing is becoming a mainstream technology for multiinstitutional distributed resources sharing and system integration. Normally, the programmer's productivi...
163
Voted
LCTRTS
2004
Springer
16 years 11 days ago
2004
Springer
Most modern compilers operate by applying a fixed, program-independent sequence of optimizations to all programs. Compiler writers choose a single “compilation sequence”, or ...
187
click to vote
PADL
2004
Springer
16 years 10 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...
171
Voted
DATE
2003
IEEE
16 years 9 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...
187
click to vote
ACSAC
2002
IEEE
15 years 12 months ago
2002
IEEE
Safe virtual execution (SVE) allows a host computer system to reduce the risks associated with running untrusted programs. SVE prevents untrusted programs from directly accessing ...