8627 search results - page 1415 / 1726 » Software Engineering Using RATionale |
177
click to vote
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper demonstrates that the algorithmic performance of end user programs may be greatly affected by the two or three level caching scheme of the processor, and we introduc...
168
click to vote
ISPASS
2007
IEEE
16 years 1 months ago
2007
IEEE
Architectures are usually compared by running the same workload on each architecture and comparing performance. When a single compiled binary of a program is executed on many diff...
179
click to vote
SEFM
2006
IEEE
16 years 23 days ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
168
click to vote
CGO
2005
IEEE
16 years 11 days ago
2005
IEEE
The growing complexity of modern processors has made the generation of highly efficient code increasingly difficult. Manual code generation is very time consuming, but it is oft...
178
click to vote
QSIC
2005
IEEE
16 years 10 days ago
2005
IEEE
Database application programs typically contain program units that use SQL statements to manipulate records in database instances. Testing the correctness of data manipulation by ...