4722 search results - page 688 / 945 » Encoding Program Executions |
137
click to vote
FPL
2004
Springer
15 years 8 months ago
2004
Springer
ASIPs and reconfigurable processors are architectural choices to extend the capabilities of a given processor. ASIPs suffer from fixed hardware after design, while ASIPs and reconf...
114
Voted
GRID
2004
Springer
15 years 8 months ago
2004
Springer
We introduce a formal model for deployment and hosting of a dynamic grid service wherein the service provider must pay a resource provider for the use of computational resources. ...
154
Voted
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
Short product cycles and rapidly changing requirements are increasingly forcing developers to use agile development strategies like extreme programming and test–driven developme...
125
click to vote
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
As computing systems of all types grow in power and complexity, it is common to want to simultaneously execute processes with different timeliness constraints. Many systems use CP...
126
click to vote
SCAM
2003
IEEE
15 years 8 months ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...