1597 search results - page 192 / 320 » A Design Method for Object-Oriented Programming |
116
Voted
ENTCS
2006
15 years 3 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
219
click to vote
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
Abstract: Modeling the interactions of biological molecules, or docking, is critical to both understanding basic life processes and to designing new drugs. Here we describe the GPU...
127
Voted
ISORC
2008
IEEE
15 years 9 months ago
2008
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. A critical timing measure is the worst-case execution time (...
132
Voted
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
Interpreters designed for efficiency execute a huge number of indirect branches and can spend more than half of the execution time in indirect branch mispredictions. Branch target...
140
click to vote
IEEECIT
2010
IEEE
15 years 1 months ago
2010
IEEE
—Students are difficult to get an effective way to master essential knowledge of J2EE course because they are lack programming experiments and teaching content is too much. In th...