419 search results - page 41 / 84 » A Thread of HOL Development |
ENTCS
2007
14 years 11 months ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
NRHM
2008
14 years 11 months ago
2008
: The World Wide Web is currently the single most popular hypertext system; however, a number of features that were common for advanced "standalone" hypertext systems are...
ICS
2010
Tsinghua U.
14 years 10 months ago
2010
Tsinghua U.
We develop real-time scheduling techniques for improving performance and energy for multiprogrammed workloads that scale nonuniformly with increasing thread counts. Multithreaded ...
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Many language implementations, particularly for high-level and scripting languages, are based on carefully honed runtime systems that have an internally sequential execution model...
TACAS
2010
Springer
14 years 9 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...