1528 search results - page 43 / 306 » Performance Assertion Checking |
134
click to vote
CAV
2009
Springer
15 years 9 months ago
2009
Springer
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
129
click to vote
ACL
1993
15 years 6 months ago
1993
We describe a method for evaluating a grammar checking application with hand-bracketed parses. A randomly-selected set of sentences was submitted to a grammar checker in both brac...
280
click to vote
CC
2011
Springer
14 years 8 months ago
2011
Springer
For decades, the design and implementation of arrays in programming languages has reflected a natural tension between productivity and performance. Recently introduced HPCS langua...
129
Voted
IEAAIE
2005
Springer
15 years 10 months ago
2005
Springer
A specification language for performance indicators and their relations and requirements is presented and illustrated for a case study in logistics. The language can be used in dif...
110
click to vote
IAT
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents an agent model of the dynamics of a human’s functional state in relation to task performance and environment. It can be used in agent systems that support hu...