5235 search results - page 198 / 1047 » Analysis of Multithreaded Programs |
158
Voted
KBSE
2006
IEEE
16 years 12 days ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
168
click to vote
SEW
2006
IEEE
16 years 12 days ago
2006
IEEE
It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software de...
190
click to vote
IEEEPACT
2005
IEEE
16 years 3 hour ago
2005
IEEE
Helper threading is a technique that utilizes a second core or logical processor in a multi-threaded system to improve the performance of the main thread. A helper thread executes...
215
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
158
click to vote
ICPP
2002
IEEE
15 years 11 months ago
2002
IEEE
Conventional instruction fetch mechanisms fetch contiguous blocks of instructions in each cycle. They are difficult to scale since taken branches make it hard to increase the siz...