4880 search results - page 88 / 976 » Manuals as Structured Programs |
245
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...
127
click to vote
ISSRE
2006
IEEE
15 years 9 months ago
2006
IEEE
Aspect-oriented software development is gaining popularity with the adoption of languages such as AspectJ. Testing is an important part in any software development, including aspe...
187
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
Choosing the right representation for a problem is important. In this article we introduce a linear genetic programming approach for motif discovery in protein families, and we al...
120
click to vote
CF
2009
ACM
15 years 9 months ago
2009
ACM
There is a trend towards using accelerators to increase performance and energy efficiency of general-purpose processors. Adoption of accelerators, however, depends on the availabi...
127
click to vote
GI
2005
Springer
15 years 8 months ago
2005
Springer
: A software application is related to the processes it supports. Today, UML diagrams esp. use case diagrams and activity diagrams are often used to model the relevant aspects of t...