1528 search results - page 43 / 306 » Performance Assertion Checking |
CAV
2009
Springer
14 years 25 days 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...
ACL
1993
13 years 10 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...
CC
2011
Springer
13 years 13 days 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...
IEAAIE
2005
Springer
14 years 2 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...
IAT
2008
IEEE
14 years 3 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...