6014 search results - page 19 / 1203 » Parametric Analysis of Computer Systems |
ALGORITHMICA
2007
13 years 11 months ago
2007
Abstract Many compiler optimization techniques depend on the ability to calculate the number of elements that satisfy certain conditions. If these conditions can be represented by ...
EUROPAR
2008
Springer
14 years 21 days ago
2008
Springer
Abstract. With support for C/C++, Fortran, MPI, OpenMP, and performance tools, the Eclipse integrated development environment (IDE) is a serious contender as a programming environm...
TCIAIG
2010
13 years 5 months ago
2010
Abstract--Fingerprinting operators generate functional signatures of game players and are useful for their automated analysis independent of representation or encoding. The theory ...
BIRTHDAY
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
SG
2005
Springer
14 years 4 months ago
2005
Springer
Parametric design systems model a design as a constrained collection of schemata. Designers work in such systems at two levels: definition of schemata and constraints; and search w...