300 search results - page 42 / 60 » Using probabilistic reasoning to automate software tuning |
132
Voted
CL
2007
Springer
15 years 13 days ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
84
Voted
USENIX
1996
15 years 1 months ago
1996
This paper evaluates the performance of three popular versions of the UNIX operating system on the x86 architecture: Linux, FreeBSD, and Solaris. We evaluate the systems using fre...
201
Voted
POPL
2005
ACM
16 years 23 days ago
2005
ACM
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...
117
click to vote
CAISE
2006
Springer
15 years 4 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
133
Voted
CL
2010
Springer
15 years 17 days ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...