2610 search results - page 339 / 522 » codes 2007 |
134
Voted
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Current refactoring tools work on a particular language. Each time it is intended to provide refactoring support for new languages, the same refactoring operations are defined and...
167
Voted
EXPCS
2007
15 years 8 months ago
2007
Context switching imposes a performance penalty on threads in a multitasking environment. The source of this penalty is both direct overhead due to running the context switch code...
133
click to vote
FDL
2007
IEEE
15 years 8 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
143
click to vote
HASKELL
2007
ACM
15 years 8 months ago
2007
ACM
The Glasgow Haskell Compiler (GHC) has quite sophisticated support for concurrency in its runtime system, which is written in lowlevel C code. As GHC evolves, the runtime system b...
135
click to vote
HVC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...