10707 search results - page 354 / 2142 » Designing executable abstractions |
210
click to vote
ISORC
2011
IEEE
14 years 8 months ago
2011
IEEE
—Static cache analysis for data allocated on the heap is practically impossible for standard data caches. We propose a distinct object cache for heap allocated data. The cache is...
128
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
142
click to vote
EDOC
2006
IEEE
15 years 11 months ago
2006
IEEE
Workflow forms a key part of many existing Service Oriented applications, involving the integration of services that may be made available at distributed sites. It is possible ng...
118
click to vote
FPL
2009
Springer
15 years 9 months ago
2009
Springer
As a step torward a viable, single-issue out-of-order soft core, this work presents Copy-Free Checkpointing (CFC), an FPGA-friendly register renaming design. CFC supports speculat...
177
Voted
FOCS
2010
IEEE
15 years 2 months ago
2010
IEEE
Coin flipping is one of the most fundamental tasks in cryptographic protocol design. Informally, a coin flipping protocol should guarantee both (1) Completeness: an honest executi...