4722 search results - page 688 / 945 » Encoding Program Executions |
205
Voted
FPL
2004
Springer
16 years 14 days 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...
171
click to vote
GRID
2004
Springer
16 years 14 days 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. ...
234
click to vote
COMPSAC
2003
IEEE
16 years 11 days 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...
201
click to vote
IPPS
2003
IEEE
16 years 11 days 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...
183
Voted
SCAM
2003
IEEE
16 years 10 days 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...