419 search results - page 6 / 84 » A Thread of HOL Development |
136
click to vote
CODES
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a dynamic optimization technique, thread warping, that uses a single processor on a multiprocessor system to dynamically synthesize threads into custom accelerator circ...
123
click to vote
ICS
2009
Tsinghua U.
15 years 10 months ago
2009
Tsinghua U.
With the current trend toward multicore architectures, improved execution performance can no longer be obtained via traditional single-thread instruction level parallelism (ILP), ...
123
click to vote
LCTRTS
2004
Springer
15 years 8 months ago
2004
Springer
Existing software thread integration (STI) methods provide synchronous thread progress within integrated functions. For the remaining, non-integrated portions of the secondary (or...
147
click to vote
TPHOL
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
150
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...