3736 search results - page 41 / 748 » Generative Programming |
ISHPC
2000
Springer
14 years 7 days ago
2000
Springer
The shared-memory programming model is a very effective way to achieve parallelism on shared memory parallel computers. As great progress was made in hardware and software technolo...
BIRTHDAY
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invar...
METRICS
1999
IEEE
14 years 28 days ago
1999
IEEE
Success factors for measurement programs as identified in the literature typically focus on the `internals' of the measurement program: incremental implementation, support fr...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
A method is proposed for viewing broadcast content that converts TV programs into Web content and integrates the results with complementary information retrieved using the Interne...
ATVA
2010
Springer
13 years 8 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...