2409 search results - page 417 / 482 » Logical systems for structured specifications |
128
click to vote
ECRTS
2000
IEEE
15 years 8 months ago
2000
IEEE
Internal clock synchronization has been investigated, or employed, for quite a number of years, under the requirement of good upper bounds for the deviation, or accuracy, between ...
157
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The practical realization of managing and executing large scale scientific computations efficiently and reliably is quite challenging. Scientific computations often invo...
127
Voted
DAGSTUHL
2006
15 years 4 months ago
2006
ed Abstract Membrane systems are models of computation inspired by the structure and the function of biological cells. The model was introduced in 1998 by Gh. Paun and since then m...
152
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
110
click to vote
ISCA
2000
IEEE
15 years 8 months ago
2000
IEEE
As DRAM access latencies approach a thousand instructionexecution times and on-chip caches grow to multiple megabytes, it is not clear that conventional cache structures continue ...