1528 search results - page 200 / 306 » Performance Assertion Checking |
132
Voted
TSE
2008
15 years 2 months ago
2008
Web applications are widely adopted and their correct functioning is mission critical for many businesses. At the same time, Web applications tend to be error prone and implementat...
128
Voted
TSE
1998
15 years 1 months ago
1998
—We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, lik...
100
click to vote
ACSD
2010
IEEE
15 years 10 days ago
2010
IEEE
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
167
Voted
OOPSLA
2010
Springer
15 years 6 days ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
123
click to vote
SIGMETRICS
2002
ACM
15 years 1 months ago
2002
ACM
Computer system designers often evaluate future design alternatives with detailed simulators that strive for functional fidelity (to execute relevant workloads) and performance fi...